|
-
Modulverantwortliche/r: Lutz Schröder
Lehrende:
Lutz Schröder
Startsemester: |
WS 2013/2014 | Dauer: |
1 Semester |
Präsenzzeit: |
60 Std. | Eigenstudium: |
90 Std. | Sprache: |
Deutsch und Englisch |
Lehrveranstaltungen:
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:
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/ws13:glolop
Verwendbarkeit des Moduls / Einpassung in den Musterstudienplan:
- Wirtschaftsinformatik (Bachelor of Science): 3. Semester
(Po-Vers. 2010 | Bachelorprüfung | Pflichtbereich (Methodenkompetenz) | weitere Pflichtmodule | Grundlagen der Logik und Logikprogrammierung)
Dieses Modul ist daneben auch in den Studienfächern "Informatik (Bachelor of Arts (2 Fächer))", "Informatik (Bachelor of Science)" verwendbar. Details
Studien-/Prüfungsleistungen:
Grundlagen der Logik und Logikprogrammierung (Prüfungsnummer: 30701)
- Prüfungsleistung, Klausur, Dauer (in Minuten): 90, benotet
- Anteil an der Berechnung der Modulnote: 100.0 %
- weitere Erläuterungen:
In die Klausurnote fließen die Leistungen aus dem Übungsbetrieb in Form eines Bonus ein.
- Erstablegung: WS 2013/2014, 1. Wdh.: SS 2014
- Termin: 20.03.2014, 16:00 Uhr, Ort: s. Aushang
Termin: 17.09.2014, 10:45 Uhr, Ort: K 1 TechF
Termin: 24.03.2015, 13:00 Uhr, Ort: H 8 TechF
Termin: 21.09.2015, 11:00 Uhr, Ort: H 14
|
|
|
|
UnivIS ist ein Produkt der Config eG, Buckenhof |
|
|