Grundlagen der Theoretischen Informatik

Wintersemester 2014/2015

Lehrbeauftragter:	Prof. Dr. Till Mossakowski
Wochenstunden:	3 SWh Vorlesung, 2 SWh Übung
Zuhörerkreis:	Bachelor CV, INF, IngIF, WIF, 3. Semester; MA, CMA, 5. Semester
Voraussetzungen:	keine
Prüfung:	durch Klausur am 25. Februar 2015, 11:00–13:00 Uhr
Unbenoteter Schein:	durch Klausur am 25. Februar 2015, 11:00–13:00 Uhr
Klausuranmeldung:	über das Onlineportal HISQIS , vom 1. Dezember 2014 bis 18. Januar 2015.

Inhalt: Grundlagen der Theoretischen Informatik ist eine Pflichtveranstaltung im Bachelorbereich, die eine Einführung in Formale Sprachen, Automatentheorie, Berechenbarkeitstheorie und Komplexitätstheorie gibt. Im folgenden Sommersemester wird die Fortsetzungsveranstaltung Grundlagen der Theoretischen Informatik II gehalten, in der die Themen dieser Veranstaltung vertieft werden.

Ausgewählte Literatur: (Weitere Bücher werden in der Vorlesung genannt.)

H. Lewis, C. Papadimitriou. Elements of the Theory of Computation (2nd Edition). Pearson, Prentice Hall, 1997.
M. Sipser. Introduction to the Theory of Computation (2nd Edition). Cengage Learning, Thomson, Boston, 2005.
J. Hopcroft, R. Motwani, J. Ullmann. Einführung in die Automatentheorie, Formale Sprachen und Komplexitätstheorie (2., überarbeitete Auflage). Pearson Studium, München, 2002.
U. Schöning. Theoretische Informatik – kurzgefaßt. Spektrum, Heidelberg, 1997.

Zulassung zur Klausur:

Zu den Übungen gibt es wöchentlich Übungsaufgaben.
Es müssen zu Beginn jeder Übung Aufgaben votiert werden. Damit zeigt der/die Studierende dem Übungsleiter, dass er/sie bereit ist, bei Aufforderung zu den votierten Aufgaben vorzutragen (Lösungsvorschläge werden diskutiert, sie müssen nicht gleich perfekt richtig sein).
Für die Zulassung zur Klausur sind folgende Leistungen zu erbringen:
- Mindestens 2/3 der Übungsaufgaben müssen am Ende des Semesters votiert worden sein.
- Mindestens zweimal pro Semester muss man in den Übungen vorgetragen haben.
- Bestehen der Belegaufgabe (Abgabetermin: 15. Januar 2015, 8:30 Uhr).
Zulassungen, die in vergangenen Semestern erreicht wurden, gelten grundsätzlich nicht für diese Vorlesung.
Die in dieser Vorlesung erreichte Zulassung gilt für die Teilnahme an der Prüfungsklausur (benotete Leistung) oder an der Scheinklausur (unbenotete Leistung).
Die Zulassung für die Teilnahme an der Scheinklausur (unbenotete Leistung) gilt nur für dieses Wintersemester und für das folgende Sommersemester.
Gelingt es nicht, eine dieser beiden Klausuren zu bestehen, verfällt die Zulassung zur Teilnahme an der Scheinklausur.

Klausur:

Eine Möglichkeit zur Klausureinsicht besteht am Donnerstag, dem 9. April 2015, von 12:45 bis 15:15 Uhr im Raum G29-224.

Aktuelle Informationen:

Bei Fragen und Problemen wenden Sie sich bitte per E-Mail an theorie (at) cs.uni-magdeburg.de.

Vorlesungsfolien:

Vorlesung 1 (Druckversionen: 1x1, 2x4)
Vorlesung 2 (Druckversionen: 1x1, 2x4)
Vorlesung 3 (Druckversionen: 1x1, 2x4)
Vorlesung 4 (Druckversionen: 1x1, 2x4)
Vorlesung 5 (Druckversionen: 1x1, 2x4)
Vorlesung 6 (Druckversionen: 1x1, 2x4)
Vorlesung 7 (Druckversionen: 1x1, 2x4)

Vorlesung 8 (Druckversionen: 1x1, 2x4)

Vorlesung 9 (Druckversionen: 1x1, 2x4)

Vorlesung 10 (Druckversionen: 1x1, 2x4)

Vorlesung 11 (Druckversionen: 1x1, 2x4)

Vorlesung 12 (Druckversionen: 1x1, 2x4)

Vorlesung 13 (Druckversionen: 1x1, 2x4)

Vorlesung 14 (Druckversionen: 1x1, 2x4)

Übungsblätter:

Übung 1 (43. KW), Übung 2 (44. KW), Übung 3 (45. KW), Übung 4 (46. KW), Übung 5 (47. KW), Übung 6 (48. KW),
Übung 7 (49. KW), Übung 8 (50. KW), Übung 9 (51. KW), Belegaufgabe (Abgabetermin: 15. Januar 2015, 8:30 Uhr),
Übung 10 (3. KW), Übung 11 (4. KW), Übung 12 (5. KW).

Zur Lehreseite der Forschungsgruppe Theoretische Informatik

Webmaster