Institut für Theoretische Informatik, Algorithmik

Theoretische Grundlagen der Informatik

Allgemeines

  • Termine: in der Regel
    • dienstags um 11.30-13.00 Uhr im Gerthsen-HS (30.21) und
    • donnerstags um 11.30-13.00 Uhr im Gerthsen-HS (30.21)
    • Vorlesungs- und Übungstermine sind unten im Terminplan angegeben.
    • Die Nachklausur wird am 22.08.2017 stattfinden.
    • Klausuranmeldung ist geöffnet.
    • Vorzeitiges Abmelden von der Klausur ist bis 15.08.2017 online, im Sekretariat und bei den Übungsleitern und am 22.08.2017 direkt vor der Klausur möglich.

Nachklausur

Die Klausurergebnisse sind nun Verfügbar. Die Einsicht findet am 05.09 von 16 - 18 Uhr in Raum R301 in Gebäude 50.34 statt.
Studenten mit einem “Ja” oder „?“ in der Spalte “Mündliche Prüfung” melden sich bitte im Sekretariat sekr [dash] wagner [at] ira [dot] uka [dot] de.

Hauptklausur

Die mündlichen Nachprüfungen finden am 24.05 und 01.06 statt. Studenten mit einem “X” in der Spalte “Mündliche Prüfung” melden sich bitte im umgehend Sekretariat sekr [dash] wagner [at] ira [dot] uka [dot] de. Termine werden nach dem Prinzip „first come, first serve“ vergeben.
Die Klausurergebnisse sind nun Verfügbar. Die Einsicht findet am 26.04 und 27.04 jeweils von 16 - 19 Uhr in Raum R301 in Gebäude 50.34 statt. Um die Wartezeiten bei beiden Klausureinsichten möglichst kurz zu halten, bitten wir Sie, sich an die folgende zeitliche Einteilung nach Hörsälen zu halten.
16:00- 17:00 Gerthsen & Daimler
17:00-18:00 Audimax
18:00-19:00 Benz & Tulla

.

Aktuelles

  • Übung 7 und Vorlesungsfolien online. Folie 13 der Übung wurde korrigiert.
  • Wer auf den Übungsblättern insgesamt mindestens 107 Punkte erreicht, bekommt den Klausurbonus.

Inhalt der theoretischen Informatik

Im Gegensatz zu anderen Grundstudiumsvorlesungen werden in der theoretischen Informatik Themen behandelt, die weiter von den Anwendungen entfernt sind. Es geht um prinzipielle Fragestellungen, d. h. Fragen, die unabhängig von „Programmierungsaspekten“ oder „konkreten Rechnern“ sind: Gibt es Aufgaben, die von einem Rechner — unabhängig von der Art der Programmierung beziehungsweise von physikalischen und elektronischen Beschränkungen — nicht gelöst werden können? Welche Aufgaben können prinzipiell effizient (in vernünftiger Rechenzeit, mit vernünftigem Speicherplatzbedarf) gelöst werden?

Literatur

  • Ingo Wegener, Theoretische Informatik, B.G. Teubner Verlag Stuttgart, 1993
  • Uwe Schöning, Theoretische Informatik - kurzgefasst, Hochschultaschenbuch, Spektrum Akademischer Verlag, 1997
  • R. Garey und D. S. Johnson, Computers and Intractibility: A Guide to the Theory of NP-Completeness, W. H. Freeman, New York, 1979
  • Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, Introduction to Algorithms, The MIT press, 1997, 2001.
  • Alexander Asteroth, Christel Baier, Theoretische Informatik: eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen, Pearson Studium, 2002, ISBN 3-8273-7033-7
  • Martin Werner: Information und Codierung, VIEWEG TEUBNER, 2008, ISBN 978-3-8348-0232-3.

Vorlesungs-/Übungstermine

Dienstags Donnerstags
18.10. Vorlesung 20.10. Vorlesung
25.10. Übung 27.10. Vorlesung
01.11. —- 03.11. Vorlesung
08.11. Übung 10.11. Vorlesung
15.11. Übung 17.11. Vorlesung
22.11. Vorlesung 24.11. Vorlesung
29.11. Übung 01.12. Vorlesung
06.12. Vorlesung 08.12. Übung
13.12. Vorlesung 15.12. Vorlesung
20.12. Übung 22.12 Vorlesung
Weihnachtsferien
10.01. Vorlesung 12.01. Vorlesung
17.01. Übung 19.01.
24.01. Vorlesung 26.01. Vorlesung
31.01. Übung 02.02. Vorlesung
07.02. Vorlesung 09.02. Übung

