Grundbegriffe der theoretischen Informatik SS 10

Veranstaltungsnummer 040141
Titel Grundbegriffe der Theoretischen Informatik
Veranstalter Junior-Prof. Dr. Wim Martens
Übungsleiter Joscha Kulbatzki, Thomas Zeume
Klassifikation

Pflichtvorlesung im Bachelorstudiengang Informatik und im Diplomstudiengang Informatik

Semester Sommersemester 2010
SWS 6 (4V+2Ü)
Kreditpunkte 8 (im Bachelorstudiengang Informatik)
Ort und Zeit

dienstags, 10:15-12:00 Uhr, HG II, HS 6

donnerstags, 12:15-14:00 Uhr, HG II, HS 5

Querverbindungen DAP 2, Logik
Voraussetzungen Kenntnisse aus RS, DAP I und DAP II
Forum Inpud

Aktuelles

  • Klausurergebnisse (vom 28.09.2010)
  • Klausureinsicht 13.10.2010, um 14:00 Uhr, OH14-104

Logbuch

Hier finden Sie Informationen zum Verlauf der Vorlesung

Übungsblätter

Hier finden Sie die Übungsblätter und die Beispiellösungen.

Klausuren und mündliche Prüfungen

Hier finden Sie die Klausur- und Prüfungstermine und alle wichtigen Informationen.

Übungsgruppen

Hier finden Sie Nummern, Termine und Räume der Übungsgruppen:

Tutorium

Hier finden Sie die Ort, Zeit und Themen des Tutoriums

Inhalt

Die Vorlesung "Grundbegriffe der theoretischen Informatik" besteht aus zwei Teilen.

Der erste Teil beschäftigt sich mit formalen Sprachen. Im Mittelpunkt stehen die regulären und kontextfreien Sprachen. Beide Sprachklassen sind fundamental für die Syntax von Programmiersprachen. Grob gesagt, korrespondieren reguläre Sprachen zum Scannen eines Programmtextes, also der Zerlegung des Zeichenstroms in einzelne Strings. Die kontextfreien Sprachen entsprechen dem Parsen, also der strukturellen Analyse des Programmtextes.

Literatur

Die Vorlesung richtet sich im Wesentlichen nach den folgenden Büchern: