Modulcode:	Inf-TGI-2F
Englische Bezeichnung:	Theoretische Grundlagen der Informatik (2F)
Modulverantwortliche(r):	Prof. Dr. Dirk Nowotka
Turnus:	jedes Jahr
Präsenzzeiten:	6V 3Ü
ECTS:	12
Workload:	90 Std. Vorlesung, 45 Std. Präsenzübung, 225 Std. Selbststudium
Dauer:	zwei Semester
Modulkategorien:	2F-MA Inf P (2F-MA Inf)
Lehrsprache:	Deutsch
Voraussetzungen:	Inf-I1-2FNF Inf-I2-2F

Kurzfassung:

Lernziele:

• Mathematischen Modellieren und formalisieren.
• Mathematische Beweise entwickeln.
• Fundamentale Konstruktionen und Sachverhalte aus der Automaten-, der Berechenbarkeits- und der Komplexitätstheorie mathematisch präzise erklären.
• Einfache Probleme aus den genannten Gebieten exakt lösen.

Lehrinhalte:

• Mengentheoretische Grundlagen
• Logische Grundlagen
• Allgemeine direkte Produkte
• Mathematische Beweise
• Spezielle Funktionen und Relationen
• Elementare Kombinatorik
• Algebraische Strukturen
• Automatentheorie und die Theorie formaler Sprachen
• Berechenbarkeitstheorie
• Komplexitätstheorie

Weitere Voraussetzungen:

Die in der Beschreibung der Module Inf-I1-2FNF und Inf-I2-2F aufgeführten Lernziele.

Prüfungsleistung:

Prüfungsgespräch

Lehr- und Lernmethoden:

Verwendbarkeit:

Literatur:

R. Berghammer: Mathematik für Informatiker: Grundlegende Begriffe und Strukturen, Springer, Berlin, 2014

M. Sipser: Introduction to the Theory of Computation, 3rd ed., Cengage Learning, Boston, 2013

Verweise:

Kommentar: