Português
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
Artigos completos
Categorias
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
Você escreve
Do utilizador
Conecte-se
Cadastro
Recuperação de senha
Tag
Tags de idioma
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
Tag first-order-logic - Esta é a página 13 - GeneraCodice
Showing the following sequents are not valid
https://www.generacodice.com/pt/articolo/1589733/showing-the-following-sequents-are-not-valid
first-order-logic
-
logical-validity
cs.stackexchange
Any Non-trivial Logic System Defined with only Equality
https://www.generacodice.com/pt/articolo/1589185/any-non-trivial-logic-system-defined-with-only-equality
logic
-
first-order-logic
cs.stackexchange
Why k- Vertex Cover is not in PTIME when it can be expressed in FO-logic
https://www.generacodice.com/pt/articolo/1589041/why-k-vertex-cover-is-not-in-ptime-when-it-can-be-expressed-in-fo-logic
complexity-theory
-
time-complexity
-
first-order-logic
-
graphs
cs.stackexchange
Does every 3CNF propositional formula has an equisatisfiable 2CNF propositional formula
https://www.generacodice.com/pt/articolo/1587933/does-every-3cnf-propositional-formula-has-an-equisatisfiable-2cnf-propositional-formula
logic
-
first-order-logic
-
propositional-logic
cs.stackexchange
Does every 3CNF propositional formula has an equivalent 2CNF propositional formula?
https://www.generacodice.com/pt/articolo/1587924/does-every-3cnf-propositional-formula-has-an-equivalent-2cnf-propositional-formula
logic
-
first-order-logic
-
propositional-logic
cs.stackexchange
Convert conjunctive normal form to equivalent boolean formula with only NAND gates
https://www.generacodice.com/pt/articolo/1587298/convert-conjunctive-normal-form-to-equivalent-boolean-formula-with-only-nand-gates
logic
-
first-order-logic
-
space-complexity
-
propositional-logic
cs.stackexchange
What is the largest possible minimal 3CNF formula as function of the number of variables?
https://www.generacodice.com/pt/articolo/1587138/what-is-the-largest-possible-minimal-3cnf-formula-as-function-of-the-number-of-variables
logic
-
first-order-logic
-
propositional-logic
cs.stackexchange
What is the set of all maximal 3CNF formulas?
https://www.generacodice.com/pt/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/pt/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/pt/articolo/1584322/algorithm-for-deciding-alpha-equivalence-of-terms-in-languages-with-bindings
logic
-
lambda-calculus
-
first-order-logic
cs.stackexchange
«
10
11
12
13
14
15
»
Resultados encontrados: 218