Type and Content |
|
Title: | Einführung in die Informatik IV |
Lecturer: | Reischuk |
Classification: | 4. Sem. Diplom-Studiengang + Bachelor |
Content: |
Modellierung, Analyse und Lösung algorithmischer Probleme:Maschinenmodelle, Turing-Maschinen, Registermaschinen, Formale Grammatiken, Determinismus, Nichtdeterminismus, Probabilismus, Reduktion zwischen Problemen, Simulation Algorithmische Komplexität:Komplexitätsmaße, Komplexitätsklassen, untere Schranken, Zeit- und Platzhierarchien, NP-Vollständigkeit, Erfüllbarkeitsprobleme der Logik, diskrete Optimierungsprobleme Formale Sprachen:Normalformen, kontextfreie und kontextsensitive Sprachen, Comsky Hierarchie, reguläre Sprachen, reguläre Ausdrücke, endliche Automaten, Pumping Lemma, Wortprobleme |
Literature: |
|
Written test: |
Erlaubte Hilfsmittel bei Vordiplomsklausur und Bachelor-Wiederholungsklausur: Schreibwerkzeug sowie ein beidseitig ausschließlich mit Informatik IV-relevantem Inhalt handbeschriebenes DIN A4-Blatt |
Actual: |
Erlaubte Hilfsmittel bei Vordiplomsklausur und Bachelor-Wiederholungsklausur: Schreibwerkzeug sowie ein beidseitig ausschließlich mit Informatik IV-relevantem Inhalt handbeschriebenes DIN A4-Blatt Zusatzübung: Mittwoch, 31.08.2005, 14-16 Uhr, Seminarraum 2/3 (Cook/Karp) Klausureinsicht Bachelorklausur und Probeklausur vom 15.07.2005: Mittwoch, 10.08.2005, 14-15 Uhr, Seminarraum ITCS (Geb. 64, Raum 3.021) Anmeldung zur Bachelor-Wiederholungsklausur bis Mittwoch, 07.09.2005, im Sekretariat des ITCS (Frau Mamat) oder per Mail bei Jan Arpe Es gibt noch mehr Übungsaufgaben zur Vorbereitung auf die Klausuren am 14.09.2005. Anmeldung zur Bachelorklausur bis Mittwoch, 13.07.2005, im Sekretariat des ITCS (Frau Mamat) Achtung Raumänderung: Aufgrund von Berufungsvorträgen findet die Übung der Gruppe 2 am Montag, 30.05.2005, im PC-Labor des Instituts für Medizinische Informatik statt (PC-Labor IMI, Haus 64, 1. Stock, Raum 35, s. Raumplan 1. Stock) Info IV-Abend: Donnerstag, 21.04.2005, ab 20 Uhr im Alten Zolln |
Vorlesungsskript: | |
Lecture |
|
Lecturer: | Reischuk |
Hours: | 4 SWS, 9 ECTS |
Dates: | Mi. 8.00h-10.00h, Raum T1/Transistorium und Fr. 8.00h-10.00h, H1 |
Exercise |
|
Lecturer: | Reischuk, Arpe |
Hours: | 3 SWS |
Dates: | Erste Übungsstunde: Donnerstag, 07.04.2005 Einteilung in Übungsgruppen erfolgt am Ende der ersten Vorlesung. Gruppe 1: Mo. 14 -16 h + Do. 11-12 h Seminarraum Informatik 4 (Minsky), Tutor: Michael Elberfeld Gruppe 2 : Mo. 14-16 h + Do. 11-12 h Seminarraum 2+3 (Cook + Karp m. geöffneter Trennwand), Tutor: Raphael Maas Gruppe 3: Mo. 14-16 h ITCS-Seminarraum 21, 2. OG. Geb. 64, Do. 11-12 h R3, Tutor: Johannes Textor |
Übungsblätter: |
|
Projects: |
|