en
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
Full articles
Categories
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
You write
User
Login
Registration
Password recovery
Tags
Language tags
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
Tag semi-decidability - This is page 6 - GeneraCodice
When does an extendible 1:1 p.c. function have a 1:1 computable extension?
https://www.generacodice.com/en/articolo/1598914/when-does-an-extendible-1-1-p-c-function-have-a-1-1-computable-extension
computability
-
semi-decidability
cs.stackexchange
If Q1 and Q2 are countably enumerable, then is Q1\Q2 countably enumerable?
https://www.generacodice.com/en/articolo/1598826/if-q1-and-q2-are-countably-enumerable-then-is-q1-q2-countably-enumerable
computability
-
semi-decidability
cs.stackexchange
What is the difference between undecidable language and Turing Recognizable language?
https://www.generacodice.com/en/articolo/1595581/what-is-the-difference-between-undecidable-language-and-turing-recognizable-language
computability
-
undecidability
-
semi-decidability
cs.stackexchange
Does the language of TM's that repeat a configuration infinite times semi-decidable or not?
https://www.generacodice.com/en/articolo/1594001/does-the-language-of-tm-s-that-repeat-a-configuration-infinite-times-semi-decidable-or-not
computability
-
formal-languages
-
undecidability
-
semi-decidability
-
reductions
cs.stackexchange
Prove that an infinite set is semidecidible
https://www.generacodice.com/en/articolo/1592483/prove-that-an-infinite-set-is-semidecidible
turing-machines
-
semi-decidability
cs.stackexchange
Completeness problem of TM
https://www.generacodice.com/en/articolo/1591307/completeness-problem-of-tm
turing-machines
-
computability
-
semi-decidability
cs.stackexchange
If a problem is “not semi-decidable” and “not decidable” can we say it is “undecidable”?
https://www.generacodice.com/en/articolo/1591281/if-a-problem-is-not-semi-decidable-and-not-decidable-can-we-say-it-is-undecidable
undecidability
-
semi-decidability
cs.stackexchange
Enumerable disjoint subsets whose union is equal to the union of the sets
https://www.generacodice.com/en/articolo/1589440/enumerable-disjoint-subsets-whose-union-is-equal-to-the-union-of-the-sets
computability
-
semi-decidability
cs.stackexchange
Are there any countable sets that are not computably enumerable?
https://www.generacodice.com/en/articolo/1589214/are-there-any-countable-sets-that-are-not-computably-enumerable
computability
-
semi-decidability
cs.stackexchange
The Church-Turing-Thesis in proofs
https://www.generacodice.com/en/articolo/1588550/the-church-turing-thesis-in-proofs
turing-machines
-
computability
-
proof-techniques
-
semi-decidability
-
church-turing-thesis
cs.stackexchange
«
3
4
5
6
7
8
»
Results found: 173