Logik für Informatiker

Logik für Informatiker
mit dem Kurs
01825
Logik für Informatiker
Durchführung: letztmals SS 2016
Arbeitsaufwand:
300 Stunden
ECTS-Punkte:
10
Häufigkeit:
letztmals SS 2016
Dauer Modul:
ein Semester
SWS: 4+2
Detaillierter studentischer Arbeitsaufwand:
Bearbeiten der Kurseinheiten 168 Stunden
Bearbeiten der Einsendeaufgaben 56 Stunden
Studientage, Prüfungsvorbereitung 76 Stunden
Inhalt:
Im Kurs werden Begriffe, Resultate und Methoden der mathematischen Logik
vorgestellt, die in verschiedenen Gebieten der Informatik wie z.B. "abstrakte
Semantik", "Programmverifikation", "logische Programmierung" oder "künstliche
Intelligenz" Anwendung finden. Im ersten Kapitel werden zunächst im Rahmen der
Aussagenlogik grundlegende Konzepte der mathematischen Logik behandelt. Den
größten Teil des Kurses nimmt die Prädikatenlogik erster Stufe ein. Es werden die
Syntax und die Semantik der prädikatenlogischen Sprache exakt eingeführt. Darauf
aufbauend wird eine Formalisierung des Folgerungsbegriffs vorgenommen. Hier
kommen logische Kalküle ins Spiel. Über Normalformen gewinnt man dann mit
Hilfe des Satzes von Herbrand die rekursive Aufzählbarkeit der allgemein gültigen
prädikatenlogischen Formeln. Dieses Resultat bildet das Zentrum des Kurses und
leitet über zur Theorie der logischen Programmierung. Nach einer Erörterung der
Logik mit Identität beschließt eine Diskussion der Ausdrucksstärke den Abschnitt
über die Prädikatenlogik. Den Abschluss des Kurses bildet eine Einführung in die
modale Logik und ihre Anwendungen in der Informatik. Von den zahlreichen
Ausprägungen der Modallogik wird die epistemische Logik - einschließlich des
Begriffs des Common Knowledge - etwas eingehender betrachtet.
Lernergebnisse / Kompetenzen:
Absolvierende des Moduls sind in der Lage
- Einsatzbereiche logischer Sprachen zu identifizieren
- logische Sprachen zur formalen Modellierung zu nutzen
- logische Begriffe zu definieren, einander gegenüberzustellen und hinsichtlich
praktischer Bedeutung zu interpretieren
- die algorithmische Quintessenz grundlegender Logik-Systeme herauszustellen
- Lösungsstrategien für Problemstellungen mit Logik-Bezug zu entwickeln
Literatur: Dassow, J., Logik für Informatiker, Teubner, 2005
Schöning, U., Logik für Informatiker, Spektrum, 2000
Heinemann, B., Weihrauch, K., Logik für Informatiker, Teubner, 1992
Inhaltliche Voraussetzungen:
Inhalt eines Grundkurses in theoretischer Informatik
Anmerkung:
Wird im SS 2016 letztmals angeboten, Prüfungen sind bis einschließlich SS 2017
möglich.
Vergabe von Leistungspunkten (Modulabschluss):
Prüfung:
bestandene benotete mündliche Modulprüfung
Master of Science in Informatik
01.12.2015
Stellenwert Note:
1/9
Voraussetzung Anmeldung Prüfung: keine
oder
Leistungsnachweis (LN):
bestandene Kursabschlussklausur oder bestandenes
Klausurersatzgespräch
Voraussetzung Anmeldung LN:
Modulverantwortliche/r: Bernhard Heinemann
Lehrende:
Bernhard Heinemann
Master of Science in Informatik
01.12.2015

Download Report