Tag propositional-logic - Questa è pagina 2 - GeneraCodice

Come sono definiti i principali implicati delle formule di corno?

https://www.generacodice.com/it/articolo/2473052/come-sono-definiti-i-principali-implicati-delle-formule-di-corno
  artificial-intelligence  -  complexity-theory  -  logic  -  propositional-logic
cs.stackexchange cs.stackexchange

L'equivalenza delle formule di KROM è tracciabile?

https://www.generacodice.com/it/articolo/2472731/l-equivalenza-delle-formule-di-krom-e-tracciabile
  complexity-theory  -  logic  -  satisfiability  -  propositional-logic
cs.stackexchange cs.stackexchange

Monotone 3-SAT è esattamente 3 variabili distinte intraparabili?

https://www.generacodice.com/it/articolo/2472212/monotone-3-sat-e-esattamente-3-variabili-distinte-intraparabili
  np-complete  -  satisfiability  -  3-sat  -  propositional-logic  -  polynomial-time-reductions
cs.stackexchange cs.stackexchange

Circuiti e formule per clique

https://www.generacodice.com/it/articolo/2471813/circuiti-e-formule-per-clique
  complexity-theory  -  logic  -  propositional-logic
cs.stackexchange cs.stackexchange

Algoritmo di unificazione senza verificarsi

https://www.generacodice.com/it/articolo/2466036/algoritmo-di-unificazione-senza-verificarsi
  logic  -  unification  -  first-order-logic  -  propositional-logic
cs.stackexchange cs.stackexchange

Convert propositional logic formulas to mathematical constraints

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

Definizione di formula 2-cnf (a.k.a krom)

https://www.generacodice.com/it/articolo/2455540/definizione-di-formula-2-cnf-a-k-a-krom
  logic  -  satisfiability  -  graphs  -  propositional-logic
cs.stackexchange cs.stackexchange

Cosa succede se P implica q è falso quando sia P e Q sono falsi?

https://www.generacodice.com/it/articolo/2454628/cosa-succede-se-p-implica-q-e-falso-quando-sia-p-e-q-sono-falsi
  propositional-logic
cs.stackexchange cs.stackexchange

Complessità della cancellazione della negazione

https://www.generacodice.com/it/articolo/1621339/complessita-della-cancellazione-della-negazione
  complexity-theory  -  logic  -  propositional-logic
cs.stackexchange cs.stackexchange

Come negare correttamente un predicato delimitato da alcuni quantificatori?

https://www.generacodice.com/it/articolo/1620902/come-negare-correttamente-un-predicato-delimitato-da-alcuni-quantificatori
  logic  -  first-order-logic  -  propositional-logic  -  predicate-logic
cs.stackexchange cs.stackexchange
Risultati trovati: 159
scroll top