Mathematische Grundlagen

Die Mathematik bildet einen sehr wesentlichen Grundpfeiler der Informatik. Insbesondere die Aussagen- und Prädikatenlogik sind in der Informatik unverzichtbar.

In diesem Abschnitt werde ich versuchen die wesentlichen Konzepte, die für die Informatik relevant sind, möglichst vollständig zu behandeln. Dabei liegt mein Hauptaugenmerk zwar nicht auf einer exakten mathematischen, axiomatischen Beweisführung, aber die in der Mathematik allgemein gängige Notation soll hier auf jeden Fall Anwendung finden.