Pertanyaan yang diberi tag arithmetic-circuits

18
Apakah mungkin untuk menguji apakah bilangan yang dihitung rasional atau bilangan bulat?

Apakah mungkin untuk menguji secara algoritmik apakah bilangan yang dihitung rasional atau bilangan bulat? Dengan kata lain, apakah mungkin bagi perpustakaan yang mengimplementasikan angka yang dapat dihitung untuk menyediakan fungsi isIntegeratau isRational? Saya menduga itu tidak mungkin, dan...

14
Apakah eta-equivalence untuk fungsi-fungsi yang kompatibel dengan operasi seq Haskell?

Lemma: Dengan asumsi kesetaraan eta kita memilikinya (\x -> ⊥) = ⊥ :: A -> B. Bukti: ⊥ = (\x -> ⊥ x)dengan kesetaraan eta, dan (\x -> ⊥ x) = (\x -> ⊥)dengan pengurangan di bawah lambda. Laporan Haskell 2010, bagian 6.2 menentukan seqfungsi dengan dua persamaan: seq :: a -> b...

12
Sirkuit aritmatika dengan

Pertimbangkan rangkaian yang mengambil sebagai input angka dalam [0,1][0,1][0,1] , dan memiliki gerbang yang terdiri dari fungsi max(x,y)max(x,y)\max(x, y) , min(x,y)min(x,y)\min(x, y) , 1−x1−x1 - x , dan x+y2x+y2\frac{x+y}{2} . Output dari rangkaian kemudian juga angka dalam [0,1][0,1][0,1]...