| |
Grundlagen der Informatik II
Dozent
- Martin Kutrib
Zeit und Raum
- Vorlesung:
- Montag, 12-14 Uhr, Hörsaal H IV, Physik, Heinrich-Buff-Ring 14
- Donnerstag, 12-14 Uhr, Hörsaal H IV, Physik, Heinrich-Buff-Ring 14
- Beginn: 12. April 2010
- Übung:
Andreas Malcher
- Donnerstag, 8-10 Uhr, Hörsaal P516b, Heinrich-Buff-Ring 16
- Donnerstag, 10-12 Uhr, Hörsaal P516b, Heinrich-Buff-Ring 16
- Donnerstag, 14-16 Uhr, Hörsaal P516b, Heinrich-Buff-Ring 16
- Beginn: 15. April 2010
Prüfung
- Die Zugangsdaten entsprechen jeweils denen des Skripts.
- Evaluation
- Evaluationsergebnisse
- Klausur
- Die Klausur fand am Donnerstag, 22.7.2010, von 12.00 bis 14.00 Uhr
in den Hörsälen H III und H IV , Physik, Heinrich-Buff-Ring 14 statt.
- Wiederholungsklausur
- Die Wiederholungsklausur fand am Donnerstag, 14.10.2010, von 12.00 bis
14.00 Uhr im Hörsaal des Mathematischen Instituts,
Arndtstr. 2 statt.
- Ergebnisse
- Die Klausuren können vormittags im Sekretariat des Instituts
für Informatik in der Arndtstr. 2, Raum 27, eingesehen werden.
Zielgruppe
Die Veranstaltung richtet sich in erster Linie an Studierende
der Bachelor-Studiengänge Mathematik, Physik
und Geographie 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
- Kapitel 1:
PDF (226 kB)
- Kapitel 2:
PDF (156 kB)
- Kapitel 3:
PDF (264 kB)
- Kapitel 4:
PDF (163 kB)
- Kapitel 5:
PDF (177 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.
|