Digicampus
Vorlesung: Isabelle-Lab - Details
Sie sind nicht in Stud.IP angemeldet.
Lehrveranstaltung wird in Präsenz abgehalten.

Allgemeine Informationen

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

Räume und Zeiten

(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

Kommentar/Beschreibung

Praktische Einführung in das interaktive Beweisen von Theoremen mit dem Beweiser Isabelle/HOL.