en
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
Full articles
Categories
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
You write
User
Login
Registration
Password recovery
Tags
Language tags
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
Tag first-order-logic - This is page 11 - GeneraCodice
The equational theory of regular languages has no finite set of axioms for general alphabets
https://www.generacodice.com/en/articolo/1598564/the-equational-theory-of-regular-languages-has-no-finite-set-of-axioms-for-general-alphabets
finite-automata
-
formal-languages
-
first-order-logic
-
regular-languages
cs.stackexchange
The set of valid sentences in FO is not decidable as a consequence of rec. inseparability
https://www.generacodice.com/en/articolo/1597730/the-set-of-valid-sentences-in-fo-is-not-decidable-as-a-consequence-of-rec-inseparability
complexity-theory
-
logic
-
computability
-
first-order-logic
-
undecidability
cs.stackexchange
Classical set theory and the existence of at least one set
https://www.generacodice.com/en/articolo/1596685/classical-set-theory-and-the-existence-of-at-least-one-set
logic
-
first-order-logic
cs.stackexchange
Why does soundness imply consistency?
https://www.generacodice.com/en/articolo/1595575/why-does-soundness-imply-consistency
logic
-
terminology
-
first-order-logic
-
incompleteness
-
propositional-logic
cs.stackexchange
Why algorithms calculating non-tirivial zeros can't be used as proofs of Riemann Hypothesis?
https://www.generacodice.com/en/articolo/1592842/why-algorithms-calculating-non-tirivial-zeros-can-t-be-used-as-proofs-of-riemann-hypothesis
first-order-logic
-
curry-howard
-
proof-techniques
-
propositional-logic
-
mathematical-foundations
cs.stackexchange
Max() in Domain Relational Calculus
https://www.generacodice.com/en/articolo/1592511/max-in-domain-relational-calculus
logic
-
relational-algebra
-
database-theory
-
first-order-logic
cs.stackexchange
Predicate calculus- meaning of the word “any”
https://www.generacodice.com/en/articolo/1592454/predicate-calculus-meaning-of-the-word-any
first-order-logic
cs.stackexchange
Undecidable predicate logic is decidable by people?
https://www.generacodice.com/en/articolo/1591311/undecidable-predicate-logic-is-decidable-by-people
logic
-
computability
-
first-order-logic
-
undecidability
-
logical-validity
cs.stackexchange
How logic programming (especially ASP) is related to the reasoning in (first-order) logic?
https://www.generacodice.com/en/articolo/1590617/how-logic-programming-especially-asp-is-related-to-the-reasoning-in-first-order-logic
logic
-
lambda-calculus
-
first-order-logic
-
curry-howard
-
answer-set-programming
cs.stackexchange
Finding Models for a sequent
https://www.generacodice.com/en/articolo/1589737/finding-models-for-a-sequent
model-checking
-
first-order-logic
cs.stackexchange
«
8
9
10
11
12
13
»
Results found: 218