Vorlesung: Isabelle-Lab - Details
Sie sind nicht in Stud.IP angemeldet.
Lehrveranstaltung wird in Präsenz abgehalten.
Veranstaltungsname |
Vorlesung: Isabelle-Lab |
Veranstaltungsnummer |
INF-0432 |
Semester
|
WS 2022/23 |
Aktuelle Anzahl der Teilnehmenden
|
20 |
Heimat-Einrichtung |
Theorie verteilter und paralleler Systeme
|
Veranstaltungstyp |
Vorlesung in der Kategorie Lehre |
Erster Termin |
Montag, 17.10.2022 08:15 - 09:45, Ort: (1057 N) |
Art/Form |
Projekt |
Voraussetzungen |
Empfohlen: Einführung in die Theoretische Informatik |
Leistungsnachweis |
praktisches Projekt in Isabelle/HOL |
Online/Digitale Veranstaltung |
Veranstaltung wird in Präsenz abgehalten. |
Hauptunterrichtssprache |
englisch |
Literaturhinweise |
https://isabelle.in.tum.de/documentation.html |
ECTS-Punkte |
8 |
- (1057 N)
-
Montag: 08:15 - 09:45, wöchentlich (7x)
- (1005 N)
-
Mittwoch, 14.12.2022 08:15 - 09:45
- (1002 N)
-
Mittwoch, 21.12.2022, Mittwoch, 11.01.2023, Mittwoch, 18.01.2023, Mittwoch, 25.01.2023, Mittwoch, 01.02.2023, Mittwoch, 08.02.2023 08:15 - 09:45
Praktische Einführung in das interaktive Beweisen von Theoremen mit dem Beweiser Isabelle/HOL.