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 check-my-answer - This is page 3 - GeneraCodice
Why is this a proof by contradiction for this algorithm? Isn't this a direct proof instead?
https://www.generacodice.com/en/articolo/1610207/why-is-this-a-proof-by-contradiction-for-this-algorithm-isn-t-this-a-direct-proof-instead
algorithms
-
correctness-proof
-
check-my-answer
cs.stackexchange
Is this proof for showing that $EQ_{CFG}$ is co-Turing-recognizable incorrect?
https://www.generacodice.com/en/articolo/1608836/is-this-proof-for-showing-that-eq-cfg-is-co-turing-recognizable-incorrect
turing-machines
-
context-free
-
check-my-answer
cs.stackexchange
$ L = \{xyyz\in\{0,1,2\}^{*} : y \neq \epsilon \wedge \exists_{a \in \{0,1,2\}} |y|_a \equiv 0 \}$
https://www.generacodice.com/en/articolo/1608326/-l-xyyz-in-0-1-2-y-neq-epsilon-wedge-exists-a-in-0-1-2-y-a-equiv-0
regular-languages
-
regular-expressions
-
check-my-answer
cs.stackexchange
Is complement $L = \{ w : |w|_{a} \equiv |w|_{b} \vee |w|_{c} \equiv |w|_{d} \}$ context-free
https://www.generacodice.com/en/articolo/1608282/is-complement-l-w-w-a-equiv-w-b-vee-w-c-equiv-w-d-context-free
pumping-lemma
-
formal-grammars
-
regular-languages
-
context-free
-
check-my-answer
cs.stackexchange
How to Apply Elementary Axioms from Kleene Star to an Inequality
https://www.generacodice.com/en/articolo/1603388/how-to-apply-elementary-axioms-from-kleene-star-to-an-inequality
algebra
-
proof-techniques
-
regular-expressions
-
check-my-answer
-
kleene-star
cs.stackexchange
Any finite Graph G with all V have at least degree of 2, is it true that every vertex is necessarily contained IN a cycle?
https://www.generacodice.com/en/articolo/1603335/any-finite-graph-g-with-all-v-have-at-least-degree-of-2-is-it-true-that-every-vertex-is-necessarily-contained-in-a-cycle
proof-techniques
-
correctness-proof
-
check-my-answer
cs.stackexchange
Question about proving that Rado's function is non-computable
https://www.generacodice.com/en/articolo/1596651/question-about-proving-that-rado-s-function-is-non-computable
turing-machines
-
computability
-
check-my-answer
cs.stackexchange
Solving Recurrence relation with master method?
https://www.generacodice.com/en/articolo/1595020/solving-recurrence-relation-with-master-method
master-theorem
-
recurrence-relation
-
check-my-answer
cs.stackexchange
Maximum value of LOOP-Program turing-computable
https://www.generacodice.com/en/articolo/1591563/maximum-value-of-loop-program-turing-computable
loops
-
computability
-
check-my-answer
cs.stackexchange
Show that function is not turing-computable?
https://www.generacodice.com/en/articolo/1590947/show-that-function-is-not-turing-computable
computability
-
check-my-answer
cs.stackexchange
«
1
2
3
4
5
6
»
Results found: 68