Modulcode:	Inf-Sem-LogInf
Englische Bezeichnung:
Modulverantwortliche(r):	PD Dr. Henning Schnoor
Turnus:	unregelmäßig
Präsenzzeiten:	2S
ECTS:	4
Workload:	120 Std.
Dauer:	ein Semester
Modulkategorien:	Sem (BSc Inf)
Lehrsprache:	Deutsch
Voraussetzungen:

Kurzfassung:

In dem Seminar werden Anwendungen der Logik in der Informatik vorgestellt, und es wird auf algorithmische Aspekte von logischen Fragestellungen eingegangen.

Lernziele:

• Wissenschaftliche Inhalte selbständig erarbeiten und präsentieren

Lehrinhalte:

• Anwendungen von Logik in der Informatik
• Algorithmische Ansätze zur Lösung von logischen Problemen

Weitere Voraussetzungen:

Die Vorlesung "Logik in der Informatik" (Pflichtvorlesung im 4. Semester Bachelor Informatik) ist Voraussetzung für das Seminar.

Prüfungsleistung:

Bewertet wird der Seminarvortrag sowie die Antwort auf Fragen in der anschließenden Diskussion

Lehr- und Lernmethoden:

Die Inhalte sollen selbständig, jedoch mit Hilfestellungen, erarbeitet werden. Da keine Erfahrung mit dem Halten von Vorträgen vorausgesetzt wird, werden zu diesem Aspekt detaillierte konzeptionelle sowie technische Hinweise gegeben.

Verwendbarkeit:

BSc Informatik

Literatur:

wird noch bekannt gegeben, größtenteils (englischsprachige) Originalarbeiten, vereinzelt auch Kapitel aus Lehrbüchern

Verweise:

Kommentar: