703620 Theorie der Entscheidungsverfahren
Sommersemester 2014 | Stand: 13.06.2014 | LV auf Merkliste setzen703620
Theorie der Entscheidungsverfahren
VO 2
4
wöch.
alle 3 Semester
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.
03.03.2014
- Fakultät für Mathematik, Informatik und Physik
|
Gruppe 0
|
||||
|---|---|---|---|---|
| Datum | Uhrzeit | Ort | ||
|
Mo 03.03.2014
|
09.15 - 11.00 | HS 10 HS 10 | Barrierefrei | |
|
Mo 10.03.2014
|
09.15 - 11.00 | HS 10 HS 10 | Barrierefrei | |
|
Mo 17.03.2014
|
09.15 - 11.00 | HS 10 HS 10 | Barrierefrei | |
|
Mo 24.03.2014
|
09.15 - 11.00 | HS 10 HS 10 | Barrierefrei | |
|
Mo 31.03.2014
|
09.15 - 11.00 | HS 10 HS 10 | Barrierefrei | |
|
Mo 07.04.2014
|
09.15 - 11.00 | HS 10 HS 10 | Barrierefrei | |
|
Mo 28.04.2014
|
09.15 - 11.00 | HS 10 HS 10 | Barrierefrei | |
|
Mo 05.05.2014
|
09.15 - 11.00 | HS 10 HS 10 | Barrierefrei | |
|
Mo 12.05.2014
|
09.15 - 11.00 | HS 10 HS 10 | Barrierefrei | |
|
Mo 19.05.2014
|
09.15 - 11.00 | HS 10 HS 10 | Barrierefrei | |
|
Mo 26.05.2014
|
09.15 - 11.00 | HS 10 HS 10 | Barrierefrei | |
|
Mo 02.06.2014
|
09.15 - 11.00 | HS 10 HS 10 | Barrierefrei | |
|
Mo 16.06.2014
|
09.15 - 11.00 | HS 10 HS 10 | Barrierefrei | |
|
Mo 23.06.2014
|
09.15 - 11.00 | HS 10 HS 10 | Barrierefrei | |