Lehrver­anstaltung

THI - Theoretische Informatik


PDF Lehrveranstaltungsverzeichnis English Version: THI

Version: 4 | Letzte Änderung: 25.01.2020 18:24 | Entwurf: 0 | Status: vom verantwortlichen Dozent freigegeben

Langname Theoretische Informatik
Anerkennende LModule THI_MaTIN
Verantwortlich
Prof. Dr. Hubert Randerath
Professor Fakultät IME
Niveau Master
Semester im Jahr Sommersemester
Dauer Semester
Stunden im Selbststudium 78
ECTS 5
Dozenten
Prof. Dr. Hubert Randerath
Professor Fakultät IME
Voraussetzungen Grundlagen der Automatentheorie und der Formalen Sprachen
Unterrichtssprache deutsch
separate Abschlussprüfung Ja
Literatur
keine/none
Abschlussprüfung
Details
mündliche Prüfung
Mindeststandard
Die grundlegende Beherrschung von Lehrveranstaltunginhalten muss gezeigt werden können
Prüfungstyp
mündliche Prüfung

Lernziele

Fertigkeiten
Die Bestimmung der Komplexität eines Algorithmus kann z.B. durch Analyse der Eingabeinstanz und des algorithmischen Kerns und Anwenden der O-Notation  vorgenommen werden.  Die Hartnäckigkeit eines algorithmischen Problems kann z.B. durch Anwenden einer geeigneten Reduktion auf ein etabliertes hartnäckiges Problem, wie beispielsweise dem aussagenlogischen Erfüllbarkeitsproblem, erreicht werden.
Aufwand Präsenzlehre
Typ Präsenzzeit (h/Wo.)
Vorlesung 2
Übungen (ganzer Kurs) 2
Übungen (geteilter Kurs) 0
Tutorium (freiwillig) 0
Besondere Literatur
keine/none
Besondere Voraussetzungen
keine
Begleitmaterial
- Theoretische Informatik, J. Hromkovic, Teubner-Verlag
- Theoretische Informatik - kurzgefasst, U. Schöning, Spektrum-Verlag
- Theoretische Grundlagen der Informatik, R. Solcher, Hanser-Verlag
Separate Prüfung
keine

© 2022 Technische Hochschule Köln