703314 VU Logik und Lernen A: Interactive Theorem Proving
Sommersemester 2022 | Stand: 19.05.2022 | LV auf Merkliste setzen703314
VU Logik und Lernen A: Interactive Theorem Proving
VU 3
5
wöch.
jährlich
Englisch
Vertieftes Verständnis in aktuellen Themengebieten aus Logik und Lernen; Erwerb der Fertigkeit, sich selbständig auf dem Gebiet weiterzubilden.
Aufbau eines LCF-Beweisers; Formales Beweisen; Strukturiertes Beweisen und Beweisskripte; höherstufige Logik: Induktion, rekursive Datenstrukturen und rekursive Funktionen; Automatisierung; Terminierungsbeweise; Korrektheit von Programmen
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 07.03.2022
|
11.15 - 14.00 | 3W03 3W03 | Barrierefrei | |
|
Mo 14.03.2022
|
11.15 - 14.00 | 3W03 3W03 | Barrierefrei | |
|
Mo 21.03.2022
|
11.15 - 14.00 | 3W03 3W03 | Barrierefrei | |
|
Mo 28.03.2022
|
11.15 - 14.00 | 3W03 3W03 | Barrierefrei | |
|
Mo 04.04.2022
|
11.15 - 14.00 | 3W03 3W03 | Barrierefrei | |
|
Mo 25.04.2022
|
11.15 - 14.00 | 3W03 3W03 | Barrierefrei | |
|
Mo 02.05.2022
|
11.15 - 14.00 | 3W03 3W03 | Barrierefrei | |
|
Mo 09.05.2022
|
11.15 - 14.00 | SR 12 SR 12 | Barrierefrei | |
|
Mo 16.05.2022
|
11.15 - 14.00 | HSB 5 HSB 5 | Barrierefrei | |
|
Mo 23.05.2022
|
11.15 - 14.00 | 3W03 3W03 | Barrierefrei | |
|
Mo 30.05.2022
|
11.15 - 14.00 | 3W03 3W03 | Barrierefrei | |
|
Mo 13.06.2022
|
11.15 - 14.00 | 3W03 3W03 | Barrierefrei | |
|
Mo 20.06.2022
|
11.15 - 14.00 | 3W03 3W03 | Barrierefrei | |
|
Mo 27.06.2022
|
11.15 - 14.00 | 3W03 3W03 | Barrierefrei | |
|
Fr 01.07.2022
|
14.00 - 17.00 | SR 12 SR 12 | Barrierefrei | 1st exam |