703830 PS Decision Procedures
Sommersemester 2021 | Stand: 01.03.2021 | LV auf Merkliste setzen703830
PS Decision Procedures
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
- SDG 4 - Hochwertige Bildung: Inklusive, gleichberechtigte und hochwertige Bildung gewährleisten und Möglichkeiten lebenslangen Lernens für alle fördern
- SDG 9 - Industrie, Innovation und Infrastruktur: Eine widerstandsfähige Infrastruktur aufbauen, breitenwirksame und nachhaltige Industrialisierung fördern und Innovationen unterstützen
|
Gruppe 0
|
||||
|---|---|---|---|---|
| Datum | Uhrzeit | Ort | ||
|
Fr 05.03.2021
|
14.15 - 16.00 | eLecture - online eLecture - online | ||
|
Fr 12.03.2021
|
14.15 - 16.00 | eLecture - online eLecture - online | ||
|
Fr 19.03.2021
|
14.15 - 16.00 | eLecture - online eLecture - online | ||
|
Fr 26.03.2021
|
14.15 - 16.00 | eLecture - online eLecture - online | ||
|
Fr 16.04.2021
|
14.15 - 16.00 | eLecture - online eLecture - online | ||
|
Fr 23.04.2021
|
14.15 - 16.00 | eLecture - online eLecture - online | ||
|
Fr 30.04.2021
|
14.15 - 16.00 | eLecture - online eLecture - online | ||
|
Fr 07.05.2021
|
14.15 - 16.00 | eLecture - online eLecture - online | ||
|
Fr 14.05.2021
|
14.15 - 16.00 | eLecture - online eLecture - online | ||
|
Fr 21.05.2021
|
14.15 - 16.00 | eLecture - online eLecture - online | ||
|
Fr 28.05.2021
|
14.15 - 16.00 | eLecture - online eLecture - online | ||
|
Fr 04.06.2021
|
14.15 - 16.00 | eLecture - online eLecture - online | ||
|
Fr 11.06.2021
|
14.15 - 16.00 | eLecture - online eLecture - online | ||
|
Fr 18.06.2021
|
14.15 - 16.00 | eLecture - online eLecture - online | ||
|
Fr 25.06.2021
|
14.15 - 16.00 | eLecture - online eLecture - online | ||