Vorlesung: Grundlagen der Logik und Logik-Programmierung
(G. Görz)
Zeit und Ort: Mi. 8:15-9:45, H4
Sprechstunde Prof. Görz: Mo., 11:30-12:30 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:
-
-
Richard Schaller, 852-9910
-
richard.schaller at informatik.uni-erlangen.de
-
Sprechstunde: n.V., Raum 3.007, Haberstr. 2
Gliederung der Vorlesung und Folien
Das Merkblatt zur Vorlesung [pdf]
- Einleitung: Logisches Argumentieren
(Folien
Einleitung [pdf]
---
Zur Webseite [pdf] ---
Kap.1 [pdf]
2auf1
Einleitung [pdf]
---
Zur Webseite [pdf] ---
Kap.1 [pdf] )
- Quantoren
(Folien
Kap.2 [pdf]
2auf1
Kap.2 [pdf] )
Ein Beispieldialog verbalisiert:
Perle42 glänzt
- Relationen
(Folien
Kap.3 [pdf]
2auf1
Kap.3 [pdf] )
- Anfangsgründe von Prolog
(Folien
Kap.4 [pdf]
2auf1
Kap.4 [pdf] )
- Wahrheit
(Folien
Kap.5 [pdf] )
Ergänzung: Einige Dialoge / Colosseum
[pdf]
2auf1
Kap.5 [pdf] )
Ergänzung: Einige Dialoge / Colosseum
[pdf] )
- Klassische Logik
(Folien
Kap.6 [pdf]
2auf1
Kap.6 [pdf] )
- Logikkalküle
(Folien
Kap.7 [pdf]
2auf1
Kap.7 [pdf] )
- Prolog: Theoretische Grundlagen
(Folien
Kap.8 [pdf]
2auf1
Kap.8 [pdf] )
- Fortgeschrittene Logikprogrammierung
Folien
Kap.9 [pdf]
2auf1
Kap.9 [pdf] )
- Modellierung mit logischen Mitteln
(Folien
Kap.10 [pdf]
2auf1
Kap.10 [pdf] )
- Anwendungen der Logik in den Formalwissenschaften
(Folien
Kap.11 [pdf]
2auf1
Kap.11 [pdf] )
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
- Bornat, R.: Proof and Disproof in Formal Logic. An
Introduction for Programmers.
Oxford Texts in Logic,
Vol. 2. Oxford: Oxford University Press,
2005.
Cf.
Jape : Logik-Software!
- 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
- Heinemann, B., Weihrauch, K.: Logik für Informatiker.
Stuttgart: B.G. Teubner, 1991
- 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
- Hölldobler, S.: Logik und Logikprogrammierung. Band 1:
Grundlagen.
Heidelberg: Synchron, 2009
- 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
-
Dialogical Logic (Laurent Keiff, Stanford Encyclopedia of
Philosophy
-
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 Tutorial (J.R. Fisher, Cal Poly Pomona) [html]
--- enthält zahlreiche Programmbeispiele
-
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
- What modern logic is all about:
Johan van Benthem:
Logic in Philosophy.
In: Dale Jacquette, ed.: Handbook of the Philosophy of Logic,
Elsevier, Amsterdam, 2007
- Eine amüsante und informative Geschichte der modernen
Logik und der Grundlagenkrise der Mathematik:
Apostolos Doxiadis et al.:
Logicomix: Eine epische Suche nach Wahrheit.
Hamburg: Atrium-Verlag, 2009
- Auch ganz unterhaltsam:
Dan Cyran et al.: Logik, Ein Sachcomic Überlingen:
TibiaPress, 2010
- P. Schroeder-Heister, P. Contu:
Folgerung
aus: W. Spohn et al. (Hg.): Logik in der Philosophie.
Heidelberg, 2005
- John MacFarlane:
What Does it Mean to Say that Logic is Formal?
Ph.D. Dissertation, Pittsburgh, 2000
- Formal Methods
(World Wide Web Virtual Library)
- Mathematical Logic Around
the World
-
Logic Links
-
Links for Symbolic Logic (Peter Suber)
-
Factasia Logic
- Verschiedenes
Günther Görz
Last modified: Mon Apr 18 22:06:00 CET 2011