703829 VO Decision Procedures

Sommersemester 2021 | Stand: 03.03.2021 LV auf Merkliste setzen
703829
VO Decision Procedures
VO 3
6
wöch.
2-Jahresrhythmus
Englisch

Graduates of this course have a good understanding of various decision procedures that are used in automated reasoning.

The course provides an introduction to some of the theories and decision procedures that are used in automated reasoning. The focus will be on satisfiability modulo theories (SMT).

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

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

Folien beinhalten Angaben weiterführender Literatur.

The courses 703829 and 703830 Decision Procedures VO3 + PS2 can be used as Elective Module in the Master Computer Science. For the allocation a confirmation ('Zuordnungsbestätigung') is required.

siehe Termine
Gruppe 0
Datum Uhrzeit Ort
Mo 01.03.2021
14.15 - 17.00 eLecture - online eLecture - online
Mo 08.03.2021
14.15 - 17.00 eLecture - online eLecture - online
Mo 15.03.2021
14.15 - 17.00 eLecture - online eLecture - online
Mo 22.03.2021
14.15 - 17.00 eLecture - online eLecture - online
Mo 12.04.2021
14.15 - 17.00 eLecture - online eLecture - online
Mo 19.04.2021
14.15 - 17.00 eLecture - online eLecture - online
Mo 26.04.2021
14.15 - 17.00 eLecture - online eLecture - online
Mo 03.05.2021
14.15 - 17.00 eLecture - online eLecture - online
Mo 10.05.2021
14.15 - 17.00 eLecture - online eLecture - online
Mo 17.05.2021
14.15 - 17.00 eLecture - online eLecture - online
Mo 31.05.2021
14.15 - 17.00 eLecture - online eLecture - online
Mo 07.06.2021
14.15 - 17.00 eLecture - online eLecture - online
Mo 14.06.2021
14.15 - 17.00 eLecture - online eLecture - online
Mo 21.06.2021
14.15 - 17.00 eLecture - online eLecture - online