Dies sind die archivierten Webseiten des Lehrstuhls für Programmierung und Softwaretechnik (PST).
Die Seiten des Software and Computational Systems Lab (SoSy) finden Sie auf https://www.sosy-lab.org/.

Informatik IV

Inhalt

Die Vorlesung behandelt Grundlagen der Theoretischen Informatik: Sie gibt Einführungen in die Theorie der formalen Sprachen und Automaten sowie in die Berechenbarkeits- und Komplexitätstheorie.

Die Vorlesung wendet sich an Studierende im Haupt- und Nebenfach Informatik. Der Schein gilt für die Diplom-Vorprüfung im Haupt- und Nebenfach Informatik.

Scheinerwerb

Der Scheinerwerb ist wie folgt geregelt: Es finden zwei Klausuren statt, in denen jeweils 20 Punkte erworben werden können. Die Note berechnet sich aus der Summe der Punkte. Um einen Schein zu erhalten, sind insgesamt mindestens 17 Punkte zu erreichen.

Aktuelles

  • Die Online-Evaluierung ist noch bis zum 29.7. freigeschaltet und wird danach ausgewertet.
  • Die Klausureinsicht der 2. Klausur wird am 30.7.2007 von 16:00-17:00 im Raum E0.3, Oettingenstr. 67 durchgeführt.
  • 2. Klausur: 19.7, 17:00, B201 im Hauptgebäude. Wie in der ersten Klausur ist die Bearbeitungszeit 90 Minuten, und es dürfen Ausdrucke und handschriftliche Notizen verwendet werden
  • Die Übung am 27.6., 9 Uhr fällt aus.
  • Die Klausureinsicht wird am 20.6.2007 von 17-18 Uhr im Raum E0.3, Oettingenstr. 67 durchgeführt.
  • 1. Klausur: Am 6.6, 18:00 Uhr, in Raum C122. Anmeldung bitte per UniWorx bis zum 5.6., 17:00. Bitte bringen Sie Studenten- und Lichtbildausweis mit. Die Bearbeitungszeit ist 90 Minuten; es dürfen Ausdrucke und handschriftliche Notizen verwendet werden.
  • 27.4.2007: Die Freitagsübung beginnt zukünftig um 9:30 Uhr.