Hauptinhalt
Topinformationen
Mitarbeiterverzeichnis
Logik für Informatiker:innen
Prof. Dr. Till Mossakowski
Veranstaltungstyp: Vorlesung und Übung
TeilnehmerInnen:
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.
Erstes Treffen:
Mittwoch, 30.10.2024 12:00 - 14:00, Ort: 93/E31
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
Semester: WiSe 2024/25
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
Leistungsnachweis:
Veranstaltungsnummer:
6.624
ECTS-Kreditpunkte:
6
Bereichseinordnung:
Veranstaltungen > Informatik > Bachelor Informatik Veranstaltungen > Informatik > Vorlesungen
Prof. Dr. Till Mossakowski
Veranstaltungstyp: Vorlesung und Übung
TeilnehmerInnen:
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.
Erstes Treffen:
Mittwoch, 30.10.2024 12:00 - 14:00, Ort: 93/E31
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
Semester: WiSe 2024/25
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
Leistungsnachweis:
Veranstaltungsnummer:
6.624
ECTS-Kreditpunkte:
6
Bereichseinordnung:
Veranstaltungen > Informatik > Bachelor Informatik Veranstaltungen > Informatik > Vorlesungen
