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 9 - GeneraCodice
Bachmair e Ganzinger, ordinamento delle equazioni
https://www.generacodice.com/it/articolo/1607043/bachmair-e-ganzinger-ordinamento-delle-equazioni
logic
-
first-order-logic
-
automated-theorem-proving
cs.stackexchange
Deve $ x $ e $ y $ essere diversi in una dichiarazione del modulo $ forall x forall y CDOTS $?
https://www.generacodice.com/it/articolo/1605575/deve-x-e-y-essere-diversi-in-una-dichiarazione-del-modulo-forall-x-forall-y-cdots
logic
-
first-order-logic
-
predicate-logic
cs.stackexchange
Come traduriamo il quantificatore universale della logica del primo ordine (il $ forall $) e il quantificatore esistenziale (il $ esiste $) a prolog?
https://www.generacodice.com/it/articolo/1603676/come-traduriamo-il-quantificatore-universale-della-logica-del-primo-ordine-il-forall-e-il-quantificatore-esistenziale-il-esiste-a-prolog
prolog
-
first-order-logic
cs.stackexchange
Le definizioni di enumerate ricorsivamente sono equivalenti?
https://www.generacodice.com/it/articolo/1603372/le-definizioni-di-enumerate-ricorsivamente-sono-equivalenti
terminology
-
computability
-
first-order-logic
cs.stackexchange
Rappresenti ce ne sono infinitamente molti in fol
https://www.generacodice.com/it/articolo/1600730/rappresenti-ce-ne-sono-infinitamente-molti-in-fol
logic
-
first-order-logic
cs.stackexchange
Come convertire la dichiarazione con il quantificatore esistenziale in dichiarazione con quantificatore universale?
https://www.generacodice.com/it/articolo/1600483/come-convertire-la-dichiarazione-con-il-quantificatore-esistenziale-in-dichiarazione-con-quantificatore-universale
first-order-logic
cs.stackexchange
Caratterizzazione logica del problema P rispetto a NP (e riferimenti per la logica del punto meno fisso)
https://www.generacodice.com/it/articolo/1600388/caratterizzazione-logica-del-problema-p-rispetto-a-np-e-riferimenti-per-la-logica-del-punto-meno-fisso
logic
-
fixed-point
-
first-order-logic
-
p-vs-np
cs.stackexchange
Risoluzione del paradosso del barbiere
https://www.generacodice.com/it/articolo/1600192/risoluzione-del-paradosso-del-barbiere
first-order-logic
cs.stackexchange
La teoria equazionale delle lingue regolari non ha un insieme finito di assiomi per gli alfabeti generali
https://www.generacodice.com/it/articolo/1598564/la-teoria-equazionale-delle-lingue-regolari-non-ha-un-insieme-finito-di-assiomi-per-gli-alfabeti-generali
finite-automata
-
formal-languages
-
first-order-logic
-
regular-languages
cs.stackexchange
L'insieme di frasi valide in FO non è decidabile come conseguenza di Rec. inseparabilità
https://www.generacodice.com/it/articolo/1597730/l-insieme-di-frasi-valide-in-fo-non-e-decidabile-come-conseguenza-di-rec-inseparabilita
complexity-theory
-
logic
-
computability
-
first-order-logic
-
undecidability
cs.stackexchange
«
6
7
8
9
10
11
»
Risultati trovati: 218