703315 VU Logik und Lernen B: Interactive Theorem Proving in Isabelle/HOL
Sommersemester 2022 | Stand: 09.01.2022 | 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
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 | ||
|
Do 10.03.2022
|
09.15 - 12.00 | rr 18 rr 18 | Barrierefrei | |
|
Do 17.03.2022
|
09.15 - 12.00 | rr 18 rr 18 | Barrierefrei | |
|
Do 24.03.2022
|
09.15 - 12.00 | rr 18 rr 18 | Barrierefrei | |
|
Do 31.03.2022
|
09.15 - 12.00 | rr 18 rr 18 | Barrierefrei | |
|
Do 07.04.2022
|
09.15 - 12.00 | rr 18 rr 18 | Barrierefrei | |
|
Do 28.04.2022
|
09.15 - 12.00 | rr 18 rr 18 | Barrierefrei | |
|
Do 05.05.2022
|
09.15 - 12.00 | rr 18 rr 18 | Barrierefrei | |
|
Do 12.05.2022
|
09.15 - 12.00 | rr 18 rr 18 | Barrierefrei | |
|
Do 19.05.2022
|
09.15 - 12.00 | rr 18 rr 18 | Barrierefrei | |
|
Do 02.06.2022
|
09.15 - 12.00 | rr 18 rr 18 | Barrierefrei | |
|
Do 09.06.2022
|
09.15 - 12.00 | rr 18 rr 18 | Barrierefrei | |
|
Do 23.06.2022
|
09.15 - 12.00 | rr 18 rr 18 | Barrierefrei | |
|
Do 30.06.2022
|
09.15 - 12.00 | rr 18 rr 18 | Barrierefrei | |