12.2K

Grundbegriffe der Informatik, Vorlesung, WS 2018/19

Dr. Thomas Worsch | Karlsruher Institut für Technologie (KIT), Institut für Anthropomatik und Robotik | http://liinwww.ira.uka.de/~thw/

Beschreibung:
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 und Semantik für Aussagenlogik

Lernziele:
Der/die Studierende soll grundlegende Definitionsmethoden erlernen und in die Lage versetzt werden, entsprechende Definitionen zu lesen und zu verstehen.
den Unterschied zwischen Syntax und Semantik kennen.
die grundlegenden Begriffe aus diskreter Mathematik und Informatik kennen und die Fähigkeit haben, sie im Zusammenhang mit der Beschreibung von Problemen und Beweisen anzuwenden.

Lehrinhalt:
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

Arbeitsaufwand:
Vorlesung: 22.5 h = 15 x 1.5 h
Nachbereitung: 18.75 h = 15 x 1.25 h
Uebung: 11.25 h = 15 x 0.75 h
Tutorium: 22.5 h = 15 x 1.5
Bearbeitung von Aufgaben 14 h = 14 x 1 h
Klausurvorbereitung: 29 h = 29 x 1 h
Klausur: 2 h
Summe: 120 h

Literaturhinweise:
Keine.

Weiterführende Literatur
Goos: Vorlesungen über Informatik, Band 1, Springer, 2005
Abeck: Kursbuch Informatik I, Universitätsverlag Karlsruhe, 2005
Dr. Thomas Worsch | Karlsruher Institut für Technologie (KIT), Institut für Anthropomatik und Robotik | http://liinwww.ira.uka.de/~thw/

Beschreibung:
Algorithmen informell, Grundlagen des Nachweises ihrer Korrektheit
Berechnungskomplexität, '...
Play all

Loading...

to add this to Watch Later

Add to

Loading playlists...