|
Grundlagen der Logik und Logikprogrammierung (GLoLoP)
- Dozent/in
- Prof. Dr.-Ing. Günther Görz
- Angaben
- Vorlesung
2 SWS, Kredit: 2,5, ECTS-Studium, ECTS-Credits: 2,5
für Anfänger geeignet, Frühstudium, geeignet als Schlüsselqualifikation, Sprache Deutsch
Zeit und Ort: Mi 08:15 - 09:45, H4
- Studienfächer / Studienrichtungen
- PF INF-BA-S 3
PF INF-BA-W 3
PF WINF-BA 3
- ECTS-Informationen:
- Title:
- Foundations of Logic and Logic Programming
- Credits: 2,5
- Prerequisites
- Proficiency in German
- Contents
- 1. Logisches Argumentieren
2. Quantoren
3. Relationen
4. Anfangsgründe von Prolog
5. Wahrheit
6. Klassische Logik
7. Logikkalküle
7. Prolog: Theoretische Grundlagen und Programmierpraxis
8. Fortgeschrittene Logikprogrammierung
9. Modellierung mit logischen Mitteln
10. Anwendungen der Logik in den Formalwissenschaften
- Literature
- 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
- Zusätzliche Informationen
- Erwartete Teilnehmerzahl: 133, Maximale Teilnehmerzahl: 120
www: http://www8.informatik.uni-erlangen.de/IMMD8/Lectures/LOGIK/
- Zugeordnete Lehrveranstaltungen
- UE: Intensivübung zu Grundlagen der Logik und Logikprogrammierung
-
Dozentinnen/Dozenten: Dipl.-Inf. Richard Schaller, Prof. Dr.-Ing. Günther Görz
Zeit und Ort: Di 18:00 - 19:30, 01.150-128, K2-119 www: http://www8.informatik.uni-erlangen.de/inf8/de/glolop_uebung
- UE: Übungen zu Grundlagen der Logik und Logikprogrammierung
-
www: http://www8.informatik.uni-erlangen.de/inf8/de/glolop_uebung
- Verwendung in folgenden UnivIS-Modulen
- Startsemester WS 2011/2012:
- Grundlagen der Logik und Logikprogrammierung (GLoLoP)
- Institution: Professur für Künstliche Intelligenz
|
|
|
|
UnivIS ist ein Produkt der Config eG, Buckenhof |
|
|