Question

Finding a binary prefix code provided lengths

score 244 · Answer 1 · 2026-04-13 09:48:35

244

Views

Finding a binary prefix code provided lengths

Published on 13 Apr 2026 - 9:48

score 48 · Answer 2 · 2026-05-11 00:36:12

48

Views

sequence that adds its previous results

Published on 11 May 2026 - 0:36

score 140 · Answer 3 · 2026-04-13 06:31:42

140

Views

is SAT as set of satisfiable formulas in FOL recursive or recursive enumerable ?

Published on 13 Apr 2026 - 6:31

score 148 · Answer 4 · 2026-04-15 04:40:10

148

Views

Is the set {i | $\phi_i$ is total } recursively enumerable?

Published on 15 Apr 2026 - 4:40

score 92 · Answer 5 · 2026-04-14 16:28:09

92

Views

Prove that there is a $\Delta_1$-set $E$ which satisfies $S_0 \setminus S_1 \subset E \subset S_0$

Published on 14 Apr 2026 - 16:28

score 63 · Answer 6 · 2026-04-17 01:21:59

63

Views

Prove that image and preimage of $\Sigma_1$-sets under a function with a $\Sigma_1$-graph are $\Sigma_1$-sets

Published on 17 Apr 2026 - 1:21

score 67 · Answer 7 · 2026-04-15 17:19:07

67

Views

Is the set {i | Dom(Φi) = ∅} recursive, recursive enumerable or none of them?

Published on 15 Apr 2026 - 17:19

score 104 · Answer 8 · 2026-04-15 20:27:27

104

Views

Finding languages such that $L_{1} \subseteq L_{2} \subseteq L_{3}$ where $L_{1}, L_{3} \notin \mathbb{R}$, $L_{2} \in \mathbb{R}$

Published on 15 Apr 2026 - 20:27

score 77 · Answer 9 · 2026-05-11 02:04:38

77

Views

Finding languages such that $L_1\subset L_2\subset L_3$ where $L_1,L_3\notin$ RE and $L_2\in$ R

Published on 11 May 2026 - 2:04

score 70 · Answer 10 · 2026-05-11 04:19:34

70

Views

Finding languages such that L1⊆L2⊆L3 where L1,L3∉ RE and L2∈ R

Published on 11 May 2026 - 4:19

score 617 · Answer 11 · 2026-04-11 08:43:18

617

Views

Simple example of the minimization operator $\mu i$?

Published on 11 Apr 2026 - 8:43

score 236 · Answer 12 · 2026-05-11 03:06:35

236

Views

Try finding languages such that L1⊆L2⊆L3 where L1,L3∉ RE and L2∈ R

Published on 11 May 2026 - 3:06

score 310 · Answer 13 · 2026-05-11 02:52:39

310

Views

What is the Turing degree of Truth?

Published on 11 May 2026 - 2:52

score 230 · Answer 14 · 2026-05-11 04:10:33

230

Views

Is it possible to put a topology on Turing-recognizable languages to express density among all the languages?

Published on 11 May 2026 - 4:10

score 69 · Answer 15 · 2026-04-11 00:31:48

69

Views

Is this proof Ok? ( about computing languages with no loops)

Published on 11 Apr 2026 - 0:31

List Question

Finding a binary prefix code provided lengths

sequence that adds its previous results

is SAT as set of satisfiable formulas in FOL recursive or recursive enumerable ?

Is the set {i | $\phi_i$ is total } recursively enumerable?

Prove that there is a $\Delta_1$-set $E$ which satisfies $S_0 \setminus S_1 \subset E \subset S_0$

Prove that image and preimage of $\Sigma_1$-sets under a function with a $\Sigma_1$-graph are $\Sigma_1$-sets

Is the set {i | Dom(Φi) = ∅} recursive, recursive enumerable or none of them?

Finding languages such that $L_{1} \subseteq L_{2} \subseteq L_{3}$ where $L_{1}, L_{3} \notin \mathbb{R}$, $L_{2} \in \mathbb{R}$

Finding languages such that $L_1\subset L_2\subset L_3$ where $L_1,L_3\notin$ RE and $L_2\in$ R

Finding languages such that L1⊆L2⊆L3 where L1,L3∉ RE and L2∈ R

Simple example of the minimization operator $\mu i$?

Try finding languages such that L1⊆L2⊆L3 where L1,L3∉ RE and L2∈ R

What is the Turing degree of Truth?

Is it possible to put a topology on Turing-recognizable languages to express density among all the languages?

Is this proof Ok? ( about computing languages with no loops)

Trending Questions

Popular # Hahtags

Popular Questions