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 coq - Questa è pagina 29 - GeneraCodice
Come compcer "dimostra" cose diverse nella sua base di codice
https://www.generacodice.com/it/articolo/1600377/come-compcer-dimostra-cose-diverse-nella-sua-base-di-codice
type-theory
-
coq
-
proof-techniques
-
software-verification
cs.stackexchange
Perché la sostituzione termina?
https://www.generacodice.com/it/articolo/1592887/perche-la-sostituzione-termina
semantics
-
programming-languages
-
termination
-
lambda-calculus
-
coq
cs.stackexchange
In CoQ, cosa significa avere un tipo induttivo in cui il lato destro di ":" è prop?
https://www.generacodice.com/it/articolo/1589344/in-coq-cosa-significa-avere-un-tipo-induttivo-in-cui-il-lato-destro-di-e-prop
coq
-
inductive-datatypes
cs.stackexchange
Condizione di positività in CoQ/CIC
https://www.generacodice.com/it/articolo/1589312/condizione-di-positivita-in-coq-cic
logic
-
programming-languages
-
coq
cs.stackexchange
Cosa implica le variabili esistenziali istanzianti con la variabile fuori portata?
https://www.generacodice.com/it/articolo/1589191/cosa-implica-le-variabili-esistenziali-istanzianti-con-la-variabile-fuori-portata
logic
-
coq
cs.stackexchange
È possibile dimostrare l'indecidabilità del problema di arresto in CoQ?
https://www.generacodice.com/it/articolo/1588175/e-possibile-dimostrare-l-indecidabilita-del-problema-di-arresto-in-coq
halting-problem
-
coq
cs.stackexchange
Come dimostrare tz = z per la rappresentazione binaria dei numeri naturali in CoQ
https://www.generacodice.com/it/articolo/1588117/come-dimostrare-tz-z-per-la-rappresentazione-binaria-dei-numeri-naturali-in-coq
coq
cs.stackexchange
Non so come dimostrare un semplice teorema usato con Fixpoint in CoQ
https://www.generacodice.com/it/articolo/1584166/non-so-come-dimostrare-un-semplice-teorema-usato-con-fixpoint-in-coq
coq
cs.stackexchange
Dimostrare tautologia con CoQ
https://www.generacodice.com/it/articolo/1577327/dimostrare-tautologia-con-coq
logic
-
coq
cs.stackexchange
Prova dell'uguaglianza con la distruzione di ...
https://www.generacodice.com/it/articolo/1572820/prova-dell-uguaglianza-con-la-distruzione-di
coq
cs.stackexchange
«
26
27
28
29
30
31
»
Risultati trovati: 331