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 bwin娱乐_bwin娱乐官网欢迎您@wochen 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 bwin娱乐_bwin娱乐官网欢迎您@wochen 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