Italiano
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
Articoli completi
Categorie
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
Scrivi
Utente
Login
Registrazione
Recupero della password
Tag
Tag di lingua
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
Tag proof-assistants - Questa è pagina 1 - GeneraCodice
Quali sono state le carenze della procedura di risoluzione di Robinson?
https://www.generacodice.com/it/articolo/2475739/quali-sono-state-le-carenze-della-procedura-di-risoluzione-di-robinson
logic
-
proof-assistants
-
automated-theorem-proving
cs.stackexchange
Quanto sarebbe difficile indicare P vs. NP in un assistente di prova?
https://www.generacodice.com/it/articolo/2474191/quanto-sarebbe-difficile-indicare-p-vs-np-in-un-assistente-di-prova
complexity-theory
-
proof-assistants
-
p-vs-np
cs.stackexchange
Dato un array $ A $ e un indice $ c $, dimostra che esiste sempre un sottoarray la cui somma $ \ pmod {i}= 0 $
https://www.generacodice.com/it/articolo/2468778/dato-un-array-a-e-un-indice-c-dimostra-che-esiste-sempre-un-sottoarray-la-cui-somma-pmod-i-0
proof-assistants
cs.stackexchange
Provando una soluzione per il puzzle $ N $ -quens
https://www.generacodice.com/it/articolo/2468702/provando-una-soluzione-per-il-puzzle-n-quens
combinatorics
-
proof-assistants
-
proof-techniques
cs.stackexchange
Su CoQ: Perché la prova è completa dopo aver dimostrato solo per un'induzione quando abbiamo più di una variabile?
https://www.generacodice.com/it/articolo/2468046/su-coq-perche-la-prova-e-completa-dopo-aver-dimostrato-solo-per-un-induzione-quando-abbiamo-piu-di-una-variabile
coq
-
induction
-
proof-assistants
-
proof-techniques
-
automated-theorem-proving
cs.stackexchange
Trova una soglia tale che una funzione è sempre più grande dell'altra
https://www.generacodice.com/it/articolo/2446159/trova-una-soglia-tale-che-una-funzione-e-sempre-piu-grande-dell-altra
recursion
-
proof-assistants
cs.stackexchange
Qualcuno può per favore dare un contatore di esso?Se un problema è in NP, non ci sono algoritmo di tempo polinomiale noto per risolverlo
https://www.generacodice.com/it/articolo/2443619/qualcuno-puo-per-favore-dare-un-contatore-di-esso-se-un-problema-e-in-np-non-ci-sono-algoritmo-di-tempo-polinomiale-noto-per-risolverlo
np-complete
-
np
-
proof-assistants
cs.stackexchange
Perché dimostrare che la soluzione di un problema è il tempo polinomiale è sufficiente per dire che è un prolbem NP? [duplicare
https://www.generacodice.com/it/articolo/1607585/perche-dimostrare-che-la-soluzione-di-un-problema-e-il-tempo-polinomiale-e-sufficiente-per-dire-che-e-un-prolbem-np-duplicare
np
-
proof-assistants
-
proof-techniques
cs.stackexchange
Perché non può abbinare $ bool equiv bool $ con $ riflesso $ mentre $ 1 equiv 1 $ can?
https://www.generacodice.com/it/articolo/1603474/perche-non-puo-abbinare-bool-equiv-bool-con-riflesso-mentre-1-equiv-1-can
proof-assistants
cs.stackexchange
Cosa significa se disabilitiamo K-Rule in AGDA?
https://www.generacodice.com/it/articolo/1603441/cosa-significa-se-disabilitiamo-k-rule-in-agda
agda
-
proof-assistants
cs.stackexchange
«
1
2
3
4
5
6
»
Risultati trovati: 75