|
Grundlagen der Logik in der Informatik (GLoIn)5 ECTS (englische Bezeichnung: Logic in Computer Science)
Modulverantwortliche/r: Lutz Schröder Lehrende:
Lutz Schröder
Studienfächer/Prüfungsordnungsmodule:
Einfrieren der UnivIS-Modul-Beschreibung: 16.8.2018
Grundlagen der Logik in der Informatik (75990)
Startsemester: |
WS 2018/2019 | Dauer: |
1 Semester | Turnus: |
jährlich (WS) |
Präsenzzeit: |
60 Std. | Eigenstudium: |
90 Std. | Sprache: |
Deutsch |
Lehrveranstaltungen:
-
-
Grundlagen der Logik in der Informatik
(Vorlesung, 2 SWS, Lutz Schröder, Do, 8:30 - 10:00, H11)
-
Übungen zu Grundlagen der Logik in der Informatik
(Übung, 2 SWS, Sergey Goncharov et al.)
-
Intensivübung zu Grundlagen der Logik in der Informatik (optional)
(Übung, 2 SWS, Ulrich Dorsch, Do, 18:15 - 19:45, 02.133-113)
Inhalt:
Aussagenlogik:
Prädikatenlogik erster Stufe:
Syntax und Semantik
Automatisches Schließen: Unifikation, Resolution
Quantorenelimination
Anwendung automatischer Beweiser
Formale Deduktion: Korrektheit, Vollständigkeit
Lernziele und Kompetenzen:
- Erwerb fundierter Kenntnisse zu den Grundlagen und der praktischen Relevanz der Logik mit besonderer Berücksichtigung der Informatik;
Verstehen und Erklären des logischen Schließens;
Einübung in das logische und wissenschaftliche Argumentieren, Aufstellen von Behauptungen und Begründungen;
Kritische Reflexion von Logikkalkülen, insbesondere hinsichtlich Entscheidbarkeit, Komplexität, Korrektheit und Vollständigkeit;
Erstellung und Beurteilung von Problemspezikationen (Kohärenz, Widerspruchsfreiheit) und ihre Umsetzung in Logikprogramme;
Beherrschung der praktischen Aspekte der Logikprogrammierung.
- Fachkompetenz
- Wissen
- Die Studierenden
– geben Definitionen zur Syntax und Semantik der verwendeten Logiken wieder
– beschreiben grundlegende Deduktionsalgorithmen
– geben Regeln der verwendeten formalen Deduktionssysteme wieder - Verstehen
- Die Studierenden
– erläutern das Verhältnis zwischen Syntax, Semantik und Beweistheorie der verwendeten Logiken
– erklären die Funktionsprinzipien grundlegender Deduktionsalgorithmen
– erläutern die Funktionsweise automatischer Beweiser
– erläutern grundlegende Resultate der Metatheorie der verwendeten Logiken und deren Bedeutung - Anwenden
- Die Studierenden
– wenden Deduktionsalgorithmen auf konkrete Deduktionsprobleme an
– formalisieren Anwendungsprobleme in logischer Form und verwenden automatische Beweiser zur Erledigung entstehender Beweisziele
– führen einfache formale Beweise manuell - Analysieren
- Die Studierenden führen einfache metatheoretische Beweise, inbesondere durch syntaktische Induktion
- Lern- bzw. Methodenkompetenz
- Die Studierenden beherrschen das grundsätzliche Konzept des Beweises als hauptsächliche Methode des Erkenntnisgewinns in der theoretischen Informatik. Sie überblicken abstrakte Begriffsarchitekturen.
- Sozialkompetenz
- Die Studierenden lösen abstrakte Probleme in Gruppenarbeit.
Literatur:
Schöning, U.: Logik für Informatiker.
Heidelberg: Spektrum Akademischer Verlag, 2000 Barwise, J., and Etchemendy, J.: Language, Proof and Logic;
CSLI, 2000. Huth, M., and Ryan, M.: Logic in Computer Science; Cambridge
University Press, 2000.
Weitere Informationen:
Schlüsselwörter: Automatisches Beweisen; Logik erster Stufe; Prädikatenlogik; Aussagenlogik; Resolution; Unifikation
www: https://www8.cs.fau.de/WS18:gloin
Studien-/Prüfungsleistungen:
Grundlagen der Logik für Informatiker (Prüfungsnummer: 30711)
zugeh. "mein campus"-Prüfung: | - 30711 Grundlagen der Logik in der Informatik (Klausur) (Gewichtung: 100.0 %, Prüfung, Form: Klausur, Drittelnoten (mit 4,3), Dauer: 90, 5 ECTS, Prüfung).
|
- Prüfungsleistung, Klausur, Dauer (in Minuten): 90, benotet
- Anteil an der Berechnung der Modulnote: 100.0 %
- weitere Erläuterungen:
Die im Rahmen der Übungen gestellten Übungsaufgaben können abgegeben werden und werden in diesem Fall bewertet. Auf Basis des Ergebnisses dieser Bewertungen können bis zu 15% Bonuspunkte erworben werden, die zu dem Ergebnis einer bestandenen Klausur hinzugerechnet werden.
- Erstablegung: WS 2018/2019, 1. Wdh.: SS 2019
1. Prüfer: | Lutz Schröder (100190) |
- Termin: 03.04.2019, 13:00 Uhr, Ort: Tentoria
Termin: 20.09.2019, 14:00 Uhr, Ort: H 7 TechF
Termin: 12.06.2020
Termin: 12.10.2020, 11:00 Uhr, Ort: Tentoria
|
![](/img/anew/void.gif) |
![](/img/anew/void.gif) |
|
UnivIS ist ein Produkt der Config eG, Buckenhof |
|
|