703622 PS Theorie und Praxis der Entscheidungsverfahren

Sommersemester 2018 | Stand: 18.12.2017 LV auf Merkliste setzen
703622
PS Theorie und Praxis der Entscheidungsverfahren
PS 2
4
wöch.
2-Jahresrhythmus
Englisch
Absolventinnen und Absolventen dieses Moduls kennen Entscheidungsverfahren für Aussagenlogik und für Restriktionen der Prädikatenlogik. Sie können diese Entscheidungsverfahren implementieren sowie Spezifikationen in diesen Logiken formulieren und mittels Tools verifizieren.
Einüben der Vorlesungsthemen durch Anwenden der vorgestellten Konzepte

Beurteilung aufgrund von regelmäßigen schriftlichen und/oder mündlichen Beiträgen der Teilnehmerinnen und Teilnehmer.

Lehrveranstaltungsprüfung gemäß § 7 Satzungsteil, Studienrechtliche Bestimmungen

Wird im Rahmen der ersten Lehrveranstaltung besprochen.

siehe Termine
Gruppe 0
Datum Uhrzeit Ort
Fr 09.03.2018
13.15 - 15.00 HSB 9 HSB 9 Barrierefrei
Fr 16.03.2018
13.15 - 15.00 HSB 9 HSB 9 Barrierefrei
Fr 23.03.2018
13.15 - 15.00 HSB 9 HSB 9 Barrierefrei
Fr 13.04.2018
13.15 - 15.00 HSB 9 HSB 9 Barrierefrei
Fr 20.04.2018
13.15 - 15.00 HSB 9 HSB 9 Barrierefrei
Fr 27.04.2018
13.15 - 15.00 HSB 9 HSB 9 Barrierefrei
Fr 04.05.2018
13.15 - 15.00 HSB 9 HSB 9 Barrierefrei
Fr 11.05.2018
13.15 - 15.00 HSB 9 HSB 9 Barrierefrei
Fr 18.05.2018
13.15 - 15.00 HSB 9 HSB 9 Barrierefrei
Fr 25.05.2018
13.15 - 15.00 HSB 9 HSB 9 Barrierefrei
Fr 01.06.2018
13.15 - 15.00 HSB 9 HSB 9 Barrierefrei
Fr 08.06.2018
13.15 - 15.00 HSB 9 HSB 9 Barrierefrei
Fr 15.06.2018
13.15 - 15.00 HSB 9 HSB 9 Barrierefrei
Fr 22.06.2018
13.15 - 15.00 HSB 9 HSB 9 Barrierefrei
Fr 29.06.2018
13.15 - 15.00 HSB 9 HSB 9 Barrierefrei