Tag first-order-logic - Ceci est la page 9 - GeneraCodice

Bachmair et Ganzinger, ordonnant des équations

https://www.generacodice.com/fr/articolo/1607043/bachmair-et-ganzinger-ordonnant-des-equations
  logic  -  first-order-logic  -  automated-theorem-proving
cs.stackexchange cs.stackexchange

Les $ x $ et $ y $ doivent-ils être différents dans un état du formulaire $ forall x forall y cdots $?

https://www.generacodice.com/fr/articolo/1605575/les-x-et-y-doivent-ils-etre-differents-dans-un-etat-du-formulaire-forall-x-forall-y-cdots
  logic  -  first-order-logic  -  predicate-logic
cs.stackexchange cs.stackexchange

Comment traduisons-nous le quantificateur universel de First Order Logic (le $ forall $) et le quantificateur existentiel (le $ existe $) à Prolog?

https://www.generacodice.com/fr/articolo/1603676/comment-traduisons-nous-le-quantificateur-universel-de-first-order-logic-le-forall-et-le-quantificateur-existentiel-le-existe-a-prolog
  prolog  -  first-order-logic
cs.stackexchange cs.stackexchange

Les définitions de l'énumération récursivement sont-elles équivalentes?

https://www.generacodice.com/fr/articolo/1603372/les-definitions-de-l-enumeration-recursivement-sont-elles-equivalentes
  terminology  -  computability  -  first-order-logic
cs.stackexchange cs.stackexchange

Représentent qu'il y en a infiniment beaucoup dans fol

https://www.generacodice.com/fr/articolo/1600730/representent-qu-il-y-en-a-infiniment-beaucoup-dans-fol
  logic  -  first-order-logic
cs.stackexchange cs.stackexchange

Comment convertir la déclaration avec le quantificateur existentiel à une déclaration avec Universal Quantifier?

https://www.generacodice.com/fr/articolo/1600483/comment-convertir-la-declaration-avec-le-quantificateur-existentiel-a-une-declaration-avec-universal-quantifier
  first-order-logic
cs.stackexchange cs.stackexchange

Caractérisation logique du problème P par rapport au NP (et références pour la logique de point la moins fixe)

https://www.generacodice.com/fr/articolo/1600388/caracterisation-logique-du-probleme-p-par-rapport-au-np-et-references-pour-la-logique-de-point-la-moins-fixe
  logic  -  fixed-point  -  first-order-logic  -  p-vs-np
cs.stackexchange cs.stackexchange

Résolution du paradoxe du coiffeur

https://www.generacodice.com/fr/articolo/1600192/resolution-du-paradoxe-du-coiffeur
  first-order-logic
cs.stackexchange cs.stackexchange

La théorie équationnelle des langues régulières n'a pas d'ensemble fini d'axiomes pour les alphabets généraux

https://www.generacodice.com/fr/articolo/1598564/la-theorie-equationnelle-des-langues-regulieres-n-a-pas-d-ensemble-fini-d-axiomes-pour-les-alphabets-generaux
  finite-automata  -  formal-languages  -  first-order-logic  -  regular-languages
cs.stackexchange cs.stackexchange

L'ensemble des phrases valides dans FO n'est pas décideable en conséquence de Rec. inséparabilité

https://www.generacodice.com/fr/articolo/1597730/l-ensemble-des-phrases-valides-dans-fo-n-est-pas-decideable-en-consequence-de-rec-inseparabilite
  complexity-theory  -  logic  -  computability  -  first-order-logic  -  undecidability
cs.stackexchange cs.stackexchange
Résultats trouvés: 218
scroll top