++ Mathe Formeln ++ Mathematik Lexikon ++ Lösungen ++ Hausaufgaben ++ Algebra ++ Lernen ++ Übungen ++ Schule ++ Geometrie ++

Navigation

Mathematik Begriffe
A B C D E
F G H I J
K L M N O
P Q R S T
U V W X Y
Z 123      
Goldkurs

Mathematik Begriff Erklärung Herbrand-Theorie Formel Hilfe Hausaufgabeb
Herbrand-Theorie

Jacques Herbrand entwickelte die Herbrand-Theorie, welche ein Semi-Entscheidungsverfahren für die Unerfüllbarkeit von prädikatenlogischen Formeln liefert. Gesucht ist eine (einfache) Teilklasse von Strukturen/ Modellen, so dass eine Formel genau dann unerfüllbar (bzw. erfüllbar) wird, wenn sie kein (bzw. ein) Modell in dieser Teilklasse hat.

Herbrand-Universum, Herbrand-Struktur, Herbrand-Interpretation, Herbrand-Modell
Dieser Artikel ( Herbrand-Theorie ) stammt aus Wikipedia, der freien Enzyklopädie
und steht unter der GNU Free Documentation Licence. 
+++ Mathe Formeln ++ Mathematik Lexikon ++ Lösungen ++ IMPRESSUM ++ Algebra ++ Lernen ++ Übungen ++ Schule ++ Geometrie +++