Modulcode:	A3.4
Englische Bezeichnung:
Modulverantwortliche(r):	Prof. Dr. phil. Otmar Spinas
Turnus:	jedes Jahr im WS (WS07/08 WS08/09 WS09/10)
Präsenzzeiten:	4V 2Ü
ECTS:	8
Workload:	240 Std.
Dauer:	ein Semester
Modulkategorien:	A (Sonstige)
Lehrsprache:	Deutsch
Voraussetzungen:

Kurzfassung:

Lernziele:

Viele Begriffe, Methoden und Techniken der Informatik sind logischer Natur. Das trifft zum Beispiel zu auf das Verhältnis zwischen Syntax und Semantik, den Begriff der Programm- bzw. Systemkorrektheit, die Formulierung von Datenbankanfragen, Grundlagen der Künstlichen Intelligenz und die Programmierung in logischen Programmiersprachen. Eine Berufsqualifizierung kann deshalb nicht ohne ein grundlegendes Wissen in mathematischer Logik erreicht werden. Die Studentinnen und Studenten sollen die Grundbegriffe und die fundamentalen Zusammenhänge der mathematischen Logik verstehen und ihre Bedeutung für die Informatik kennenlernen.

Lehrinhalte:

Es werden die folgenden Themen behandelt: Aussagenlogik, Prädikatenlogik, Syntax, Semantik, Formeln, Strukturen, Interpretationen, Kalküle, Korrektheit, Vollständigkeit.

Weitere Voraussetzungen:

Grundkenntnisse in Mathematik

Prüfungsleistung:

Aktive Mitarbeit in den Übungen, Modulprüfung in Form einer Klausur am Ende der Vorlesung.

Lehr- und Lernmethoden:

Verwendbarkeit:

Literatur:

Verweise:

Kommentar: