Vorlesung: Grundlagen der Logik und Logik-Programmierung
(G. Görz)
Zeit und Ort: Di. 16:15-17:45, H9
Sprechstunde Prof. Görz: Mo., 11-12 oder n.V.; Haberstr. 2, 3.017
Für die Übungen zur Vorlesung gibt es eine
eigene Seite.
Fragen zu Inhalt und Organisation der Vorlesung und Übung bitte an:
-
-
Bernhard Schiemann, 852-8984
-
schiemann at informatik.uni-erlangen.de
-
Sprechstunde: n.V., Raum 03.007, Haberstr. 2
Gliederung der Vorlesung und Folien
Das Merkblatt zur Vorlesung [pdf]
- Einleitung: Logisches Argumentieren
(Folien 2auf1
Einleitung [pdf] ---
Zur Webseite [pdf] ---
Kap.1 [pdf] )
- Quantoren
- Relationen
- Anfangsgründe von Prolog
- Wahrheit
- Klassische Logik
- Logikkalküle
- Prolog: Theoretische Grundlagen
- Fortgeschrittene Logikprogrammierung
- Modellierung mit logischen Mitteln
- Anwendungen der Logik in den Formalwissenschaften
Verbindliche Sprachdefinition von Prolog
Programming Language Prolog (Standard)
Lehrbücher zur Vorlesung
- Vorrangig
- 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
(online als pdf-Datei verfügbar!)
Dort ist auch eine Druckfehlerliste zu finden.
- 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 Empfehlungen: Logik
- Barwise, J.; Etchemendy, J.:
Language, Proof,
and Logic.
CSLI Publications, New York: Seven-Bridges-Press, 2000
Deutsche Übersetzung:
Sprache, Beweis und Logik. Bd. 1: Aussagen- und
Prädikatenlogik. Bd. 2: Anwendungen und Metatheorie.
Paderborn: Mentis-Verlag, 2005
- Copi, I. M.: Einführung in die Logik.
UTB für Wissenschaft: Mittlere Reihe, 2031. München:
Fink, 1998
- van Dalen, D.: Logic and Structure Series:
Universitext. 4th ed., Berlin: Springer, 2004
- Davis, R. E.: Truth, Deduction, and Computation :
Logic and Semantics for Computer Science.
Principles of computer science series, New York: Computer Science
Press, 1989
- Fitting, M.: First-Order Logic and Automated Theorem-Proving.
New York: Springer, 1996
- Føllesdal, D.; Walløe, L.; Elster, J.:
Rationale Argumentation : Ein Grundkurs in Argumentations- und
Wissenschaftstheorie.
De-Gruyter-Studienbuch, Berlin u.a.: de Gruyter, 1988
- Hilbert, D.; Ackermann, W.: Grundzüge der theoretischen
Logik.
Die Grundlehren der mathematischen Wissenschaften,
27. Berlin: Springer, 5. Aufl., 1967
- Kreuzer, M.; Kühling, S.: Logik für Informatiker.
München: Pearson Studium, 2006
- Lover, R.: Elementary Logic For Software Development.
London: Springer, 2008
- Smullyan, R. M.: First-order Logic.
Ergebnisse der Mathematik und ihrer Grenzgebiete, 43. Berlin:
Springer, 1971
- Weitere Empfehlungen: Prolog
- Apt, K. R.: From Logic Programming to Prolog.
Prentice Hall international series in computer science,
London: Prentice-Hall, 1997
- Bratko, I.: PROLOG Programming for Artificial Intelligence.
International computer science series, Wokingham:
Addison-Wesley, 1990
- Covington, M. A.; Nute, D.; Vellino, A.: Prolog
Programming in Depth.
Upper Saddle River, NJ: Prentice Hall, 1997
- Deville, Y.: Logic Programming. Systematic Program Development.
Wokingham: Addison-Wesley Publishing Company, 1990
- Hogger, C. J.: Essentials of Logic Programming.
Graduate texts in computer science, 1. Oxford: Clarendon
Press, 1990
- O'Keefe, R. A.: The Craft of Prolog.
Cambridge, Mass.: MIT Press, 1990
- Nerode, A.; Shore, R. A.: Logic for Applications.
Graduate Texts in Computer Science, New York [u.a.]:
Springer, 2. ed., 1997
- Pereira, F.; Shieber, S.:
Prolog and Natural Language Analysis.
Stanford, CA: CSLI, Lecture Notes No. 10, 1987
(Millenium reedition von Microtone Publishing, Brookline,
MA, 2002, online als pdf-Datei verfügbar!)
- Shoham, Y.: Artificial Intelligence Techniques in Prolog.
San Francisco, Calif.: Morgan Kaufmann, 1994
Programmdateien zum Buch
- Sterling, L.; Shapiro, E.: The Art of PROLOG : Advanced
Programming Techniques.
Cambridge, Mass: MIT Press, 2. ed., 1994
- Handapparat zur Vorlesung mit weiterführender Literatur:
Nr. 2 in der Gruppenbibliothek Informatik
Nützliche Hinweise und Materialien
- Lernprogramme und Skripten
-
Logik für Informatiker
(Bernhard Beckert, Univ. Koblenz)
-
Logik mit Übungen (Timm Lampert, Univ. Bern)
--- "Sehr klassische" Einführung in die klassische Logik
mit einigen Software-Werkzeugen
-
Prolog Tutorial (Norbert Fuchs, Univ. Zürich)
[pdf]
--- sehr elementarer Überblick
-
Prolog. A Tutorial Introduction
(James Lu, Jerud J. Mead, Bucknell Univ.) [pdf]
-
Prolog for Software Engineering (Peter Reintjes)
[html]
(enthält zwei Fallstudien)
-
Description Logic Course (Enrico Franconi, FU Bozen)
[html/pdf]
(Computational Logics, Description Logics, Conceptual
Modelling, Databases, and Formal Ontologies)
-
Ontology Development 101: A Guide to Creating Your First
Ontology (Natalya F. Noy, Deborah L. McGuinness,
Stanford Univ.) [html/pdf]
-
A Practical Guide To Building OWL Ontologies With The
Protege-OWL Plugin (Matthew Horridge et al.,
Univ. of Manchester) [pdf]
- Logik-Software
- Logik-Programmierung, Prolog und "Computational Logic"
- Links
- Verschiedenes
Günther Görz
Last modified: Sun Oct 5 18:32:13 CEST 2008