Project Seminar: Lean Interactive Theorem Prover (Wintersemester 2023/2024)

Dozent: Prof. Dr. Tobias Friedrich (Algorithm Engineering) , Dr. Samuel Baguley (Algorithm Engineering)
Website zum Kurs: https://hpi.de/friedrich/teaching/ws23/lean-theorem-prover.html

Allgemeine Information

Semesterwochenstunden: 4
ECTS: 6
Benotet: Ja
Einschreibefrist: 01.10.2023 - 31.10.2023
Lehrform: Projektseminar
Belegungsart: Wahlpflichtmodul
Lehrsprache: Englisch
Maximale Teilnehmerzahl: 12

Studiengänge, Modulgruppen & Module

IT-Systems Engineering MA

ISAE: Internet, Security & Algorithm Engineering
- HPI-ISAE-K Konzepte und Methoden
ISAE: Internet, Security & Algorithm Engineering
- HPI-ISAE-T Techniken und Werkzeuge
ISAE: Internet, Security & Algorithm Engineering
- HPI-ISAE-S Spezialisierung
SAMT: Software Architecture & Modeling Technology
- HPI-SAMT-S Spezialisierung
SAMT: Software Architecture & Modeling Technology
- HPI-SAMT-T Techniken und Werkzeuge

Data Engineering MA

CODS: Complex Data Systems
- HPI-CODS-K Konzepte und Methoden
CODS: Complex Data Systems
- HPI-CODS-T Techniken und Werkzeuge
CODS: Complex Data Systems
- HPI-CODS-S Spezialisierung
SYSE: Systems Engineering
- HPI-SYSE-K Konzepte und Methoden
SYSE: Systems Engineering
- HPI-SYSE-T Techniken und Werkzeuge
SYSE: Systems Engineering
- HPI-SYSE-S Spezialisierung

Software Systems Engineering MA

Beschreibung

xxx

Zurück