EN
Modul
Grundbegriffe der Informatik [M-INFO-101170]
Leistungspunkte
6Turnus
Jedes WintersemesterDauer
1 SemesterSprache
DeutschLevel
1Version
1Verantwortung
Einrichtung
- KIT-Fakultät für Informatik
Bestandteil von
Teilleistungen
Identifier | Name | LP |
---|---|---|
T-INFO-101964 | Grundbegriffe der Informatik | 6 |
T-INFO-101965 | Grundbegriffe der Informatik Übungsschein | 0 |
Erfolgskontrolle(n)
Siehe Teilleistung
Qualifikationsziele
- 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
Voraussetzungen
Siehe Teilleistung
Inhalt
- 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
Arbeitsaufwand
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
Lehr- und Lernformen
2 SWS Vorlesung, 1 SWS Übung, 2 SWS Tutotium