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 15 - GeneraCodice
Formally proving properties of fold function
https://www.generacodice.com/en/articolo/1580982/formally-proving-properties-of-fold-function
functional-programming
-
first-order-logic
-
software-verification
cs.stackexchange
Constructing logical sentences that involve negative integers over the nonnegative integers
https://www.generacodice.com/en/articolo/1580574/constructing-logical-sentences-that-involve-negative-integers-over-the-nonnegative-integers
logic
-
first-order-logic
cs.stackexchange
In the Resolution equivalence ($\neg A \implies B, B \implies C \models \neg A \implies C$) must $A$ be negated?
https://www.generacodice.com/en/articolo/1580495/in-the-resolution-equivalence-neg-a-implies-b-b-implies-c-models-neg-a-implies-c-must-a-be-negated
logic
-
first-order-logic
-
propositional-logic
cs.stackexchange
Formal specification; Logical formula
https://www.generacodice.com/en/articolo/1580388/formal-specification-logical-formula
c
-
formal-methods
-
satisfiability
-
first-order-logic
-
automated-theorem-proving
cs.stackexchange
Ehrenfeucht-Fraïssé games, possible mistake in example
https://www.generacodice.com/en/articolo/1580160/ehrenfeucht-fraisse-games-possible-mistake-in-example
first-order-logic
cs.stackexchange
in refutation (resolution) can we use a clause that have been resolved
https://www.generacodice.com/en/articolo/1578634/in-refutation-resolution-can-we-use-a-clause-that-have-been-resolved
logic
-
first-order-logic
-
proof-techniques
cs.stackexchange
How can unifying 2 sentences in first-order logic result in a variable becoming 2 different things?
https://www.generacodice.com/en/articolo/1576614/how-can-unifying-2-sentences-in-first-order-logic-result-in-a-variable-becoming-2-different-things
unification
-
first-order-logic
cs.stackexchange
Using existential quantifier within implication
https://www.generacodice.com/en/articolo/1574072/using-existential-quantifier-within-implication
logic
-
first-order-logic
cs.stackexchange
Why is first-order logic (without arithmetic) VALIDITY only recursively enumerable, and not recursive?
https://www.generacodice.com/en/articolo/1571060/why-is-first-order-logic-without-arithmetic-validity-only-recursively-enumerable-and-not-recursive
complexity-theory
-
first-order-logic
-
undecidability
cs.stackexchange
Predicate Logic Notation: What does a “dot” mean?
https://www.generacodice.com/en/articolo/1570450/predicate-logic-notation-what-does-a-dot-mean
logic
-
first-order-logic
-
mathematical-foundations
cs.stackexchange
«
12
13
14
15
16
17
»
Results found: 218