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 proof-assistants - Esta é a página 1 - GeneraCodice
Quais foram as falhas de Robinson procedimento de resolução?
https://www.generacodice.com/pt/articolo/2475739/quais-foram-as-falhas-de-robinson-procedimento-de-resolucao
logic
-
proof-assistants
-
automated-theorem-proving
cs.stackexchange
Quão difícil seria a de estado de P vs.NP em uma prova de assistente?
https://www.generacodice.com/pt/articolo/2474191/quao-dificil-seria-a-de-estado-de-p-vs-np-em-uma-prova-de-assistente
complexity-theory
-
proof-assistants
-
p-vs-np
cs.stackexchange
Dada uma matriz $A$ e um índice de $c$, provar, sempre existe um subarray cuja soma $\pmod {i} = 0$
https://www.generacodice.com/pt/articolo/2468778/dada-uma-matriz-a-e-um-indice-de-c-provar-sempre-existe-um-subarray-cuja-soma-pmod-i-0
proof-assistants
cs.stackexchange
Provando uma solução para o quebra-cabeça $ n $ n $
https://www.generacodice.com/pt/articolo/2468702/provando-uma-solucao-para-o-quebra-cabeca-n-n
combinatorics
-
proof-assistants
-
proof-techniques
cs.stackexchange
em coq:Por que a prova fica completa depois de provar apenas uma indução quando temos mais de uma variável?
https://www.generacodice.com/pt/articolo/2468046/em-coq-por-que-a-prova-fica-completa-depois-de-provar-apenas-uma-inducao-quando-temos-mais-de-uma-variavel
coq
-
induction
-
proof-assistants
-
proof-techniques
-
automated-theorem-proving
cs.stackexchange
Encontre um limite tal que uma função seja sempre maior que a outra
https://www.generacodice.com/pt/articolo/2446159/encontre-um-limite-tal-que-uma-funcao-seja-sempre-maior-que-a-outra
recursion
-
proof-assistants
cs.stackexchange
Alguém pode dar um exemplo de contador disso?Se um problema estiver no NP, então não há algoritmo de tempo polinomial conhecido para resolvê-lo
https://www.generacodice.com/pt/articolo/2443619/alguem-pode-dar-um-exemplo-de-contador-disso-se-um-problema-estiver-no-np-entao-nao-ha-algoritmo-de-tempo-polinomial-conhecido-para-resolve-lo
np-complete
-
np
-
proof-assistants
cs.stackexchange
Why proving the solution of a problem is polynomial time is sufficient enough to say that it is a NP prolbem? [duplicate]
https://www.generacodice.com/pt/articolo/1607585/why-proving-the-solution-of-a-problem-is-polynomial-time-is-sufficient-enough-to-say-that-it-is-a-np-prolbem-duplicate
np
-
proof-assistants
-
proof-techniques
cs.stackexchange
Why cannot match $ Bool \equiv Bool $ with $ refl $ while $1 \equiv 1$ can?
https://www.generacodice.com/pt/articolo/1603474/why-cannot-match-bool-equiv-bool-with-refl-while-1-equiv-1-can
proof-assistants
cs.stackexchange
What does it mean if we disable K-rule in Agda?
https://www.generacodice.com/pt/articolo/1603441/what-does-it-mean-if-we-disable-k-rule-in-agda
agda
-
proof-assistants
cs.stackexchange
«
1
2
3
4
5
6
»
Resultados encontrados: 75