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 12 - GeneraCodice
Perché gli algoritmi che calcolano gli zeri non tirivali non possono essere usati come prove dell'ipotesi di Riemann?
https://www.generacodice.com/it/articolo/1592842/perche-gli-algoritmi-che-calcolano-gli-zeri-non-tirivali-non-possono-essere-usati-come-prove-dell-ipotesi-di-riemann
first-order-logic
-
curry-howard
-
proof-techniques
-
propositional-logic
-
mathematical-foundations
cs.stackexchange
Max () nel calcolo relazionale del dominio
https://www.generacodice.com/it/articolo/1592511/max-nel-calcolo-relazionale-del-dominio
logic
-
relational-algebra
-
database-theory
-
first-order-logic
cs.stackexchange
Calcolo predicato- Significato della parola "qualsiasi"
https://www.generacodice.com/it/articolo/1592454/calcolo-predicato-significato-della-parola-qualsiasi
first-order-logic
cs.stackexchange
La logica predicata indecidabile è decidabile dalle persone?
https://www.generacodice.com/it/articolo/1591311/la-logica-predicata-indecidabile-e-decidabile-dalle-persone
logic
-
computability
-
first-order-logic
-
undecidability
-
logical-validity
cs.stackexchange
In che modo la programmazione logica (specialmente ASP) è correlata al ragionamento nella logica (di primo ordine)?
https://www.generacodice.com/it/articolo/1590617/in-che-modo-la-programmazione-logica-specialmente-asp-e-correlata-al-ragionamento-nella-logica-di-primo-ordine
logic
-
lambda-calculus
-
first-order-logic
-
curry-howard
-
answer-set-programming
cs.stackexchange
Trovare modelli per un sequente
https://www.generacodice.com/it/articolo/1589737/trovare-modelli-per-un-sequente
model-checking
-
first-order-logic
cs.stackexchange
Mostrare i seguenti sequenti non sono validi
https://www.generacodice.com/it/articolo/1589733/mostrare-i-seguenti-sequenti-non-sono-validi
first-order-logic
-
logical-validity
cs.stackexchange
Qualsiasi sistema logico non banale definito solo con l'uguaglianza
https://www.generacodice.com/it/articolo/1589185/qualsiasi-sistema-logico-non-banale-definito-solo-con-l-uguaglianza
logic
-
first-order-logic
cs.stackexchange
Perché la copertura K-vertex non è in primavera quando può essere espressa in fo-logic
https://www.generacodice.com/it/articolo/1589041/perche-la-copertura-k-vertex-non-e-in-primavera-quando-puo-essere-espressa-in-fo-logic
complexity-theory
-
time-complexity
-
first-order-logic
-
graphs
cs.stackexchange
Ogni formula proposizionale 3CNF ha una formula proposizionale 2CNF equisatunistica
https://www.generacodice.com/it/articolo/1587933/ogni-formula-proposizionale-3cnf-ha-una-formula-proposizionale-2cnf-equisatunistica
logic
-
first-order-logic
-
propositional-logic
cs.stackexchange
«
9
10
11
12
13
14
»
Risultati trovati: 218