703026 VO Logik

Wintersemester 2018/2019 | Stand: 11.10.2019 LV auf Merkliste setzen
703026
VO Logik
VO 3
4,5
wöch.
jährlich
Englisch
Absolventinnen und Absolventen dieses Moduls verstehen Logik-kalküle und können diese anwenden. Sie haben die Fertigkeit erworben, sich ähnliche Inhalte selbst zu erarbeiten. Darüber hinaus sind sie in der Lage, zu abstrahieren und komplexe Probleme in formalen Kalkülen zu modellieren.
Aussagenlogik; Prädikatenlogik; Einführung in Beweissysteme; Kalküle des natürlichen Schließens für Aussagenlogik und Prädikatenlogik; binäre Entscheidungsdiagramme; Einführung in Verifikation und Model Checking

Vortrag, Beurteilung aufgrund eines einzigen Prüfungsaktes am Ende der Lehrveranstaltung.

schriftliche Prüfung

Michael Huth and Mark Ryan
Logic in Computer Science (second edition)
Cambridge University Press, 2007
ISBN 0-521-54310-X (paperback)

Vertrautheit mit formaler Notation und den Methoden, die in den Lehrveranstaltungen Einführung in die Theoretische Informatik und Diskrete Mathematik vermittelt werden

siehe Termine
Gruppe 0
Datum Uhrzeit Ort
Mo 01.10.2018
08.15 - 11.00 HS F (Technik) HS F (Technik) Barrierefrei
Mo 08.10.2018
08.15 - 11.00 HS F (Technik) HS F (Technik) Barrierefrei
Mo 15.10.2018
08.15 - 11.00 HS F (Technik) HS F (Technik) Barrierefrei
Mo 22.10.2018
08.15 - 11.00 HS F (Technik) HS F (Technik) Barrierefrei
Mo 29.10.2018
08.15 - 11.00 HS F (Technik) HS F (Technik) Barrierefrei
Mo 05.11.2018
08.15 - 11.00 HS F (Technik) HS F (Technik) Barrierefrei
Mo 12.11.2018
08.15 - 11.00 HS F (Technik) HS F (Technik) Barrierefrei
Mo 19.11.2018
08.15 - 11.00 HS F (Technik) HS F (Technik) Barrierefrei
Mo 26.11.2018
08.15 - 11.00 HS F (Technik) HS F (Technik) Barrierefrei
Mo 03.12.2018
08.15 - 11.00 HS F (Technik) HS F (Technik) Barrierefrei
Mo 10.12.2018
08.15 - 11.00 HS F (Technik) HS F (Technik) Barrierefrei
Mo 07.01.2019
08.15 - 11.00 HS F (Technik) HS F (Technik) Barrierefrei
Mo 14.01.2019
08.15 - 11.00 HS F (Technik) HS F (Technik) Barrierefrei
Mo 21.01.2019
08.15 - 11.00 HS F (Technik) HS F (Technik) Barrierefrei
Mo 28.01.2019
08.15 - 11.00 HS F (Technik) HS F (Technik) Barrierefrei
Do 26.09.2019
09.15 - 13.30 HSB 3 HSB 3 Barrierefrei 3rd exam
Di 03.12.2019
13.15 - 16.15 HSB 3 HSB 3 Barrierefrei 4th exam