703819 VO Maschinelles Lernen für Theorembeweisen

Sommersemester 2018 | Stand: 04.06.2018 LV auf Merkliste setzen
703819
VO Maschinelles Lernen für Theorembeweisen
VO 2
4
Block
2-Jahresrhythmus
Englisch

Students who have completed this module are familiar with the learning problems in theorem proving, understand the design of automated and interactive theorem proving systems as well as proof certifiers and the various machine learning problems that correspond to the built in heuristics.

high-level learning problems in proof assistants; techniques for the selection of relevant lemmas in large libraries; strategy selection; strategy tuning using learning; internal guidance of automated reasoning systems; prediction of useful inference steps and tactics; evaluation of intermediate proof states

Vorlesungen

schriftliche Prüfung

Wird im Kurs bekannt gegeben

Keine

Beginn: siehe Termine

siehe Termine
Gruppe 0
Datum Uhrzeit Ort
Di 06.03.2018
08.15 - 10.00 3W03 3W03 Barrierefrei
Fr 09.03.2018
08.15 - 10.00 3W03 3W03 Barrierefrei
Di 13.03.2018
08.15 - 10.00 3W03 3W03 Barrierefrei
Fr 16.03.2018
08.15 - 10.00 3W03 3W03 Barrierefrei
Di 20.03.2018
08.15 - 10.00 HSB 7 HSB 7 Barrierefrei
Fr 23.03.2018
08.00 - 10.00 HSB 4 HSB 4 Barrierefrei
Fr 23.03.2018
08.15 - 10.00 3W03 3W03 Barrierefrei
Di 10.04.2018
08.15 - 10.00 3W03 3W03 Barrierefrei
Fr 13.04.2018
08.15 - 10.00 3W03 3W03 Barrierefrei
Di 17.04.2018
08.15 - 10.00 3W03 3W03 Barrierefrei
Fr 20.04.2018
08.15 - 10.00 3W03 3W03 Barrierefrei
Di 24.04.2018
08.15 - 10.00 3W03 3W03 Barrierefrei
Fr 27.04.2018
08.15 - 10.00 3W03 3W03 Barrierefrei
Fr 04.05.2018
08.15 - 10.00 3W03 3W03 Barrierefrei
Di 08.05.2018
08.15 - 10.00 3W03 3W03 Barrierefrei
Fr 11.05.2018
08.00 - 11.00 HSB 3 HSB 3 Barrierefrei Prüfung