Zum Inhalt springen

Normalform (Begriffsklärung)

aus Wikipedia, der freien Enzyklopädie
Dies ist eine alte Version dieser Seite, zuletzt bearbeitet am 8. Dezember 2004 um 14:34 Uhr durch Conny (Diskussion | Beiträge) (Aussagenlogik: Klauselform hinzugefügt). Sie kann sich erheblich von der aktuellen Version unterscheiden.

Dieser Artikel befasst sich mit der Normalform in der Mathematik.
Für die Verwendung der Normalform im relationalen Datenbankmodell siehe Normalisierung.


Unter einer Normalform versteht man eine Darstellung, die bestimmte vorgegebene Eigenschaften hat.

Mathematik

In der Mathematik versteht man unter Normalform eines mathematischen Objekts eine Darstellung, die bestimmte vorgegebene Eigenschaften hat und für alle Objekte dieses Typs eindeutig bestimmt werden kann.

Beispiele

Theoretische Informatik

In der Theoretischen Informatik versteht man unter einer Normalform meist eine einfache Form einer kontextfreien Grammatik (vgl. Chomsky-Hierarchie).

Beispiele

Logik

Aussagenlogik

Prädikatenlogik