Friedrich-Schiller-Universität Jena

Name des Moduls	[50330] Logiksysteme	Bezeichnung des Moduls	FMI-IN0033

Studiengang	[079] - Informatik	ECTS Punkte	6

Arbeitsaufwand für Selbststudium	120	Häufigkeit des Angebotes (Modulturnus)	unregelmäßig, siehe gegebenenfalls zusätzliche Informationen
Arbeitsaufwand in Präsenzstunden	60	Dauer des Moduls	1
Arbeitsaufwand Summe (Workload)	180

Modul-Verantwortliche/r	Martin Mundhenk
Voraussetzung für die Vergabe von Leistungspunkten (Prüfungsform)	Bestehen der Abschlussprüfung: Klausur oder mündliche Prüfung. Die Prüfungsform wird zu Beginn der Veranstaltung bekannt gegeben.
Zusätzliche Informationen zum Modul	Empfohlene Vorkenntnisse für das Modul: FMI-IN0013 (Diskrete Strukturen I): Grundlagen der Aussagenlogik Häufigkeit des Angebots (Zyklus): mindestens alle drei Jahre
Empfohlene Literatur	Kreuzer, Kühling: Logik für Informatiker, Pearson Studium, 2008 Nerode, Share: Logic for Applications. Springer, 1997 Huth, Ryan: Logic in Computer Science Cambrigde University Press, 2004
Voraussetzung für die Zulassung zum Modul	keine
Art des Moduls (Pflicht-, Wahlpflicht- oder Wahlmodul)	- 079 LA Regelschule Informatik: Wahlpflichtmodul (Algorithmik) - 079 LA Gymnasium Informatik: Wahlpflichtmodul (Algorithmik) - 079 LA RS (Erweiterung) Informatik (PO-V. 2020): Wahlpflichtmodul (Algorithmik) - 079 B.A. Informatik: Wahlpflichtmodul - 079 B.Sc. Informatik: Wahlpflichtmodul (TIA; Konto C: Mathematik/Informatik) - 105 B.Sc. Mathematik: Wahlpflichtmodul (Erweiterung: Angewandte Mathematik+Stochastik; Vertiefung: Algorithmik; ASQ; NF Informatik) - 105 M.Sc. Mathematik (PO-V. 2010): Wahlpflichtmodul (NF Informatik) - 184 B.Sc. Wirtschaftswissenschaften: Wahlpflichtmodul (IMS: Vertiefungsmodule d. FMI) - 679 B.Sc. Angewandte Informatik: Wahlpflichtmodul (TIA)
Zusammensetzung des Moduls / Lehrformen (V, Ü, S, Praktikum, …)	4 SWS Vorlesung/Übung
Inhalte	Logik wird unter dem Aspekt der Ausdrucksfähigkeit betrachtet. Es werden verschiedene logische Systeme vorgestellt. Es wird gezeigt, wiesich Probleme aus der Informatik in diesen Systemen beschreiben und algorithmisch bearbeiten lassen. Betrachtete Systeme sind z.B. Aussagenund Prädikatenlogik, Hornlogik, Modallogik, Temporallogik oder intuitionistische Logik.
Lern- und Qualifikationsziele	Kenntnis von verschiedenen Logiken und Algorithmen zum Lösen von Fragestellungen darin; Befähigung zum Modellieren von Fragestellungen der Informatik in passenden Logiken; Einsicht in Korrektheits- und Vollständigkeitsbeweise.
Voraussetzung für die Zulassung zur Modulprüfung	Die Kriterien (z.B. 50% der erreichbaren Punkte aus den Übungsaufgaben) werden zu Beginn der Veranstaltung bekannt gegeben.