Grundlagen der Theoretischen Informatik II

Lehrbeauftragter:	Prof. Dr. Till Mossakowski
Semester:	Sommersemester 2015
Wochenstunden:	2 SWh Vorlesung, 2 SWh Übung
Zuhörerkreis:	Bachelor INF 4. Semester; MA, CMA, 6. Semester
Voraussetzungen:	Grundlagen der Theoretischen Informatik I
Prüfung:	durch Klausur am 13. Juli 2015, 11:00–13:00 Uhr, in G16-H5
Unbenoteter Schein:	durch Klausur am 13. Juli 2015, 11:00–13:00 Uhr, in G16-H5
Klausuranmeldung:	über das Onlineportal HISQIS , vom 23. Mai 2015 bis 23. Juni 2015.

Inhalt: Grundlagen der Theoretischen Informatik II ist die Fortführung der Vorlesung Grundlagen der Theoretischen Informatik I. Das Motto lautet „Vertiefen, Erweitern und Ergänzen“ des Stoffes des ersten Teils. Also geht es wiederum um Komplexitätstheorie, Berechenbarkeitstheorie, formale Sprachen und Automatentheorie.

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 50% der Übungsaufgaben müssen am Ende des Semesters votiert worden sein.
- Mindestens zweimal muss man in den Übungen eine Lösung erfolgreich vorgestellt haben.
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 Sommersemester und für das folgende Wintersemester. Gelingt es nicht, eine dieser beiden Klausuren zu bestehen, verfällt die Zulassung zur Teilnahme an der Scheinklausur.
Zulassungen für die Teilnahme an der Scheinklausur (unbenotete Leistung), die in vergangenen Semestern erreicht wurden, gelten nicht für diese Vorlesung.

Klausur: am Montag, dem 13. Juli 2015, im Hörsaal 5 (G16-H5) von 11:00 bis 13:00 Uhr.
Damit pünktlich begonnen werden kann, sind die Plätze spätestens 15 Minuten vor Beginn einzunehmen.
Es sind keine Hilfsmittel zugelassen, Papier und Schreibutensilien sind mitzubringen.

Aktuelle Informationen:

Für die Übungsgruppen 3 und 4 findet die Übung am Donnerstag, dem 9. Juli 2015, gemeinsam im Raum G05-312 statt.
Die Vorlesungen finden ab jetzt planmäßig donnerstags von 9:00 bis 10:45 Uhr (inkl. Pause) im Raum G02-111 statt.
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)

Übungsblätter:

Übung 1 (16. KW), Übung 2 (17. KW), Übung 3 (18. KW), Übung 4 (19. KW), Übung 5 (20./21. KW), Übung 6 (21./22. KW),
Übung 7 (23. KW), Übung 8 (24. KW), Übung 9 (25. KW), Übung 10 (26. KW), Übung 11 (27. KW), Übung 12 (28. KW).

Zur Lehreseite der Forschungsgruppe Theoretische Informatik

Webmaster