703829 VO Decision Procedures
Sommersemester 2021 | Stand: 03.03.2021 | LV auf Merkliste setzenUniv.-Prof. Dr. Aart Middeldorp
Univ.-Prof. Dr. Aart Middeldorp, +43 512 507 53205
assoz. Prof. Dr. René Thiemann assoz. Prof. Dr. René Thiemann, +43 512 507 53234
assoz. Prof. Dr. René Thiemann assoz. Prof. Dr. René Thiemann, +43 512 507 53234
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
- 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 | ||
|
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 | ||