Logik & Berechenbarkeit

Lehrinhalte
- Logik: Aussagenlogik und Prädikatenlogik, Spezifikationen, Argumentieren und Beweisen
- Mengenlehre: Konzepte, Mengenbildungen, Tupel, Relationen, Funktionen
- Berechenbarkeit: Laufzeitkomplexität, Landau-Notation, endliche Automaten, Kellerautomaten, Turingmaschinen