Española
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
Artículos completos
Categorías
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
Usted escribe
Usuario
Acceso
Registro
Recuperación de contraseña
Etiquetas
Etiquetas de idioma
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
Etiqueta first-order-logic - Esta es la página 14 - GeneraCodice
What is the set of all maximal 3CNF formulas?
https://www.generacodice.com/es/articolo/1586874/what-is-the-set-of-all-maximal-3cnf-formulas
logic
-
first-order-logic
-
propositional-logic
cs.stackexchange
What is the set of all minimal 3CNF formulas?
https://www.generacodice.com/es/articolo/1586003/what-is-the-set-of-all-minimal-3cnf-formulas
logic
-
first-order-logic
-
propositional-logic
cs.stackexchange
Algorithm for deciding alpha-equivalence of terms in languages with bindings
https://www.generacodice.com/es/articolo/1584322/algorithm-for-deciding-alpha-equivalence-of-terms-in-languages-with-bindings
logic
-
lambda-calculus
-
first-order-logic
cs.stackexchange
What is the difference between $x:A$ and $x \Xi A$?
https://www.generacodice.com/es/articolo/1583634/what-is-the-difference-between-x-a-and-x-xi-a
type-theory
-
first-order-logic
-
software-verification
cs.stackexchange
Induction rules for reflexive, transitive closure
https://www.generacodice.com/es/articolo/1581945/induction-rules-for-reflexive-transitive-closure
logic
-
induction
-
first-order-logic
-
proof-techniques
cs.stackexchange
Formally proving properties of fold function
https://www.generacodice.com/es/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/es/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/es/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/es/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/es/articolo/1580160/ehrenfeucht-fraisse-games-possible-mistake-in-example
first-order-logic
cs.stackexchange
«
11
12
13
14
15
16
»
Resultados encontrados: 218