8 relations: Algorithme DPLL, Frank Ramsey, Logique mathématique, Mathematische Annalen, Moses Schönfinkel, NEXPTIME, Paul Bernays, Problème SAT.
Algorithme DPLL
En informatique, l'algorithme de Davis–Putnam–Logemann–Loveland (DPLL) est un algorithme de backtracking, complet, de résolution du problème SAT.
Nouveau!!: Classe de Bernays-Schönfinkel et Algorithme DPLL · Voir plus »
Frank Ramsey
Frank Plumpton Ramsey (-) est un mathématicien, économiste et logicien britannique.
Nouveau!!: Classe de Bernays-Schönfinkel et Frank Ramsey · Voir plus »
Logique mathématique
La logique mathématique ou métamathématique est une discipline des mathématiques introduite à la fin du, qui s'est donné comme objet l'étude des mathématiques en tant que langage.
Nouveau!!: Classe de Bernays-Schönfinkel et Logique mathématique · Voir plus »
Mathematische Annalen
Les Mathematische Annalen (abrégé par Math. Ann. ou Math. Annal.), fondée en 1868 par Alfred Clebsch et Carl Neumann, est une revue de mathématiques allemande publiée par Springer Science+Business Media.
Nouveau!!: Classe de Bernays-Schönfinkel et Mathematische Annalen · Voir plus »
Moses Schönfinkel
Moses Schönfinkel Moses Schönfinkel (en Моисей Эльевич Шейнфинкель, Moisseï Elievitch Cheïnfinkel) est un logicien et mathématicien juif soviétique né le à Ekaterinoslav (aujourd’hui Dnipro, en Ukraine) et mort en 1942 à Moscou.
Nouveau!!: Classe de Bernays-Schönfinkel et Moses Schönfinkel · Voir plus »
NEXPTIME
En théorie de la complexité, NEXPTIME, ou NEXP, est une classe de complexité, c'est-à-dire un ensemble de problèmes de décision.
Nouveau!!: Classe de Bernays-Schönfinkel et NEXPTIME · Voir plus »
Paul Bernays
Paul Bernays, né le à Londres et mort le à Zurich, est un mathématicien suisse qui a joué un rôle crucial dans le développement de la logique mathématique au.
Nouveau!!: Classe de Bernays-Schönfinkel et Paul Bernays · Voir plus »
Problème SAT
consulté le.
Nouveau!!: Classe de Bernays-Schönfinkel et Problème SAT · Voir plus »