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 2020/21
Aktuelle Anzahl der Teilnehmenden 47
Heimat-Einrichtung Softwaremethodik für verteilte Systeme
Veranstaltungstyp Vorlesung in der Kategorie Lehre
Erster Termin Freitag, 06.11.2020 14:15 - 15:45, Ort: (digital)
Online/Digitale Veranstaltung Veranstaltung wird online/digital abgehalten.
Hauptunterrichtssprache deutsch
ECTS-Punkte 6

Räume und Zeiten

(digital)
Freitag: 14:15 - 15:45, wöchentlich (11x)

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 dass 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.