Português
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
Artigos completos
Categorias
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
Você escreve
Do utilizador
Conecte-se
Cadastro
Recuperação de senha
Tag
Tags de idioma
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
Tag check-my-answer - Esta é a página 4 - GeneraCodice
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/pt/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/pt/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/pt/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/pt/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/pt/articolo/1590947/show-that-function-is-not-turing-computable
computability
-
check-my-answer
cs.stackexchange
How to prove this language is not regular (via Fooling Set)
https://www.generacodice.com/pt/articolo/1589368/how-to-prove-this-language-is-not-regular-via-fooling-set
formal-languages
-
regular-languages
-
check-my-answer
cs.stackexchange
Is Goedel's 1st theorem not algorithmically derivable?
https://www.generacodice.com/pt/articolo/1589086/is-goedel-s-1st-theorem-not-algorithmically-derivable
proof-assistants
-
incompleteness
-
check-my-answer
cs.stackexchange
Find an upper bound for $T(n)=T(\sqrt{n})+10\log\log n$
https://www.generacodice.com/pt/articolo/1585893/find-an-upper-bound-for-t-n-t-sqrt-n-10-log-log-n
asymptotics
-
recurrence-relation
-
check-my-answer
cs.stackexchange
Proof Review: Integer Factorization is in NP
https://www.generacodice.com/pt/articolo/1581296/proof-review-integer-factorization-is-in-np
turing-machines
-
factoring
-
check-my-answer
cs.stackexchange
Proving the loop invariant for a simple program in Hoare logic
https://www.generacodice.com/pt/articolo/1580874/proving-the-loop-invariant-for-a-simple-program-in-hoare-logic
loop-invariants
-
hoare-logic
-
check-my-answer
cs.stackexchange
«
1
2
3
4
5
6
»
Resultados encontrados: 68