703314 VU Logik und Lernen A: Interactive Theorem Proving
Sommersemester 2024 | Stand: 18.12.2023 | 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
lectures, exercises
homeworks, assignments, presentations, in-class test
provided in the course
logic, functional programming
siehe Termine
- Fakultät für LehrerInnenbildung
- 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 | ||
|
Fr 08.03.2024
|
10.15 - 12.45 | SR 12 SR 12 | Barrierefrei | |
|
Fr 15.03.2024
|
10.15 - 12.45 | SR 12 SR 12 | Barrierefrei | |
|
Fr 22.03.2024
|
10.15 - 12.45 | SR 12 SR 12 | Barrierefrei | |
|
Fr 12.04.2024
|
10.15 - 12.45 | SR 12 SR 12 | Barrierefrei | |
|
Fr 19.04.2024
|
10.15 - 12.45 | SR 12 SR 12 | Barrierefrei | |
|
Fr 26.04.2024
|
10.15 - 12.45 | SR 12 SR 12 | Barrierefrei | |
|
Fr 03.05.2024
|
10.15 - 12.45 | SR 12 SR 12 | Barrierefrei | |
|
Fr 10.05.2024
|
10.15 - 12.45 | SR 12 SR 12 | Barrierefrei | |
|
Fr 17.05.2024
|
10.15 - 12.45 | SR 12 SR 12 | Barrierefrei | |
|
Fr 24.05.2024
|
10.15 - 12.45 | SR 12 SR 12 | Barrierefrei | |
|
Fr 31.05.2024
|
10.15 - 12.45 | SR 12 SR 12 | Barrierefrei | |
|
Fr 07.06.2024
|
10.15 - 12.45 | SR 12 SR 12 | Barrierefrei | |
|
Fr 14.06.2024
|
10.15 - 12.45 | SR 12 SR 12 | Barrierefrei | |
|
Fr 21.06.2024
|
10.15 - 12.45 | SR 12 SR 12 | Barrierefrei | |
|
Fr 28.06.2024
|
10.15 - 12.45 | SR 12 SR 12 | Barrierefrei | |