Digicampus
Lecture: Logik für Informatiker - Details
You are not logged into Stud.IP.
Lehrveranstaltung wird als Hybrid/gemischt abgehalten.

General information

Course number INF-0155
Semester WS 2021/22
Current number of participants 42
Home institute Resource Aware Algorithmics
Courses type Lecture in category Teaching
First date Wed , 20.10.2021 10:15 - 11:45, Room: (https://uni-augsburg.zoom.us/j/99071716667?pwd=dUVIVkNhMVVCRGdHekFVL3BlRVNBQT09)
Learning organization 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.
Performance record 100-minütige Klausur
Online/Digitale Veranstaltung Veranstaltung wird als Hybrid/gemischt abgehalten.
Hauptunterrichtssprache deutsch
ECTS points 6

Course location / Course dates

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

Module assignments

Comment/Description

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.

Admission settings

The course is part of admission "Zeitgesteuerte Anmeldung: Logik für Informatiker".
Settings for unsubscribe:
  • The enrolment is possible from 01.08.2021, 00:00 to 31.10.2021, 23:59.