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 first-order-logic - Questa è pagina 15 - GeneraCodice
Proprietà formalmente dimostrando la funzione Fold
https://www.generacodice.com/it/articolo/1580982/proprieta-formalmente-dimostrando-la-funzione-fold
functional-programming
-
first-order-logic
-
software-verification
cs.stackexchange
Costruire frasi logiche che coinvolgono numeri interi negativi sui numeri interi non negativi
https://www.generacodice.com/it/articolo/1580574/costruire-frasi-logiche-che-coinvolgono-numeri-interi-negativi-sui-numeri-interi-non-negativi
logic
-
first-order-logic
cs.stackexchange
Nell'equivalenza di risoluzione ($ neg a implica b, b implica c modelli neg a implica c $) deve essere annullato $ a $?
https://www.generacodice.com/it/articolo/1580495/nell-equivalenza-di-risoluzione-neg-a-implica-b-b-implica-c-modelli-neg-a-implica-c-deve-essere-annullato-a
logic
-
first-order-logic
-
propositional-logic
cs.stackexchange
Specifica formale; Formula logica
https://www.generacodice.com/it/articolo/1580388/specifica-formale-formula-logica
c
-
formal-methods
-
satisfiability
-
first-order-logic
-
automated-theorem-proving
cs.stackexchange
Ehrenfeucht-fraïssé giochi, possibile errore nell'esempio
https://www.generacodice.com/it/articolo/1580160/ehrenfeucht-fraisse-giochi-possibile-errore-nell-esempio
first-order-logic
cs.stackexchange
In confutazione (risoluzione) possiamo usare una clausola che è stata risolta
https://www.generacodice.com/it/articolo/1578634/in-confutazione-risoluzione-possiamo-usare-una-clausola-che-e-stata-risolta
logic
-
first-order-logic
-
proof-techniques
cs.stackexchange
Come si può unificante 2 frasi in logica del prim'ordine risultato in una variabile diventando 2 cose diverse?
https://www.generacodice.com/it/articolo/1576614/come-si-puo-unificante-2-frasi-in-logica-del-prim-ordine-risultato-in-una-variabile-diventando-2-cose-diverse
unification
-
first-order-logic
cs.stackexchange
Utilizzando il quantificatore esistenziale all'interno delle implicazioni
https://www.generacodice.com/it/articolo/1574072/utilizzando-il-quantificatore-esistenziale-all-interno-delle-implicazioni
logic
-
first-order-logic
cs.stackexchange
Perché la logica del primo ordine (senza aritmetica) è solo una validità ricorsivamente enumerabile e non ricorsiva?
https://www.generacodice.com/it/articolo/1571060/perche-la-logica-del-primo-ordine-senza-aritmetica-e-solo-una-validita-ricorsivamente-enumerabile-e-non-ricorsiva
complexity-theory
-
first-order-logic
-
undecidability
cs.stackexchange
Notazione logica predicata: cosa significa un "punto"?
https://www.generacodice.com/it/articolo/1570450/notazione-logica-predicata-cosa-significa-un-punto
logic
-
first-order-logic
-
mathematical-foundations
cs.stackexchange
«
12
13
14
15
16
17
»
Risultati trovati: 218