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 propositional-logic - Questa è pagina 6 - GeneraCodice
Questa serie di proposizioni può essere rappresentata e dimostrata in Haskell?
https://www.generacodice.com/it/articolo/1606056/questa-serie-di-proposizioni-puo-essere-rappresentata-e-dimostrata-in-haskell
logic
-
haskell
-
propositional-logic
cs.stackexchange
Qual è la complessità computazionale della logica proposizionale intuizionistica?
https://www.generacodice.com/it/articolo/1605557/qual-e-la-complessita-computazionale-della-logica-proposizionale-intuizionistica
complexity-theory
-
propositional-logic
cs.stackexchange
Ritiene che $ f equiv sigma (f) $ per una formula CNF $ f $ e una permutazione $ sigma $ st $ f vdash sigma (f) $?
https://www.generacodice.com/it/articolo/1603028/ritiene-che-f-equiv-sigma-f-per-una-formula-cnf-f-e-una-permutazione-sigma-st-f-vdash-sigma-f
permutations
-
propositional-logic
cs.stackexchange
Come definire le proposizioni atomiche nel controllo del modello
https://www.generacodice.com/it/articolo/1599971/come-definire-le-proposizioni-atomiche-nel-controllo-del-modello
model-checking
-
software-verification
-
propositional-logic
cs.stackexchange
Esistono tecniche per verificare se una clausola è riassunta da un'altra clausola quando la aggiunge a una formula CNF?
https://www.generacodice.com/it/articolo/1598886/esistono-tecniche-per-verificare-se-una-clausola-e-riassunta-da-un-altra-clausola-quando-la-aggiunge-a-una-formula-cnf
satisfiability
-
propositional-logic
-
boolean-algebra
cs.stackexchange
Algoritmo di risoluzione - Nessuna nuova clausola
https://www.generacodice.com/it/articolo/1598338/algoritmo-di-risoluzione-nessuna-nuova-clausola
artificial-intelligence
-
logic
-
propositional-logic
cs.stackexchange
Qual è la connessione tra circuiti combinatori e automi a stato finito?
https://www.generacodice.com/it/articolo/1598336/qual-e-la-connessione-tra-circuiti-combinatori-e-automi-a-stato-finito
finite-automata
-
automata
-
propositional-logic
cs.stackexchange
Converti (x + y = z) in formula logica proposizionale per numeri a 8 bit
https://www.generacodice.com/it/articolo/1596839/converti-x-y-z-in-formula-logica-proposizionale-per-numeri-a-8-bit
bit-manipulation
-
propositional-logic
-
bit-blasting
cs.stackexchange
Le regole di inferenza per la derivazione di invarianti nella logica di Hoare
https://www.generacodice.com/it/articolo/1596784/le-regole-di-inferenza-per-la-derivazione-di-invarianti-nella-logica-di-hoare
logic
-
loop-invariants
-
hoare-logic
-
propositional-logic
cs.stackexchange
Perché la solidità implica coerenza?
https://www.generacodice.com/it/articolo/1595575/perche-la-solidita-implica-coerenza
logic
-
terminology
-
first-order-logic
-
incompleteness
-
propositional-logic
cs.stackexchange
«
3
4
5
6
7
8
»
Risultati trovati: 159