|
Grundlagen der Logik für Informatiker (GLoIn)5 ECTS (englische Bezeichnung: Logic for Computer Scientists)
Modulverantwortliche/r: Lutz Schröder Lehrende:
Lutz Schröder
Startsemester: |
WS 2015/2016 | Dauer: |
1 Semester | Turnus: |
jährlich (WS) |
Präsenzzeit: |
60 Std. | Eigenstudium: |
90 Std. | Sprache: |
Deutsch |
Lehrveranstaltungen:
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/WS15:gloin
Verwendbarkeit des Moduls / Einpassung in den Musterstudienplan: Das Modul ist im Kontext der folgenden Studienfächer/Vertiefungsrichtungen verwendbar:
- Informatik (Bachelor of Arts (2 Fächer))
(Po-Vers. 2010 | Grundlagen- und Orientierungsprüfung (GOP) | Grundlagen der Logik in der Informatik)
- Informatik (Bachelor of Arts (2 Fächer))
(Po-Vers. 2010 | weitere Pflichtmodule | Grundlagen der Logik in der Informatik)
- Informatik (Bachelor of Arts (2 Fächer))
(Po-Vers. 2013 | weitere Pflichtmodule | Grundlagen der Logik in der Informatik)
- Informatik (Bachelor of Science)
(Po-Vers. 2007 | Grundlagen- und Orientierungsprüfung (GOP) | Grundlagen der Logik in der Informatik)
- Informatik (Bachelor of Science)
(Po-Vers. 2009s | weitere Pflichtmodule | Grundlagen der Logik in der Informatik)
- Informatik (Bachelor of Science)
(Po-Vers. 2009w | weitere Pflichtmodule | Grundlagen der Logik in der Informatik)
- Wirtschaftsinformatik (Bachelor of Science)
(Po-Vers. 2010 | Pflichtbereich (Methodenkompetenz) | weitere Pflichtmodule | Informatik | Grundlagen der Logik in der Informatik)
Studien-/Prüfungsleistungen:
Grundlagen der Logik für Informatiker (Prüfungsnummer: 30711)
- 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 2015/2016, 1. Wdh.: SS 2016
- Termin: 22.03.2016, 11:00 Uhr, Ort: s. Aushang
Termin: 23.09.2016, 16:00 Uhr, Ort: H 8 TechF
Termin: 04.04.2017, 13:00 Uhr, Ort: Tentoria
Termin: 22.09.2017, 14:30 Uhr, Ort: H 7 TechF
|
|
|
|
UnivIS ist ein Produkt der Config eG, Buckenhof |
|
|