Instituts-Logo Logik in der Informatik
Prof. Dr. Louchka Popova-Zeugmann (Gastprofessur)
Humboldt-Logo

Vorlesung Logik in der Informatik

Aktuelles  Einführung  Inhalt  Logbuch  Vorlesungsbetrieb  Übungsbetrieb  Aufgaben  Prüfung  Literatur Programmierung


Aktuelles

  • Die Klausureinsicht findet am Freitag den 03.05.2013 zwischen 11:00 und 12:00 Uhr im Raum 3.408 des Johann von Neumann-Hauses statt.
  • Die Ergebnisse der Klausur vom 04.04.2013 sind hier zu finden. Der Termin zur Einsichtnahme wird noch bekannt gegeben.
  • Die Ergebnisse der Klausur vom 25.02.2013 sind hier zu finden. Der Termin zur Einsichtnahme wird noch bekannt gegeben und voraussichtlich im kommenden Semester sein.


    Einführung

    Logik spielt ein grundlegende Rolle in vielen verschiedenen Bereichen der Informatik, etwa dem Schaltkreisentwurf, dem Software-Engineering, der künstlichen Intelligenz, der Datenbanken, und der theoretischen Informatik. Die Logik in der Informatik baut auf der mathematischen Logik auf, die sich etwa seit Ende des 19. Jahrhunderts herausgebildet hat. In den letzten 30 Jahren hat sich die Logik in der Informatik aber in eine eigenständige, von den Anwendungen bestimmte Richtung entwickelt.

    Die Vorlesung ist eine Einführung in die Logik und ihre Anwendungen in der Informatik. Darüber hinaus wird die logikbasierte Programmiersprache Prolog eingeführt.


    Inhalt

    Das folgende Inhaltsverzeichnis wird im Laufe der Vorlesung noch ergänzt und möglicherweise verändert.

    1. Einführung
      (im Format 4 Folien pro Seite)
    2. Aussagenlogik
      (im Format 4 Folien pro Seite)
    3. Logik-Programmierung
      (im Format 4 Folien pro Seite)
      Hier finden Sie die Prologprogramme aus der Vorlesung.
    4. Logik der 1.Stufe (vollst.)
      (im Format 4 Folien pro Seite)
    5. Grundlagen des automatischen Schließens
      (im Format 4 Folien pro Seite)

    Hier können sie den vollständigen Foliensatz herunterladen, (im Format 4 Folien pro Seite.)

    Neben den Folien wird auch die Tafel verwendet, insbesondere um Beispiele und Beweise zu entwickeln. Beachten Sie, dass alles in der Vorlesung besprochene Material (insbesondere auch das, was an der Tafel steht) und nicht nur das auf den Folien dargestellte prüfungsrelevant ist. Es ist deswegen wichtig, dass Sie sich zur Prüfungsvorbereitung Notizen machen.

    Die Folien wurden von Prof. Martin Grohe erstellt. Kleine Änderungen sind später durchgeführt worden.


    Logbuch

    Hier finden Sie (nach den Vorlesungen) Informationen zum Inhalt der einzelnen Vorlesungen und gelegentlich auch Korrekturen und sonstige Bemerkungen.


    Informationen zum Vorlesungsbetrieb

    Zeiten und Räume
    Montags 09-11 und mittwochs 09-11 im Schrödinger Zentrum (Rudower Chaussee 26), Raum 0.110
     
    Dozent
    Prof. Louchka Popova-Zeugmann (Gastprofessur) (Sprechstunde: Mittwoch 15 - 16 Uhr )


    Informationen zum Übungsbetrieb

    Ergänzend zu den Vorlesungen finden 2-stündige Übungen in kleinen Gruppen statt, in denen Fragen zur Vorlesung diskutiert und die Hausaufgaben besprochen werden.

    Melden Sie sich bitte bis zum 16.10.2012 mittels GOYA für eine Übungsgruppe an.

    Zeiten und Räume
    Eine Liste mit allen Übungsgruppen finden Sie hier.
     
    Übungsgruppenleiter/innen
    Jan Sürmeli (Sprechstunde: Dienstag 13-14 Uhr), R. 4.413
    Jan Sürmeli (Prolog-Sprechstunde: Dienstag 14-15 Uhr), R. 4.413
    Jörg Bachmann (Sprechstunde: Montag 11-12 Uhr), R.3.422
     
    Tutoren/innen
    Aziz Erkal Selman (Sprechstunde: Montag 11-13 Uhr), R.3.422
    Maria Tammik (Sprechstunde: Montag 14-15 Uhr), R.3.422


    Übungsaufgaben

    Insgesamt zwölf Aufgabenblätter werden im Laufe des Semesters ausgegeben. Jedes Übungsblatt enthält drei theoretische und eine praktische Übung. Die bearbeiteten Aufgaben müssen abgegeben werden und werden von unseren Tutoren korrigiert. Die Übungsblätter werden jeweils montags verteilt, die Lösungen müssen am Montag danach vor der Vorlesung abgegeben werden. Die praktischen Aufgaben müssen über GOYA abgegeben werden. Die theoretischen Aufgaben müssen schriftlich bearbeitet werden und werden Montags vor der Vorlesung eingesammelt. Sollte Ihnen die Abgabe vor der Vorlesung einmal nicht möglich sein, so können Sie Ihre Lösungen auch bis 9:15 Uhr am jeweiligen Montag in den Briefkasten vor dem Sekretariat des Lehrstuhls Logik in der Informatik (Raum 3.401 RUD 25) einwerfen.

    Obwohl es sicherlich sinnvoll ist, über die Aufgaben mit Kommilitonen/innen gemeinsam zu reden und nachzudenken, soll jede/r Student/in seine eigene Lösung aufschreiben und abgeben.

    Für den Erwerb eines Übungs- oder Teilnahmescheins müssen insgesamt 40% der erreichbaren Punkte erzielt werden. Der Erwerb eines Übungsscheins ist die Voraussetzung für die Teilnahme an der Klausur.

    Am 3.Dezember 2012 findet eine Klausur statt. Die erreichten Punkte werden für die Prüfungszulassung mitberechnet.


    Prüfung

    Die schriftliche Prüfung findet am 25.2.2013 von 10:00 bis 13:00 Uhr in den Räumen 0'115 und 0'110 im Schrödingerzentrum (Rudower Chaussee 26) statt. Einlass ab 9.45 Uhr.

    Eine Wiederholungsprüfung (ebenfalls als Klausur) findet am 04.4.2013 von 10:00 bis 13:00 Uhr in den Räumen 0'115 und 0'110 im Schrödingerzentrum (Rudower Chaussee 26) statt. Einlass ab 9.30 Uhr.


    Probeklausur


    Literatur

    Haupthema der Vorlesung ist die Logik. Folgende Bücher seien dazu zur Vertiefung des Vorlesungstoffes empfohlen:
    [B] S. Burris, Logic for Mathematics and Computer Science. Prentice Hall, 1998.
    [KK] M. Kreuzer, S. Kühling. Logik für Informatiker. Pearson, 2006.
    [S] U. Schöning, Logik für Informatiker. 5. Auflage, Spektrum Akademischer Verlag, 2000.
    Als Ergänzung seien auch noch folgende Bücher genannt:
    [C] P. J. Cameron, Sets, Logic and Categories. Springer Verlag, 1998.
    [vD] D. van Dalen, Logic and Structure. 4th Edition, Springer Verlag, 2004.
    [EFT] H.-D. Ebbinghaus, J. Flum, W. Thomas, Einführung in die Mathematische Logik. 5. Auflage, Spektrum Akademischer Verlag, 2007.
    [HR] M. Huth and M. Ryan, Logic in Computer Science – Modelling and Reasoning About Systems . 2nd Edition, Cambridge University Press, 2004.
    Im praktischen Teil der Vorlesung beschäftigen wir uns mit der Programmiersprache Prolog. Hier basiert die Vorlesung auf den folgenden beiden Büchern:
    [BBS] Patrick Blackburn, Johan Bos, Kristina Striegnitz, Learn PROLOG Now!. Kings College Publications, 2006. Online version.
    [SS] Ehud Shapiro, Leon Sterling, The Art of PROLOG: Advanced Programming Techniques. 2nd Edition, MIT Press, 1994.
    Auch hier ergänzend noch einige weitere Bücher:
    [DEC] Pierre Deransart, AbdelAli Ed-Dbali, Laurent Cervoni, Prolog: The Standard: Reference Manual. Springer Verlag, 1996.
    [CM] William F. Clocksin, Christopher S. Mellish, Programming in Prolog: Using the ISO Standard. 5th Edition, Springer Verlag, 2010.
    [Clo] William F. Clocksin, Clause and Effect: Prolog Programming for the Working Programmer. Springer Verlag, 1997.


    Programmierresourcen

    Wir verwenden in der Vorlesung SWI-Prolog. Ein Kurzanleitung für den Einstieg in SWI-Prolog finden Sie hier.


    Last modified: 9 Apr 2013
    PK
    Valid HTML 4.01!