703622 PS Theorie und Praxis der Entscheidungsverfahren
Sommersemester 2018 | Stand: 18.12.2017 | LV auf Merkliste setzen703622
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
- Fakultät für Mathematik, Informatik und Physik
|
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 | |