Grundbegriffe der Informatik: Vorlesungsunterlagen (2015/2016)
Skript und Folien für alle Einheiten
Hier gibt es noch das fast vollständige Skript des Wintersemesters 2015/2016 mit Inhalts- und Stichwortverzeichnis in einer Pdf-Datei. Es fehlen die Kapitel 6, 10 und 22; dafür sehe man sich die Folien aus der Vorlesung an (Links siehe weiter unten).
Hier gibt es noch das ganze Skript des Wintersemesters 2014/2015 mit Inhalts- und Stichwortverzeichnis in einer Pdf-Datei.
Ab dem Wintersemester 2015/2016 war die Vorlesung drei- und nicht mehr zweistündig. Dementsprechend werden neben einigen Vertiefungen des schon bisher behandelten Stoffs auch Themen aufgenommen werden.
Nachfolgend zu allen Vorlesungseinheiten Skript und Folien in elektronischer Form (Pdf):
| Skript | Folien | Thema | |
|---|---|---|---|
| 0 | Folien | Organisatorisches | |
| 1 | Skript | Folien | Prolog |
| 2 | Skript | Folien | Signale, etc. |
| 3 | Skript | Folien | Alphabete |
| 4 | Skript | Folien | Wörter |
| 5 | Skript | Folien | Aussagenlogik |
| 6 | Folien | Induktion | |
| 7 | Skript | Folien | formale Sprachen |
| 8 | Skript | Folien | Codierungen |
| 9 | Skript | Folien | Speicher |
| 10 | Folien | Prozessor | |
| 11 | Skript | Folien | Dokumente |
| 12 | Skript | Folien | Grammatiken |
| 13 | Skript | Folien | Prädikatenlogik |
| 14 | Skript | Folien | Algorithmen |
| 15 | Skript | Folien | Graphen |
| 16 | Skript | Folien | Algorithmen in Graphen |
| 17 | Skript | Folien | Quantitative Aspekte |
| 18 | Skript | Folien | endliche Automaten |
| 19 | Skript | Folien | reguläre Ausdrücke |
| 20 | Skript | Folien | Turingmaschinen |
| 21 | Skript | Folien | Relationen |
| 22 | Folien | Mima-X |
Zusätzliche Folien aus Vorlesungen
gibt es bisher keine
| Datum | Link | Beschreibung |
|---|---|---|