Grundbegriffe der Informatik, Übung, WS 2016/17, 09.12.2016, 15

15 | 0:00:00 Starten 0:01:12 Aufgabe 3.6 0:23:38 Aufgabe 3.5 0:45:35 Aufgabe 3.3 1:14:43 Aufgabe 3.2 - Algorithmen informell, Grundlagen des Nachweises ihrer Korrektheit, Berechnungskomplexitat, 'schwere' Probleme, O-Notation, Mastertheorem - Alphabete, Worter, formale Sprachen, endliche Akzeptoren, kontextfreie Grammatiken - induktive/rekursive Definitionen, vollstandige und strukturelle Induktion, Hullenbildung - Relationen und Funktionen - Graphen - Syntax und Semantik fur Aussagenlogik Weiterfuhrende Literatur - Goos: Vorlesungen uber Informatik, Band 1, Springer, 2005 - Abeck: Kursbuch Informatik I, Universitatsverlag Karlsruhe, 2005 Ziel: 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 Fahigkeit haben, sie im Zusammenhang mit der Beschreibung von Problemen und Beweisen anzuwenden.