Theoretische Informatik 1 (Wintersemester 2016/17)

Vortragender: Prof. Dr. Thomas Schneider

V2Ü2, 1. Semester

Vorlesung: Mo 14–16 MZH 1380/1400

Kurzbeschreibung

Die Theoretische Informatik beschäftigt sich auf systematische Weise und unter Verwendung mathematischer Mittel mit zentralen Fragen der Informatik und stellt eine wichtige Grundlage für viele andere Teilgebiete der Informatik dar. Sie besteht aus mehreren Teildisziplinen, von denen in dieser hauptsächlich die Automatentheorie und die Theorie der formalen Sprachen behandelt werden. Dabei stehen sogenannte Wörter im Mittelpunkt, mit deren Hilfe viele Objekte der Informatik wie z.B. Programme und verschiedene Datenstrukturen beschrieben werden können. Eine formale Sprache ist dann einfach eine Menge von Wörtern. Wir studieren verschiedene Mittel, um formale Sprachen zu beschreiben (insb. Automaten und Grammatiken), untersuchen Eigenschaften von wichtigen Klassen formaler Sprachen und studieren zentrale algorithmische Probleme, die im Zusammenhang mit Wörtern und formalen Sprachen stehen.

Skript und Folien

... werden zu gegebener Zeit in Stud.IP zugänglich gemacht.

Auf Inhalte, die über das Skript hinausgehen, wird in der Vorlesung explizit hingewiesen. Diese sollten dann mitgeschrieben werden. Hier etwas zum Thema: wie liest man einen mathematischen Text?

Organisation der Tutorien

Die Tutorien beginnen in der zweiten Vorlesungswoche (ab 24.10.16). Die Einschreibung in die Tutorien erfolgt für Studierende im 1. Semester ab Mi 12.10.2016, 7:00 Uhr über eine gesonderte Veranstaltung in StudIP ("Tutoriumseinschreibung für Erstsemester"). Zur einfacheren Orientierung sind die IDs der Musterstundenpläne in der zweiten Spalte angegeben. Alle anderen Studierenden können sich ab Mo 17.10.2016, 16:00 Uhr in Stud.IP direkt in ein Tutorium eintragen. Es stehen die folgenden Termine für Tutorien zur Auswahl.

Tutorium    Stundenplan ID    Ort    Tutor(in)
Mo. 16–18 IM3 MZH 5210 Diren Senger
Di. 8–10 IM4 MZH 1110 Leif Sabellek M.Sc.
Di. 12–14 IM1 MZH 1110 Aaron Lye M.Sc.
Di. 16–18 IW3 MZH 1100 Luca Vajen
Di. 16–18 IM2 MZH 1110 Sascha Jongebloed
Mi. 10–12 IM5 MZH 5210 Dr. Sabine Kuske
Mi. 10–12 IW2 GW1-HS H1010 Leif Sabellek M.Sc.
Mi. 12–14 IM7 GW1 B0080 (im Lageplan genannt R0080) Robin Nolte
Do. 10–12 IW1/DSI GW1 B0100 (im Lageplan genannt R0100) Dr. Sabine Kuske
Do. 14–16 IM6 MZH 1110 Dr. Jean Christoph Jung

Aufgabenblätter

Im Stud.IP wird jeden Freitag ein Aufgabenblatt zur Verfügung gestellt. Die Aufgaben werden in Kleingruppen von 2–3 Personen bearbeitet und in den Tutorien gemeinsam besprochen. Ab dem zweiten Aufgabenblatt gibt es auch gewertete Aufgaben, deren Lösungen jeweils bis Montag 14:00 Uhr in das entsprechende Fach im Erdgeschoss des Cartesiums zur Korrektur abzugeben sind.

Literatur

AG Theorie der künstlichen Intelligenz   11. Jul. 2016  Thomas Schneider
Valid HTML 4.0 Transitional