Lehre - Lehrstuhl für theoretische Informatik

Theoretische Grundlagen der Informatik I

Link zum kommentierten Vorlesungsverzeichnis

Link zum Kurs in GRIPS

Im Modulkatalog

In der theoretischen Informatik werden komplizierte Konzepte und Bereiche der Informatik abstrakt, also mathematisch, dargestellt. Auf diesem Weg kann untersucht werden, welche Probleme sich gut von Computern lösen lassen und wo die Grenzen von Informatik liegen.

Inhalt

Alle Materialien zur Veranstaltung finden sich im GRIPS-Kurs. Inhaltlich ist das Modul in sechs Blöcke unterteilt:

• Mathematische Grundlagen
• Algorithmen und Berechnung
• Formale Sprachen
• Grundlagen der Logik
• Berechenbarkeit (und ihre Grenzen)
• Komplexität.

Vorlesung und Übungen

Die Vorlesung und die Zentralübung finden in ungeraden Kalenderwochen statt:

• Zentralübung: Mo 12:15 - 13:45 Uhr, H401
• Vorlesung: Mi 10:15 - 11:45 Uhr, H401
• Vorlesung: Do 10:15 - 11:45 Uhr, H401

Der Übungsbetrieb findet in geraden Kalenderwochen in fünf Gruppen statt:

• Gruppe 1: Mo 12:15 – 13:45, BA.621
• Gruppe 2: Mo 12:15 – 13:45, BA.607
• Gruppe 3: Di 14:15 – 15:45, BA.621
• Gruppe 4: Mi 8:15 – 09:45, BA.621
• Gruppe 5: Mi 8:15 – 09:45, BA.607

Modulprüfung

Das Modul ist bestanden, wenn die Abschlussklausur im Februar bestanden ist. Das Bearbeiten der Übungsaufgaben ist keine Pflicht, allerdings können Bonuspunkte für die Klausur erarbeitet werden.

Programmieren II

Der Kurs im kommentierten Vorlesungsverzeichnis

Theoretische Grundlagen der Informatik I

Der Kurs im kommentierten Vorlesungsverzeichnis