Eine Sammlung von Skripten zu den Themen Logik und Mengenlehre.
Es findet sich ein Tool zum Generieren von Aufgaben aus den Numerik-, Grafik- und Krypto-Grundlagen...
Die Skripten sind zu den Themen Einführung in die klassische Prädikatenlogik, Berechenbarkeitstheor...