Fakultät für Informatik - Technische Universität München Lehrstuhl für Effiziente Algorithmen

Einführung in die Theoretische Informatik (SS 07)

• Dozent:
  Prof. Dr. Ernst W. Mayr

• Modul: IN0011

• Bereich:
  4 SWS Vorlesung + 2 SWS Tutorübung im Grundstudium Informatik
  Pflichtvorlesung

• Zeit und Ort:
  Montag, 10:15 - 11:45, Hörsaal MI HS 1
  Freitag, 08:00 - 09:30, Hörsaal MI HS 1

• Übung: 2 SWS Tutorübung zur Vorlesung
  Übungsleitung: Dr. W. Meixner

• Klausuren:
  

  Mittelklausur:	Samstag, 02. Juni 2007	10-12 Uhr	MW 2001
  Endklausur:	Samstag, 21. Juli 2007	10-12 Uhr	MW 2001
  Wiederholungsklausur:	Mittwoch, 10. Oktober 2007	13.30-16.30 Uhr	MW 2001

  Voraussetzung zum Erwerb des Leistungsnachweises/Zulassung zur Klausur ist, dass bei den Hausaufgaben mindestens 40% der erreichbaren Punkte erzielt werden.

  Bei den Klausuren sind keine Hilfsmittel außer einem handbeschriebenen DIN-A4-Blatt zugelassen.

  Klausureinsicht: Donnerstag, 02.08.2006, 10:00-12:00, Raum 03.11.018.
  
  Für die Klausureinsicht ist eine formlose Anmeldung per Email bis spätestens Dienstag, den 31.Juli, 16.00 Uhr an die Übungsleitung erforderlich mit Angabe Ihrer Matrikelnummer. Sie bekommen dann in einer Antwortmail am Mittwoch, den 1.August die genaue Zeit genannt, zu der Sie am Donnerstag dann Ihre Klausur einsehen können.

• Anmeldung zu den Klausuren:
  Für die Teilnahme an den Klausuren sind grundsätzlich Anmeldungen erforderlich.
  
  • Alle Klausurteilnehmer müssen sich über das Grundstudiumstool anmelden (mit dem gleichen Zertifikat wie zur Übungsanmeldung) für beide Teile der Klausur (Mittelklausur und Endklausur) über die folgende Adresse: https://grundstudium.in.tum.de/
    Anmeldezeitraum: 15. Mai - 29. Mai 2007.
    Aus organisatorischen Gründen (Hörsaalaufteilung, ...) benötigen wir eine getrennte Anmeldung auch für den zweiten Teil der Klausur (Endklausur) im
    Anmeldezeitraum: 2. Juli - 17. Juli 2007.
  • Für bestimmte Gruppen von Studierenden (Studierende des neuen Bachelorstudiengangs Informatik, usw. siehe http://wwwpa.in.tum.de/generell/pranmSS07.html) ist für diese Klausur gleichermaßen eine Anmeldung auch im Prüfungsverwaltungssystem HIS-POS bzw. HISQIS erforderlich (https://qis.tum.de). Die betroffenen Studierenden wurden mit E-mail des Studiensekretariats bereits informiert.
    Die Anmeldung mit HISQIS erfolgt im Zeitraum 14. Mai - 25. Mai 2007.
  • Die Anmeldung im Grundstudiumstool für die Wiederholungsklausur am 10. Oktober 2007 erfolgt im Zeitraum 26. September - 8. Oktober 2007.

• Hörerkreis:
  Studierende im Grundstudium der Informatik

• ECTS: 8 Punkte

• Voraussetzungen:
  Einführung in die Informatik I/II

• Empfehlenswert für:
  Vordiplom

• Inhalt
  
• Weiterführende bzw. verwandte Vorlesungen:
  
  • Effiziente Algorithmen und Datenstrukturen
  • Automaten und Formale Sprachen
  • Entscheidbarkeit und Berechenbarkeit
  • Komplexitätstheorie

• Literatur:
  
  1. A.V. Aho, J.E. Hopcroft, J.D. Ullman:
     The Design and Analysis of Computer Algorithms, Addison-Wesley, 1976.
  2. A. Asteroth, Ch. Baier:
     Theoretische Informatik, Pearson Education, 2003.
  3. M. Broy:
     Informatik: eine grundlegende Einführung - Teil 4: Theoretische Informatik, Algorithmen und Datenstrukturen, Logikprogrammierung, Objektorientierung, Springer, 1996.
  4. Th.H. Cormen, Ch.E. Leiserson, R.L. Rivest, C. Stein:
     Introduction to Algorithms, 2nd ed., MIT Press, 2001.
  5. K. Erk, L. Priese:
     Theoretische Informatik: Eine umfassende Einführung, Springer, 2000.
  6. G. Goos:
     Vorlesungen über Informatik, Bd. 3, Berechenbarkeit, formale Sprachen, Spezifikationen, Springer, 1997.
  7. V. Heun:
     Grundlegende Algorithmen, Vieweg, 2000.
  8. J.E. Hopcroft, R. Motwani, J.D. Ullman:
     Einführung in die Automatentheorie, Formale Sprachen und Komplexitätstheorie, 2. Aufl., Pearson Education, 2002.
     Original: Introduction to Automata Theory, Languages, and Computation, 2nd ed., Addison-Wesley, 2001.
  9. Th. Ottmann, P. Widmayer:
     Algorithmen und Datenstrukturen, 3. Aufl., Spektrum Akademischer Verlag, 1996.
  10. U. Schöning:
      Theoretische Informatik - kurzgefasst, Spektrum Akademischer Verlag, 1997.
  11. I. Wegener:
      Theoretische Informatik, Teubner, 1993.
  12. B. Hollas:
      Grundkurs Theoretische Informatik mit Aufgaben und Prüfungsfragen, Spektrum Akademischer Verlag, 2007.

• Sprechstunde:
  siehe hier