Theoretische Informatik

bedeutet, so genau zu beschreiben, dass jede und jeder, der noch nie einen ... gesehen hat, anhand dieser Beschreibung für jeden Gegenstand eindeutig entscheiden kann, ob es ein ... ist oder nicht. In der Definition dürfen nur Wörter (Begriffe) verwendet werden, deren Bedeutung schon vorher festgelegt wurde.

sind Grundbausteine der Wissenschaft. Es sind Tatsachen oder Begriffsspezifikationen, von deren Wahrhaftigkeit und Korrektheit wir fest überzeugt sind, obwohl es keine Möglichkeit gibt, ihre Korrektheit zu beweisen.

A impliziert B

Wenn A wahr ist (wenn A gilt), dann ist auch B wahr (dann gilt B). In anderen Worten, die Unwahrheit kann nicht die Folgerung aus einer Wahrheit sein.

Folgen korrekter Folgerungen.

Beweise "A ⇒ C"! Wenn "A ⇒ B und B ⇒ C" dann "A ⇒ B ⇒ C" also "A ⇒ C"

Eine Methode zur Lösung einer Aufgabe ist eine Beschreibung einer Vorgehensweise, die zur Lösung der Aufgabe führt. Die Beschreibung besteht aus einer Folge von Instruktionen, die für jeden (auch einen Nichtmathematiker) durchführbar sind.

Lösungsmethode

Bezeichnet die Tätigkeit, in der wir Algorithmen in Programme umschreiben

Kardinalität von A. Die Anzahl der Elemente in A.