703315 VU Logik und Lernen B: Interactive Theorem Proving in Isabelle/HOL
Sommersemester 2024 | Stand: 18.12.2023 | LV auf Merkliste setzen703315
VU Logik und Lernen B: Interactive Theorem Proving in Isabelle/HOL
VU 3
5
wöch.
jährlich
Englisch
Verständnis von Interaktiven Beweisern; Kenntnisse, Programme in Isabelle/HOL zu spezifizieren und formal zu verifizieren; Erwerb der Fertigkeit, sich selbständig auf dem Gebiet weiterzubilden.
Dieser Kurs bietet eine Einführung in Interaktives Beweisen mit einem Schwerpunkt auf den Beweis-Assistenten Isabelle und Logik höherer Ordnung (HOL). Die folgenden Themen werden behandelt:
- Logik höherer Ordnung
- Isabelles Beweis Sprache Isar
- Natürliches Schließen in Isabelle
- Funktionale Programmierung in Isabelle
- Induktive Definitionen
- Code-Generierung
- Auswahl von weiterführenden Themen
Vortrag; Präsentation von Übungsaufgaben durch Studierende.
Kontinuierliche Beurteilung durch regelmäßige schriftliche und mündliche Beiträge. Zudem wird ein Projektarbeit gegen Ende des Semester bewertet.
Siehe Webseite zur Veranstaltung.
Kenntnisse über Logik und funktionale Programmierung.
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 | ||
|
Do 07.03.2024
|
08.15 - 11.00 | rr 18 rr 18 | Barrierefrei | |
|
Do 14.03.2024
|
08.15 - 11.00 | rr 18 rr 18 | Barrierefrei | |
|
Do 21.03.2024
|
08.15 - 11.00 | rr 18 rr 18 | Barrierefrei | |
|
Do 11.04.2024
|
08.15 - 11.00 | rr 18 rr 18 | Barrierefrei | |
|
Do 18.04.2024
|
08.15 - 11.00 | rr 18 rr 18 | Barrierefrei | |
|
Do 25.04.2024
|
08.15 - 11.00 | rr 18 rr 18 | Barrierefrei | |
|
Do 02.05.2024
|
08.15 - 11.00 | rr 18 rr 18 | Barrierefrei | |
|
Do 16.05.2024
|
08.15 - 11.00 | rr 18 rr 18 | Barrierefrei | |
|
Do 23.05.2024
|
08.15 - 11.00 | rr 18 rr 18 | Barrierefrei | |
|
Do 06.06.2024
|
08.15 - 11.00 | rr 18 rr 18 | Barrierefrei | |
|
Do 13.06.2024
|
08.15 - 11.00 | rr 18 rr 18 | Barrierefrei | |
|
Do 20.06.2024
|
08.15 - 11.00 | rr 18 rr 18 | Barrierefrei | |
|
Do 27.06.2024
|
08.15 - 11.00 | rr 18 rr 18 | Barrierefrei | |