Grundbegriffe der Informatik, Vorlesung, WS 2019/20

Dr. Thomas Worsch
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...
This data repository is not currently reporting usage information. For information on how your repository can submit usage information, please see our documentation.