Spezielle Variante des ☞ SAT-Problems. Für eine gegebene Menge von Klauseln mit je drei Literalen ist zu entscheiden, ob eine erfüllende Belegung existiert. Genau wie SAT gehört auch diese Fragestellu [..]

Eine Menge M heißt abzählbar, wenn sie die gleiche ☞ Mächtigkeit wie die Menge der natürlichen Zahlen besitzt. Dies ist genau dann der Fall, wenn jedes Element von M eineindeutig einer natürlichen Zah [..]

Beispiel einer Funktion, die ☞ While-berechenbar, aber nicht ☞ Loop-berechenbar ist. Ihre Existenz beweist, dass die ☞ Loop-Sprache nicht an die Stärke der meisten anderen in diesem Buch diskutierten [..]

Überbegriff für eine Reihe ☞ endlicher Automaten, die sich weiter in deterministische ( ☞ DEA) und nichtdeterministische ( ☞ NEA) Akzeptoren untergliedern lassen. In beiden Fällen bestehen die Automat [..]

Eine allgemeingültige Formel besitzt die Eigenschaft, dass jede ☞ Interpretation ein ☞ Modell ist. Eine solche Formel ist damit immer wahr, unabhängig davon, wie wir ihre Bestandteile interpretieren. [..]

Spezieller ☞ Unifikator mit der Eigenschaft, dass sich alle Unifikatoren durch die Anwendung einer weiteren Substitution erzeugen lassen.

Spezielle Art des logischen Widerspruchs, in der die Richtigkeit einer Aussage ihre eigene Falschheit zur Folge hat und umgekehrt. In formalen Systemen führen Antinomien zu Inkonsistenzen und damit zu [..]

Wichtige Problemstellung aus dem Bereich der ☞ formalen Sprachen. Hinter dem Äquivalenzproblem verbirgt sich die Frage, ob zwei Sprachen L 1 und L 2 aus den gleichen Wörtern bestehen. Mit anderen Wort [..]

Beschreibt den Werteverlauf einer Funktion f ( n ) für den Fall n →∞. Wie sich die Funktion f ( n ) auf einem beliebigen, aber endlichen Anfangsstück verhält, spielt für das asymptotische Wachstum kei [..]

Die Aussagenlogik beschäftigt sich mit atomaren Aussagen („Es regnet“, „Die Straße ist nass“) und den Beziehungen, die zwischen solchen Aussagen bestehen („Wenn es regnet, dann ist die Straße nass“). [..]