++ 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-Struktur Formel Hilfe Hausaufgabeb
Herbrand-Struktur

Eine, zu einer prädikatenlogischen Formel F passende Struktur, heißt Herbrand-Struktur wenn folgende Eigenschaften erfüllt sind:

Die Struktur sei A=\left(U,I\right).

  • Das Universum ist das aus F generierte Herbrand-Universum, also U=D\left(F\right).
  • Die Interpretationen I sind Herbrand-Interpretationen.
Dieser Artikel ( Herbrand-Struktur ) 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 +++