Hauptinhalt

Topinformationen

Aktuelle Veranstaltungen

Logik für Informatiker:innen

Veranstaltungstyp:Vorlesung und Seminar (Offizielle Lehrveranstaltungen)

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.

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
Erster Termin:Mittwoch, 30.10.2024 12:00 - 14:00, Ort: 93/E31

Veranstaltungsnummer:6.624

ECTS-Kreditpunkte:6