Änderungen vorbehalten!

Skript

Hier gibt's das Skript zur Vorlesung.

Übung, Übungsblätter und Tutorien

Neue Übungsblätter werden voraussichtlich zu jeder Übung veröffentlicht. Die Aufgaben sollen schriftlich bearbeitet und die handschriftlichen Lösungen in den mit „Theoretische Grundlagen der Informatik“ beschrifteten Einwurfschlitz im Keller des Informatik-Hauptgebäudes (50.34) eingeworfen werden. Es gilt der Abgabetermin, der direkt auf dem Übungsblatt steht.
Die Bearbeitung und Abgabe der Aufgaben kann dabei in Zweiergruppen erfolgen! (Wichtig: Dazu ist bitte darauf zu achten, dass beide Studenten im selben Tutorium sind.) Ausgedruckte oder kopierte Lösungsblätter werden NICHT akzeptieren, das heißt, es müssen handschriftliche Lösungen abgegeben werden. Für abgeschriebene Lösungen gibt es keine Punkte!!!
Die Aufgaben werden von den Tutoren korrigiert und in den Tutorien der Folgewochen zurückgegeben. Die Lösungen zu den Übungsblättern werden im Tutorium besprochen.

Beschriftung der Übungsblätter

Bitte nutzen Sie den WebInScribe Deckblattgenerator, und heften Sie das Deckblatt an Ihre Abgabe.

Falls Sie das Deckblatt nicht ausdrucken können, bitten wir Sie, die Blätter zusammenzuheften und das Deckblatt nach folgendem Muster zu beschriften:

[Tacker] Theoretische Grundlagen der Informatik Tut.nr.
Übungsblatt n Name1, Vorname1 (Matrikelnummer1)
Name2, Vorname2 (Matrikelnummer2)

Klausurbonus

Ein bestandener Übungsschein kann als Bonus auf die Haupt- oder Nachklausur angerechnet werden. Wer auf den Übungsblättern insgesamt mindestens 107 Punkte erreicht, bekommt den Klausurbonus. Dies gilt jedoch nur für Übungsscheine, die im WS 16/17 erworben werden. Übungsscheine aus zurückliegenden Semestern werden nicht anerkannt. Ebenso gibt es keine Garantie, dass Übungsscheine aus dem WS 16/17 in späteren TGI-Klausuren anerkannt werden.
Studierende, die die Vorlesung bereits gehört, jedoch die Klausur noch nicht geschrieben haben und ihren alten Übungsschein nicht mehr anrechnen können, haben die Möglichkeit, sich im WS 16/17 erneut für ein Tutorium einzutragen und die Übungsblätter erneut zu bearbeiten.

Klausur und Klausurvorbereitung

Alte Klausuren (Informatik III, Haupt-/Nachklausur 10/11)

Klausur Lösung
2016/17 Hauptklausur Klausur mit Lösung
2015/16 Hauptklausur Klausur mit Lösung
2015/16 Nachklausur Klausur mit Lösung
2014/15 Hauptklausur Klausur ohne Lösung Klausur mit Lösung
2014/15 Nachklausur Klausur ohne Lösung Klausur mit Lösung
2011/12 Hauptklausur Klausur ohne Lösung Klausur mit Lösung
2011/12 Nachklausur Klausur ohne Lösung Klausur mit Lösung
2010/11 Hauptklausur Klausur ohne Lösung Klausur mit Lösung
2010/11 Nachklausur Klausur ohne Lösung Klausur mit Lösung
2007/08 Hauptklausur Klausur ohne Lösung Klausur mit Lösung
2007/08 Nachklausur Klausur ohne Lösung Klausur mit Lösung
2004/05 Hauptklausur Klausur ohne Lösung Klausur mit Lösung
2004/05 Nachklausur Klausur ohne Lösung Klausur mit Lösung
2003/04 Hauptklausur Klausur ohne Lösung Klausur mit Lösung
2003/04 Nachklausur Klausur ohne Lösung Klausur mit Lösung