Hauptinhalt

Topinformationen

Logik für Informatiker:innen

6.624

Dozenten

Prof. Dr. Till Mossakowski

Beschreibung

Logik wird in der Informatik an vielen Stellen eingesetzt, und zwar immer da, wo etwas formal beschrieben werden soll (z.B. Wissen, Ontologien, Programmeigenschaften, Sprachen, Graphen, Netzwerkprotokolle, Agenten, ...). Insbesondere in der symbolischen und neurosymbolischen künstlichen Intelligenz spielt Logik eine große Rolle. Basierend auf logischen Beschreibungen ist es möglich, mittels Beweisen weiteren Wissen zu generieren. Außerdem kann man sogar in Logik direkt programmieren (vgl. Prolog), und das sehr problemnah.

Diese Vorlesung führt in die Prädikatenlogik erster Stufe ein, die in vieler Hinsicht grundlegend ist. Themen sind: Aussagen- und Prädikatenlogik, logische Formalisierung, logische Folgerung, Spiele zum Herausfinden von Wahrheitswerten, was ist ein Beweis?, Beweiskalküle, Korrektheit, Vollständigkeit, Anwendungen in der Informatik (u.a. Wissensrepräsentation, Prolog, KI).

Als Grundlage soll das Buch "Sprache, Beweis und Logik'' von Jon Barwise und John Etchemendy (CSLI Stanford) dienen. Es ist didaktisch sehr gut aufgebaut und beinhaltet zudem Lernsoftware, die es möglich macht, selbst am Computer Übungen zur Logik durchzuführen.

Weitere Angaben

Ort: 93/E31: Mi. 12:00 - 14:00 (14x), 93/E02: Mi. 14:00 - 16:00 (14x), 35/E21: Do. 10:00 - 12:00 (13x), 32/409: Fr. 10:00 - 12:00 (14x), 35/E01: Donnerstag, 06.03.2025 14:00 - 16:00
Zeiten: Mi. 12:00 - 14:00 (wöchentlich) - Vorlesung, Ort: 93/E31, Mi. 14:00 - 16:00 (wöchentlich) - Tutorium 1 (Gehrke), Ort: 93/E02, Do. 10:00 - 12:00 (wöchentlich) - Tutorium 2 (Tholen), Ort: 35/E21, Fr. 10:00 - 12:00 (wöchentlich) - Tutorium 3 (Tholen), Ort: 32/409, Termine am Donnerstag, 06.03.2025 14:00 - 16:00, Ort: 35/E01
Erster Termin: Mittwoch, 30.10.2024 12:00 - 14:00, Ort: 93/E31
Veranstaltungsart: Vorlesung und Seminar (Offizielle Lehrveranstaltungen)