Modul

Siehe Teilleistung

• Die Studierenden kennen grundlegende Definitionsmethoden und sind in der Lage, entsprechende Definitionen zu lesen und zu verstehen.
• Sie kennen den Unterschied zwischen Syntax und Semantik.
• Die Studierenden kennen die grundlegenden Begriffe aus diskreter Mathematik und Informatik und sind in der Lage sie richtig zu benutzen, sowohl bei der Beschreibung von Problemen als auch bei Beweisen

Siehe Teilleistung

• Algorithmen informell, Grundlagen des Nachweises ihrer Korrektheit
• Berechnungskomplexität, „schwere“ Probleme
• O-Notation, Mastertheorem
• Alphabete, Wörter, formale Sprachen endliche Akzeptoren, kontextfreie Grammatiken
• induktive/rekursive Definitionen, vollständige und strukturelle Induktion Hüllenbildung
• Relationen und Funktionen
• Graphen
• Syntax für Aussagenlogik und Prädikatenlogik, Grundlagen ihrer Semantik

Vorlesung: 15 x  1.5 h =  22.50 h      
Uebung: 15 x  0.75 h =  11.25 h      
Tutorium: 15 x  1.5 h =  22.50 h      
Nachbereitung: 15 x  2 h =  30.00 h      
Bearbeitung von Aufgaben: 14 x  3 h =  42.00 h      
Klausurvorbereitung: 1 x 49.75 h =  49.75 h      
Klausur: 2 x 1 h =   2.00 h

Summe 180 h

2 SWS Vorlesung, 1 SWS Übung, 2 SWS Tutotium