Tag first-order-logic - Questa è pagina 7 - GeneraCodice

Cosa non può custodire il frammento di FO Express?

https://www.generacodice.com/it/articolo/1616299/cosa-non-puo-custodire-il-frammento-di-fo-express
  logic  -  first-order-logic
cs.stackexchange cs.stackexchange

I teoremi di indecidibilità possono essere rilevati da una macchina? [Chiuso

https://www.generacodice.com/it/articolo/1615418/i-teoremi-di-indecidibilita-possono-essere-rilevati-da-una-macchina-chiuso
  logic  -  turing-machines  -  first-order-logic
cs.stackexchange cs.stackexchange

Caratterizzazione logica di $ nc^1 $

https://www.generacodice.com/it/articolo/1613941/caratterizzazione-logica-di-nc-1
  complexity-theory  -  first-order-logic  -  circuits
cs.stackexchange cs.stackexchange

Logica mso (logica monadica del secondo ordine) sulle parole

https://www.generacodice.com/it/articolo/1612748/logica-mso-logica-monadica-del-secondo-ordine-sulle-parole
  logic  -  automata  -  first-order-logic
cs.stackexchange cs.stackexchange

La formalizzazione logica del primo ordine Paradox Paradox

https://www.generacodice.com/it/articolo/1612417/la-formalizzazione-logica-del-primo-ordine-paradox-paradox
  artificial-intelligence  -  logic  -  first-order-logic
cs.stackexchange cs.stackexchange

L'esempio di logica di secondo ordine di base contiene un errore?

https://www.generacodice.com/it/articolo/1611562/l-esempio-di-logica-di-secondo-ordine-di-base-contiene-un-errore
  logic  -  first-order-logic
cs.stackexchange cs.stackexchange

Perché ¬, ∀ e ∃ hanno la stessa precedenza?

https://www.generacodice.com/it/articolo/1609910/perche-e-hanno-la-stessa-precedenza
  logic  -  notation  -  first-order-logic
cs.stackexchange cs.stackexchange

Decidibilità dell'equivalenza alle formule esistenziali

https://www.generacodice.com/it/articolo/1608444/decidibilita-dell-equivalenza-alle-formule-esistenziali
  logic  -  time-complexity  -  formal-languages  -  first-order-logic
cs.stackexchange cs.stackexchange

Confutazione nella logica del primo ordine

https://www.generacodice.com/it/articolo/1608064/confutazione-nella-logica-del-primo-ordine
  satisfiability  -  first-order-logic
cs.stackexchange cs.stackexchange

Bachmair e Ganzinger, ordinamento delle equazioni

https://www.generacodice.com/it/articolo/1607043/bachmair-e-ganzinger-ordinamento-delle-equazioni
  logic  -  first-order-logic  -  automated-theorem-proving
cs.stackexchange cs.stackexchange
Risultati trovati: 218
scroll top