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

  • Der Übungsbetrieb startet am 21.10.2013.

  • 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)

    Die Vorlesung basiert auf einer Serie von Folien, die Sie (zu gegebener Zeit) durch Anklicken der einzelnen Kapitel herunterladen können.

    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. Dr. Louchka Popova-Zeugmann (Gastprofessur) (Sprechstunde: montags 15-16.00 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 .10.2013 mittels GOYA für eine Übungsgruppe an.

    Zeiten und Räume
    Eine Liste mit allen Übungsgruppen finden Sie hier.
     
    Übungsgruppenleiter/innen
    Jörg Bachmann (Sprechstunde: ), R.3.423
    Berit Grußien (Sprechstunde: nach Vereinbarung), R.3.423
     
    Tutoren/innen
    Phillipp Schoppmann (Sprechstunde: Mittwoch 13-14 Uhr), R.3.422
    Maria Tammik (Sprechstunde: Montag 15-16 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.


    Prüfung

    Die Ergebnisse der schriftlichen Klausur vom 10.04.2014 liegen nun vor und können hier eingesehen werden.

    Eine Klausureinsicht ist am Dienstag (06.05.2014) von 12:30 bis 13.30 in Raum 3.408 möglich.

    Die Ergebnisse der schriftlichen Klausur vom 24.02.2014 können hier eingesehen werden.


    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: 5 Sep 2013
    PK
    Valid HTML 4.01!