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

Allgemeine Informationen

Veranstaltungsname Vorlesung: Logik für Informatiker
Veranstaltungsnummer INF-0155
Semester WS 2021/22
Aktuelle Anzahl der Teilnehmenden 34
Heimat-Einrichtung Resource Aware Algorithmics
Veranstaltungstyp Vorlesung in der Kategorie Lehre
Erster Termin Mittwoch, 20.10.2021 10:15 - 11:45, Ort: (https://uni-augsburg.zoom.us/j/99071716667?pwd=dUVIVkNhMVVCRGdHekFVL3BlRVNBQT09)
Lernorganisation Die Vorlesung findet rein DIGITAL statt. Das Vorlesungsmaterial besteht aus Folien, einem Skript und Videoaufzeichnungen aus dem Wintersemester 2020/2021. Dieses Material wird den Teilnehmern vorab asynchron zur Verfügung gestellt für das Selbststudium zu Hause.

Die Vorlesung wird begleitet von Übungsblättern, die wöchentlich herausgegeben und zu Hause bearbeitet werden. Die Übungsblätter werden NICHT KORRIGIERT.

Einmal wöchentlich findet eine Übungsstunde statt, in der die Übungsaufgaben besprochen und Fragen zur Vorlesung geklärt werden. Die Übungsstunde findet IN PRÄSENZ statt, falls die Vorgaben dies erlauben, ansonsten digital via Zoom.
Leistungsnachweis 100-minütige Klausur
Online/Digitale Veranstaltung Veranstaltung wird als Hybrid/gemischt abgehalten.
Hauptunterrichtssprache deutsch
ECTS-Punkte 6

Räume und Zeiten

(https://uni-augsburg.zoom.us/j/93573944655?pwd=OVlRRFJTRTJzMmoxWFR4N0hvdGVRZz09)
Mittwoch: 10:15 - 11:45, wöchentlich (9x)
(1055 N)
Mittwoch: 10:15 - 11:45, wöchentlich (5x)
(https://uni-augsburg.zoom.us/j/99071716667?pwd=dUVIVkNhMVVCRGdHekFVL3BlRVNBQT09)
Mittwoch: 10:15 - 11:45, wöchentlich (1x)
(1002T)
Mittwoch, 02.03.2022 15:00 - 17:00

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.

Anmelderegeln

Diese Veranstaltung gehört zum Anmeldeset "Zeitgesteuerte Anmeldung: Logik für Informatiker".
Folgende Regeln gelten für die Anmeldung:
  • Die Anmeldung ist möglich von 01.08.2021, 00:00 bis 31.10.2021, 23:59.