Lehrveranstaltung / Subject
INFB2500 - Theoretische Informatik I
Beschreibung / Curriculum
Logische Grundlagen - Grundbegriffe formaler Sprachen - Chomsky-Grammatiken - Endliche Automaten - Kellerautomaten - Turingmaschinen - Zusammenhang der Sprachen, Grammatiken und Maschinen - Berechenbarkeit - Entscheidbarkeit - Komplexitätstheorie - NP-Vollständigkeit
Zielsetzung der Lehrveranstaltung - erwartetes Lernergebnis und zu erwerbende Befähigungen / Objective of the course
Vermittlung der theoretischen Grundlagen der Informatik, um im Beruf Aufgabenstellungen fundiert und präzise analysieren und bearbeiten zu können sowie Grenzen und Möglichkeiten von Lösungen abschätzen zu können. Befähigung, theoretische Erkenntnisse und Problemlösungskonzepte in die Praxis umzusetzen und dort einzusetzen. Schulung des analytischen und logischen Denkens in fa
Lehrmethoden / Teaching methods
2V+0Ü+2L+0S
Bewertungsmethoden / Assessment methods
M 30
Empfohlene Literatur / Recommended reading
Cap C, Theoretische Grundlagen der Informatik, Springer, 1993; Posthoff C, Schultz K, Grundkurs Theoretische Informatik, Teubner, 1992; Hopcroft J, Ullman J, Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie, Addison-Wesley, 1992; weitere Literatur wird während der Veranstaltung bekannt gegeben
Sprache der Ausbildung / Language of Instruction
deutsch, englisch möglich
Semester-Wochenstunden / Credits
im 2. Semester:
2 Vorlesungs-/Übungsstunden / 2 Labor-/Seminarstunden
Prüfungen/ Examinations
ECTS-Kreditpunkte / ECTS credits: 5
Verantwortlicher Fachvertreter / Lecturer
Prof. Dr. rer. nat. Gudrun Falkner
|
Druckversion