Logik
- Fakultät
Fakultät Ingenieurwissenschaften und Informatik (IuI)
- Version
Version 1 vom 07.01.2026.
- Modulkennung
11B1470
- Niveaustufe
Bachelor
- Unterrichtssprache
Deutsch
- ECTS-Leistungspunkte und Benotung
5.0
- Häufigkeit des Angebots des Moduls
unregelmäßig
- Dauer des Moduls
1 Semester
- Kurzbeschreibung
Logisches Schließen ist die zentrale Grundlage zum Erkenntnisgewinn. Durch eine formale Semantik können Aussagen und Herleitungen formalisiert werden. In dem Modul lernen Studierende die mathematische Fundierung verschiedener Logik-Begriffe und ihre praktische Anwendung in der Logik-Programmierung sowie durch regelbasierte Systeme. Durch die Zuordnung des Moduls zur Theoretischen Informatik, eröffnet dieses Modul gegebenenfalls die Möglichkeit, beim Übergang zu einem Masterstudium erhöhte Anforderungen an dieses Gebiet zu erfüllen.
- Lehr-Lerninhalte
- Syntax und Semantik der Aussagenlogik
- Syntax und Semantik der Prädikatenlogik
- Normalformen
- Logisches Schließen
- Unifikation
- Prolog
- Regelbasierte Systeme
- Gesamtarbeitsaufwand
Der Arbeitsaufwand für das Modul umfasst insgesamt 150 Stunden (siehe auch "ECTS-Leistungspunkte und Benotung").
- Lehr- und Lernformen
Dozentengebundenes Lernen Std. Workload Lehrtyp Mediale Umsetzung Konkretisierung 30 Vorlesung - 30 betreute Kleingruppen - Dozentenungebundenes Lernen Std. Workload Lehrtyp Mediale Umsetzung Konkretisierung 90 Veranstaltungsvor- und -nachbereitung -
- Benotete Prüfungsleistung
- mündliche Prüfung oder
- Hausarbeit
- Unbenotete Prüfungsleistung
- experimentelle Arbeit
- Prüfungsdauer und Prüfungsumfang
Benotete Prüfungsleistung:
- Mündliche Prüfung: siehe Allgemeiner Teil der Prüfungsordnung
- Hausarbeit: mindestens 15 Seiten
Unbenotete Prüfungsleistung:
- Experimentelle Arbeit: wöchentliche Aufgabenblätter mit Übungsaufgaben
- Empfohlene Vorkenntnisse
gute Kenntnisse in objektorientierter Programmierung
Grundkenntnisse in der Entwicklung und Nutzung von Datenbanken
- Wissensverbreiterung
Die Studierenden, die dieses Modul erfolgreich studiert haben kennen verschiedene Wege Sachverhalte formal zu beschreiben und kennen die Konzepte der Logik-Programmierung.
- Wissensvertiefung
Die Studierenden, die dieses Modul erfolgreich studiert haben können Aussagenlogik und Prädikatenlogik zur Spezifikation einsetzen sowie logische Folgerungen systematisch ableiten.
- Wissensverständnis
Die Studierenden, die dieses Modul erfolgreich studiert haben können logische Zusammenhänge formalisieren und können mit logischen Regeln programmieren.
- Nutzung und Transfer
Die Studierenden, die dieses Modul erfolgreich studiert haben, können logische Zusammenhänge formalisieren und können mit die mit Hilfe von logischen Regeln in Programme umsetzen.
- Kommunikation und Kooperation
Die Studierenden, die dieses Modul erfolgreich studiert haben können informelle von formalen Argumentationen unterscheiden und die Unterschiede erklären.
- Wissenschaftliches Selbstverständnis / Professionalität
Die Studierenden, die dieses Modul erfolgreich studiert haben können die Einsatzmöglichkeiten deduktiver Systeme einschätzen und können die Grenzen der Einsatzmöglichkeiten von Logik bewerten.
- Literatur
Schöning, U, Logik für Informatiker, Spektrum Verlag, 2000
Zegarelli, M., Logik für Dummies, Wiley, 2016
Apt, K., de Boer, F., Olderog, E.-R., Verification of Sequential and Concurrent Programs, Springer, 2010
Clocksin, W. F., Programming in Prolog, Springer, 1990
Bramer, M., Logic Programming with Prolog, Springer, 2013
Salatino, M., De Maio, M.; Mastering JBoss Drools, Packt Publishing, 2016
- Verwendbarkeit nach Studiengängen
- Informatik - Medieninformatik
- Informatik - Medieninformatik B.Sc. (01.09.2025)
- Informatik - Technische Informatik
- Informatik - Technische Informatik B.Sc. (01.09.2025)
- Modulpromotor*in
- Kleuker, Stephan
- Lehrende
- Kleuker, Stephan