Theoretische Grundlagen der Informatik 1 (TheGI1)

Typ: Vorlesung + Übung/Tutorium
SWS: 4
Credit Points: 6
Homepage:

Kursbeschreibung / -kommentar

[ab WiSe 0809]

Es geht um Mathematische Grundlagen für Informatiker in 3 Teilen:
1. Basismathematik (Mengen, Relationen, Funktionen, Äquivalenzen, Beweistechniken, ...)
2. Algebraische Strukturen (Klassik, Sigma-Algebren, Homomorphismen, Kongruenzen, ...)
3. Formale Sprachen (Chomsky-Hierarchie, Grammatiken, reguläre Ausdrücke, ...)

im WiSe 12/13 letztmalig von mir angeboten

im WiSe 13/14 vertreten durch Prof. Kreutzer

ab WiSe 14/15 ersetzt durch das Modul "Formale Sprachen und Automaten"