Tag propositional-logic - Это страница 2 - GeneraCodice

Как определены главные эффекты роговых формул?

https://www.generacodice.com/ru/articolo/2473052/как-определены-главные-эффекты-роговых-формул
  artificial-intelligence  -  complexity-theory  -  logic  -  propositional-logic
cs.stackexchange cs.stackexchange

Эквивалентность формул крома тягутся?

https://www.generacodice.com/ru/articolo/2472731/эквивалентность-формул-крома-тягутся
  complexity-theory  -  logic  -  satisfiability  -  propositional-logic
cs.stackexchange cs.stackexchange

Монотон 3-сел с ровно 3 разных переменных неверных?

https://www.generacodice.com/ru/articolo/2472212/монотон-3-сел-с-ровно-3-разных-переменных-неверных
  np-complete  -  satisfiability  -  3-sat  -  propositional-logic  -  polynomial-time-reductions
cs.stackexchange cs.stackexchange

Схемы и формулы для клики

https://www.generacodice.com/ru/articolo/2471813/схемы-и-формулы-для-клики
  complexity-theory  -  logic  -  propositional-logic
cs.stackexchange cs.stackexchange

Алгоритм объединения без проверки

https://www.generacodice.com/ru/articolo/2466036/алгоритм-объединения-без-проверки
  logic  -  unification  -  first-order-logic  -  propositional-logic
cs.stackexchange cs.stackexchange

Convert propositional logic formulas to mathematical constraints

https://www.generacodice.com/ru/articolo/2464574/convert-propositional-logic-formulas-to-mathematical-constraints
  optimization  -  integer-programming  -  propositional-logic
cs.stackexchange cs.stackexchange

Определение формулы 2-CNF (A.K.A KROM)

https://www.generacodice.com/ru/articolo/2455540/определение-формулы-2-cnf-a-k-a-krom
  logic  -  satisfiability  -  graphs  -  propositional-logic
cs.stackexchange cs.stackexchange

Что если p подразумевает q неверно, когда оба P и Q являются ложными?

https://www.generacodice.com/ru/articolo/2454628/что-если-p-подразумевает-q-неверно-когда-оба-p-и-q-являются-ложными
  propositional-logic
cs.stackexchange cs.stackexchange

Complexity of negation cancellation

https://www.generacodice.com/ru/articolo/1621339/complexity-of-negation-cancellation
  complexity-theory  -  logic  -  propositional-logic
cs.stackexchange cs.stackexchange

How to correctly negate a predicate bounded by some quantifiers?

https://www.generacodice.com/ru/articolo/1620902/how-to-correctly-negate-a-predicate-bounded-by-some-quantifiers
  logic  -  first-order-logic  -  propositional-logic  -  predicate-logic
cs.stackexchange cs.stackexchange
Результаты найдены: 159
scroll top