Theoretische Informatik für Wirtschaftsinformatik und Lehramt (SS 2016)
Theoretische Informatik für Wirtschaftsinformatik und Lehramt (SS 2016)
Organisatorische Informationen
- Anmeldung zu den Übungen erfolgt durch MeinCampus bis So 17.04. Achtung! Der Montagstermin kann leider nicht angeboten werden (da die Tutoren diesen nicht abdecken können) und wird in Kürze gelöscht.
- Erste Vorlesung: 11.04
- Die (Intensiv-)Übungen starten in der Woche: 18.04-22.04
Informationen zur Prüfungsklausur
- Datum: 21. September 2015
- Zeit: 10:00
- Raum: H8 TechF
- Hilfsmittel: Als einziges Hilfsmittel ist ein (beidseitig) handbeschriebenes A4-Blatt erlaubt.
- Klausureinsicht: Mittwoch, 19.10.2016, 17:00 Uhr, Seminarraum 11.150, Martenstr. 3
Vorlesungen (PD Dr. Stefan Milius)
| Mo | 14:15 – 15:45 | H10 | Milius, S. |
Intensivübungen (PD Dr. Stefan Milius)
| Mi | 14:15 – 15:45 | H10 | Milius, S. |
Übungen (Dr. Sergey Goncharov)
| Di | 8:15 – 9:45 | 0.151-115 | Untch, S. |
| Do | 10:15 – 11:45 | 0.68 | Michali, T. |
| Fr | 10:15 – 11:45 | K1-119 | Seegerer, S. |
| Fr | 12:15 – 13:45 | E 1.11 | Seegerer, S. |
Vorlesungsfolien
- Foliensatz 0: Organisatorisches
- Foliensatz 1: Motivation und Grundlagen
- Foliensatz 2: Reguläre Sprachen
- Foliensatz 3: Eigenschaften regulärer Sprachen
- Foliensatz 4: Kontextfreie Sprachen
- Foliensatz 5: Eigenschaften kontextfreier Sprachen
- Foliensatz 6: Turing-Maschinen und Berechenbarkeit
- Foliensatz 7: Höhere Programmiermodelle
- Foliensatz 8: Universelle Turingmaschinen und Church’sche These
- Foliensatz 9: Entscheidungsprobleme
- Foliensatz 10: Komplexität von Problemen
Intensivübungen
- Intensivübung 1
- Intensivübung 2
- Intensivübung 3
- Intensivübung 4
- Intensivübung 5
- Intensivübung 6
- Intensivübung 7
- Intensivübung 8
- Intensivübung 9, TurSi-Code für a9.1.tm und a9.2.tm
- Intensivübung 10
- Intensivübung 11
- Intensivübung 12
- Intensivübung 13
Übungsblätter
- Übungsblatt 1; Abgabe: 25.04.-29.04.
- Übungsblatt 2; Abgabe: 02.05.-06.05.
- Übungsblatt 3; Abgabe: 09.05.-13.05.
- Übungsblatt 4; Abgabe: 16.05.-27.05.
- Übungsblatt 5; Abgabe: 30.05.-03.06.
- Übungsblatt 6; Abgabe: 06.06.-10.06.
- Übungsblatt 7; Abgabe: 13.06.-17.06.
- Übungsblatt 8; Abgabe: 20.06.-24.06.
- Übungsblatt 9; Abgabe: 27.06.-01.07
- Übungsblatt 10; Abgabe: 04.07.-08.07.
- Anleitung zu LW-Simulator (aktualisiert!);
- Präsenzaufgaben: AddSub.txt, gcd.txt , praesenz.txt.
- Übungsblatt 11; Abgabe: 11.07.-15.07.
- Übungsblatt 12.