Da sich die Informatik mit der logischen Verarbeitung von Daten befasst, ist es denke ich wichtig, zumindest die Grundlegenden Regeln der Logik zu kennen. Dazu habe ich jetz eine Sammlung von Definitionen der Mengenlehre angelegt. Bald werde ich auch noch Definitionen zu Realationen festlegen, das diese auch eine wichtige Rolle in der Informatik spielen, so schaue man sich alein einmal nur die Datenbanken an, kommt man nicht mehr ohne Relationen aus.

Zudem werde ich, in nächster Zeit einige Erklährungen und Beispiele zu jeder Definition einfügen, damit auch "Anfänger" verstehen, was die prädikatenlogischen Formeln bedeuten.

Edit: Auch die Definitionen zu den Relationen sind nun hinzugefügt!