|
Grundlagen der Logik und Logikprogrammierung (GLoLoP)5 ECTS
Modulverantwortliche/r: Günther Görz Lehrende:
Günther Görz
Startsemester: |
SS 2011 | Dauer: |
1 Semester |
Präsenzzeit: |
60 Std. | Eigenstudium: |
90 Std. |
Lehrveranstaltungen:
-
-
Grundlagen der Logik und Logikprogrammierung
(Vorlesung, 2 SWS, Günther Görz, Mi, 10:15 - 11:45, K1, (außer Mi 13.7.2011); Einzeltermin am 13.7.2011, 10:15 - 11:45, HD)
-
Übungen zu Grundlagen der Logik und Logikprogrammierung
(Übung, 2 SWS, Richard Schaller)
-
Intensivübung zu Grundlagen der Logik und Logikprogrammierung (optional)
(Übung, 2 SWS, Richard Schaller et al., Mo, 16:00 - 18:00, E 1.11; Einzeltermin am 20.9.2011, 13:00 - 19:00, H10)
Inhalt:
1. Logisches Argumentieren
2. Quantoren
3. Relationen
4. Anfangsgründe von Prolog
5. Wahrheit
6. Klassische Logik
7. Logikkalküle
8. Prolog: Theoretische Grundlagen und Programmierpraxis
9. Fortgeschrittene Logikprogrammierung
10. Modellierung mit logischen Mitteln
11. Anwendungen der Logik in den Formalwissenschaften
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.
Literatur:
Inhetveen, R.: Logik - eine dialog-orientierte Einführung.
Leipzig: Edition am Gutenbergplatz, 2003
Schöning, U.: Logik für Informatiker.
Heidelberg: Spektrum Akademischer Verlag, 2000
Nilsson, U.; Maluszynski, J.: Logic, Programming and Prolog.
Hoboken, NJ: Wiley & Sons, 2nd edition, 1996 (on-line: pdf)
Blackburn, P.; Bos, J. Striegnitz, K.: Learn Prolog Now!
(Online-Kurs)
Buchausgabe in der Reihe: Texts in Computing, Vol. 7.
London: College Publications, 2006
Weitere Informationen:
www: http://www8.informatik.uni-erlangen.de/IMMD8/Lectures/LOGIK/
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)): 2. Semester
(Po-Vers. 2008 | Grundlagen- und Orientierungsprüfung | Module der Grundlagen- und Orientierungsprüfung Informatik | Grundlagen der Logik und Logikprogrammierung)
- Informatik (Bachelor of Arts (2 Fächer)): 2. Semester
(Po-Vers. 2010 | Grundlagen- und Orientierungsprüfung | Module der Grundlagen- und Orientierungsprüfung Informatik | Grundlagen der Logik und Logikprogrammierung)
- Informatik (Bachelor of Arts (2 Fächer)): 2. Semester
(Po-Vers. 2010 | Bachelorprüfung | Bachelor-Module Informatik | Grundlagen der Logik und Logikprogrammierung)
- Informatik (Bachelor of Science): 3. Semester
(Po-Vers. 2007 | Grundlagen- und Orientierungsprüfung | Grundlagen der Logik und Logikprogrammierung)
- Informatik (Bachelor of Science): 3. Semester
(Po-Vers. 2009s | Modulverzeichnis für Studienbeginn zum Sommersemester | Pflichtmodule | 3. Semester | Grundlagen der Logik und Logikprogrammierung)
- Informatik (Bachelor of Science): 3. Semester
(Po-Vers. 2009w | Modulverzeichnis für Studienbeginn zum Wintersemester | Pflichtmodule | 3. Semester | Grundlagen der Logik und Logikprogrammierung)
- Wirtschaftsinformatik (Bachelor of Science): 3. Semester
(Po-Vers. 100 | Bachelorprüfung | Bachelorphase Wirtschaftsinformatik | Pflichtbereich (Methodenkompetenz) | Grundlagen der Logik und Logikprogrammierung)
- Wirtschaftsinformatik (Bachelor of Science): 3. Semester
(Po-Vers. 2010 | Bachelorprüfung | Pflichtbereich (Methodenkompetenz) | Grundlagen der Logik und Logikprogrammierung)
Studien-/Prüfungsleistungen:
Grundlagen der Logik und Logikprogrammierung
- schriftlich, Dauer (in Minuten): 90, benotet
- weitere Erläuterungen:
Wir bieten Ihnen ein Bonuspunktesystem an, mit dem Sie die Note einer bestandenen Klausur um maximal einen Notenwert verbessern können: In jedem Monat wird in einer Stunde jeweils eine benotete Aufgabe gestellt, in der Sie maximal drei Punkte entsprechend einer Drittelnotenstufe erwerben können.
- Erstablegung: SS 2011, 1. Wdh.: WS 2011/2012
Grundlagen der Logik und Logikprogrammierung - Übungen
- Leistungsschein, benotet
- Erstablegung: SS 2011, 1. Wdh.: WS 2011/2012
|
|
|
|
UnivIS ist ein Produkt der Config eG, Buckenhof |
|
|