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 Klausur wird am 3. April von 11:00-13:00 Uhr stattfinden.
    • Klausuranmeldung für die Hauptklausur ist bis zum 27.3 möglich. Nachträgliche Anmeldungen sind nicht möglich.

Hauptklausur

  • Die Hauptklausur findet am 03.04.2017 um 11:00 Uhr statt (siehe Termine)
  • Die Bearbeitungszeit beträgt 2 Stunden
  • Die Klausur wird über mehrere Hörsäle verteilt geschrieben. Nach Anmeldeschluss wird bekannt gegeben wer in welchem Hörsaal schreibt.
  • Die Aufgaben werden alle auf Deutsch gestellt.
  • Es sind keine Hilfsmittel zugelassen.
  • Bringen Sie Ihren Studentenausweis und Personalausweis und einen dokumentenechten Stift mit in die Klausur.

Anmeldung zur Hauptklausur

  • Der Anmeldeschluss für die Hauptklausur (Termin 03.04.17) ist am 27.03.17. Eine Anmeldung zur Hauptklausur ist nach Anmeldeschluss nicht mehr möglich!
  • Die Anmeldung erfolgt in der Regel online über das Studierendenportal.
  • Schülerstudenten können sich mit einem formlosen Schreiben anmelden (unterschrieben im Sekretariat abgeben).

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.

Übungsblatt Lösung Ausgabe Abgabe bis
Blatt 1 Lösung 20.10.2016 08.11.2016
Blatt 2 Lösung 08.10.2016 15.11.2016
Blatt 3 Lösung 15.11.2016 29.11.2016
Blatt 4 Lösung 29.11.2016 08.12.2016
Blatt 5 Lösung 09.12.2016 20.12.2016
Blatt 6 Lösung 22.12.2016 17.01.2017
Blatt 7 Lösung 17.01.2016 31.01.2017
Blatt 8 Lösung 31.01.2017 09.02.2017

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)