| |
Grundlagen der Informatik II
Dozent
- Martin Kutrib
Zeit und Raum
- Vorlesung:
- Montag, 8-10 Uhr, Hösaal H III, Physik, Heinrich-Buff-Ring 14
- Donnerstag, 12-14 Uhr, Hösaal H IV, Physik, Heinrich-Buff-Ring 14
- Beginn: 3. April 2008
- Übung:
(Andreas Malcher)
- Montag, 10-12 Uhr, Hörsaal 11 des MZVG
- Donnerstag, 14-16 Uhr, Hörsaal 12 des MZVG
- Donnerstag, 16-18 Uhr, Hörsaal 12 des MZVG
- Beginn: 10. April 2008
Prüfung
- Die Zugangsdaten entsprechen jeweils denen des Skripts.
- Evaluation
- Evaluationsergebnisse
- Klausur
- Die Klausur fand am Donnerstag, 10.7.2008, von 12.00 bis 14.00 Uhr
im Hörsaal H II, Physik, Heinrich-Buff-Ring 14 statt.
- Wiederholungsklausur
- Die Wiederholungsklausur fand am Donnerstag, 9.10.2008, von 12.00 bis
14.00 Uhr im Hörsaal des Mathematischen Instituts,
Arndtstr. 2 statt.
- Ergebnisse
- Tabelle der
erreichten Wiederholungsklausurpunkte
- Tabelle der erreichten Klausurpunkte
- Umrechnungstabelle Klausurpunkte-Noten
- Die Klausuren können vormittags im Sekretariat des Instituts
für Informatik in der Arndtstr. 2, Raum 120, eingesehen werden.
Zielgruppe
Die Veranstaltung richtet sich in erster Linie an Studierende
der Bachelor-Studiengänge Mathematik und Physik sowie
des Studiengangs Lehramt L3 Informatik im zweiten Semester
und des Bachelor-Studiengangs Materialwissenschaften.
Inhalt
-
Einführung in die Theoretische Informatik
- 1. Schaltalgebra und Schaltfunktionen
- 2. Endliche Automaten
- 3. Turingmaschinen
- 4. Rekursive Funktionen und einfache Programme
- 5. Formale Sprachen
Skriptum
- Inhaltsverzeichnis:
PDF (26 kB)
- Kapitel 1:
PDF (221 kB)
- Kapitel 2:
PDF (152 kB)
- Kapitel 3:
PDF (259 kB)
- Kapitel 4:
PDF (160 kB)
- Kapitel 5:
PDF (173 kB)
Voraussetzungen
- Kenntnisse im Umfang der Veranstaltung
Grundlagen der Informatik I
Literatur
- K. Erk, L. Priese.
Theoretische Informatik.
Springer 2000.
- R. Graham, D. Knuth, O. Patashnik.
Concrete Mathematics.
Addison-Wesley 1994.
- J. Gruska.
Foundations of Computing.
International Thomson Computer Press 1997.
- H. Hermes.
Aufzälbarkeit, Entscheidbarkeit, Berechenbarkeit.
Springer 1978.
- J. Hopcroft, J. Ullman.
Introduction to Automata Theory, Languages, and Computation.
Addison-Wesley 1979.
- A. Salomaa.
Formale Sprachen.
Springer 1978.
- D. Wätjen.
Theoretische Informatik.
Oldenbourg 1994.
|