703961 Computation with Bounded Resources
Sommersemester 2015 | Stand: 14.04.2015 | LV auf Merkliste setzen703961
Computation with Bounded Resources
VO 2
5
wöch.
2-Jahresrhythmus
Englisch
Wir präsentieren aktuelle Resultate im Bereich der Berechnung mit eingeschränkten Resourcen.
Die Vorlesung beschäftigt sich mit aktueller Forschung zur strukturellen Beweistheorie, sowie tiefer Infererenz, die dazu dient besser den algorithmischen Gehalt aus abstrakten Beweisen zu extrahieren. Weiters beschäftigen wir uns mit der Komplexität von Termersetzungssystemen und behandeln generelle Entwicklungen von automatischen Methoden zur Programmkomplexitätsanalyse.
siehe Termine
- Fakultät für Mathematik, Informatik und Physik
|
Gruppe 0
|
||||
|---|---|---|---|---|
| Datum | Uhrzeit | Ort | ||
|
Fr 06.03.2015
|
09.15 - 11.00 | 3W04 3W04 | Barrierefrei | |
|
Fr 13.03.2015
|
09.15 - 11.00 | 3W04 3W04 | Barrierefrei | |
|
Fr 20.03.2015
|
09.15 - 11.00 | 3W04 3W04 | Barrierefrei | |
|
Fr 27.03.2015
|
09.15 - 11.00 | 3W04 3W04 | Barrierefrei | |
|
Fr 17.04.2015
|
09.15 - 11.00 | 3W04 3W04 | Barrierefrei | |
|
Fr 24.04.2015
|
09.15 - 11.00 | 3W04 3W04 | Barrierefrei | |
|
Fr 08.05.2015
|
09.15 - 11.00 | 3W04 3W04 | Barrierefrei | |
|
Fr 22.05.2015
|
09.15 - 11.00 | 3W04 3W04 | Barrierefrei | |
|
Fr 29.05.2015
|
09.15 - 11.00 | 3W04 3W04 | Barrierefrei | |
|
Fr 05.06.2015
|
09.15 - 11.00 | 3W04 3W04 | Barrierefrei | |
|
Fr 12.06.2015
|
09.15 - 11.00 | 3W04 3W04 | Barrierefrei | |
|
Fr 19.06.2015
|
09.15 - 11.00 | 3W04 3W04 | Barrierefrei | |
|
Fr 26.06.2015
|
09.15 - 11.00 | 3W04 3W04 | Barrierefrei | |