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

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

Deve $ x $ e $ y $ essere diversi in una dichiarazione del modulo $ forall x forall y CDOTS $?

https://www.generacodice.com/it/articolo/1605575/deve-x-e-y-essere-diversi-in-una-dichiarazione-del-modulo-forall-x-forall-y-cdots
  logic  -  first-order-logic  -  predicate-logic
cs.stackexchange cs.stackexchange

Come traduriamo il quantificatore universale della logica del primo ordine (il $ forall $) e il quantificatore esistenziale (il $ esiste $) a prolog?

https://www.generacodice.com/it/articolo/1603676/come-traduriamo-il-quantificatore-universale-della-logica-del-primo-ordine-il-forall-e-il-quantificatore-esistenziale-il-esiste-a-prolog
  prolog  -  first-order-logic
cs.stackexchange cs.stackexchange

Le definizioni di enumerate ricorsivamente sono equivalenti?

https://www.generacodice.com/it/articolo/1603372/le-definizioni-di-enumerate-ricorsivamente-sono-equivalenti
  terminology  -  computability  -  first-order-logic
cs.stackexchange cs.stackexchange

Rappresenti ce ne sono infinitamente molti in fol

https://www.generacodice.com/it/articolo/1600730/rappresenti-ce-ne-sono-infinitamente-molti-in-fol
  logic  -  first-order-logic
cs.stackexchange cs.stackexchange

Come convertire la dichiarazione con il quantificatore esistenziale in dichiarazione con quantificatore universale?

https://www.generacodice.com/it/articolo/1600483/come-convertire-la-dichiarazione-con-il-quantificatore-esistenziale-in-dichiarazione-con-quantificatore-universale
  first-order-logic
cs.stackexchange cs.stackexchange

Caratterizzazione logica del problema P rispetto a NP (e riferimenti per la logica del punto meno fisso)

https://www.generacodice.com/it/articolo/1600388/caratterizzazione-logica-del-problema-p-rispetto-a-np-e-riferimenti-per-la-logica-del-punto-meno-fisso
  logic  -  fixed-point  -  first-order-logic  -  p-vs-np
cs.stackexchange cs.stackexchange
Risultati trovati: 218
scroll top