Digicampus
Vorlesung: Logik für Informatiker - Details
Sie sind nicht in Stud.IP angemeldet.
Lehrveranstaltung wird online/digital abgehalten.

Allgemeine Informationen

Veranstaltungsname Vorlesung: Logik für Informatiker
Semester WS 2019/20
Aktuelle Anzahl der Teilnehmenden 70
Heimat-Einrichtung Grundlagen des Software & Systems Engineering
Veranstaltungstyp Vorlesung in der Kategorie Lehre
Erster Termin Donnerstag, 17.10.2019 11:30 - 13:45, Ort: (2045 N)
Online/Digitale Veranstaltung Veranstaltung wird online/digital abgehalten.
Hauptunterrichtssprache deutsch
ECTS-Punkte 6

Räume und Zeiten

(2045 N)
Donnerstag: 11:30 - 13:45, wöchentlich (15x)

Kommentar/Beschreibung

In der Logik untersucht man streng formal die Gesetze
unseres exakten Denkens. Logik hat in der Informatik
besondere Bedeutung gewonnen: Sie findet Verwendung in
der Verifikation von Systemen wie Programmen oder
Schaltkreisen; dabei soll die Verifikation zumindest
durch Computer geprüft werden können, so daß eine
formale Notation von Nöten ist. Ferner gibt es
Theorembeweiser, die (mehr oder weniger) selbständig
Sätze beweisen. In der Logikprogrammierung entspricht
ein berechneter Beweis dem Ablauf eines Programms.

Diese Vorlesung behandelt Aussagenlogik und die
Grundlagen der Prädikatenlogik erster Stufe, sowie die
Programm- und Systemverifikation mit Hoare-Logik und
temporale Logik.