タグfirst-order-logic - これはページ7です - GeneraCodice

What can't guarded fragment of FO express?

https://www.generacodice.com/jp/articolo/1616299/what-can-t-guarded-fragment-of-fo-express
  logic  -  first-order-logic
cs.stackexchange cs.stackexchange

Can undecidability theorems be detected by a machine? [closed]

https://www.generacodice.com/jp/articolo/1615418/can-undecidability-theorems-be-detected-by-a-machine-closed
  logic  -  turing-machines  -  first-order-logic
cs.stackexchange cs.stackexchange

Logical characterization of $NC^1$

https://www.generacodice.com/jp/articolo/1613941/logical-characterization-of-nc-1
  complexity-theory  -  first-order-logic  -  circuits
cs.stackexchange cs.stackexchange

MSO (Monadic second-order logic) Logic On Words

https://www.generacodice.com/jp/articolo/1612748/mso-monadic-second-order-logic-logic-on-words
  logic  -  automata  -  first-order-logic
cs.stackexchange cs.stackexchange

The barbers paradox first order logic formalization

https://www.generacodice.com/jp/articolo/1612417/the-barbers-paradox-first-order-logic-formalization
  artificial-intelligence  -  logic  -  first-order-logic
cs.stackexchange cs.stackexchange

Basic second-order logic example contains a mistake?

https://www.generacodice.com/jp/articolo/1611562/basic-second-order-logic-example-contains-a-mistake
  logic  -  first-order-logic
cs.stackexchange cs.stackexchange

Why do ¬, ∀ and ∃ have the same precedence?

https://www.generacodice.com/jp/articolo/1609910/why-do-and-have-the-same-precedence
  logic  -  notation  -  first-order-logic
cs.stackexchange cs.stackexchange

Decidability of equivalence to existential formulas

https://www.generacodice.com/jp/articolo/1608444/decidability-of-equivalence-to-existential-formulas
  logic  -  time-complexity  -  formal-languages  -  first-order-logic
cs.stackexchange cs.stackexchange

Refutation in first order logic

https://www.generacodice.com/jp/articolo/1608064/refutation-in-first-order-logic
  satisfiability  -  first-order-logic
cs.stackexchange cs.stackexchange

Bachmair and Ganzinger, ordering of equations

https://www.generacodice.com/jp/articolo/1607043/bachmair-and-ganzinger-ordering-of-equations
  logic  -  first-order-logic  -  automated-theorem-proving
cs.stackexchange cs.stackexchange
結果が見つかりました: 218
scroll top