Im Wintersemester 16/17 habe ich am KIT ein Tutorium für das Fach Grundbegriffe der Informatik gehalten. Die zugehörigen Tutoriumsfolien und Nachträge habe ich hier zusammengestellt.
Die Folien sind mit LaTeX erstellt, der Quellcode ist auf Github verfügbar.
Downloads
- Foliensatz 1: Mengen, Alphabete, Relationen, Abbildungen
- Foliensatz 2: Wörter, Formale Sprachen
- Foliensatz 3: Vollständige Induktion, Operationen auf formalen Sprachen, Kodierung
- Foliensatz 4: Aussagenlogik
- Foliensatz 5: Übersetzungen, Homomorphismen, Huffman-Bäume, Speicher
- Foliensatz 6: MIMA Prozessor und Programmierung
- Foliensatz 7: Kontextfreie Grammatiken, Relationen
- Foliensatz 8: Prädikatenlogik
- Foliensatz 9: Algorithmen, Hoare-Kalkül
- Foliensatz 10: Einführung in Graphentheorie
- Foliensatz 11: Graphen im Rechner, Einführung in Komplexitätstheorie
- Foliensatz 12: Komplexitätstheorie, O-Kalkül, Mastertheorem
- Foliensatz 13: Automaten, endliche Akzeptoren, reguläre Ausdrücke, rechtslineare Grammatiken
- Foliensatz 14: Turingmaschinen, Entscheidbarkeit
- Zusammenstellung aller Folien in einem PDF-Paket
- Nachtrag: Beweise von Mengengleichheit und Mengenungleichheit
- Nachtrag: MIMA Befehlsliste