Hasso-Plattner-Institut25 Jahre HPI
Hasso-Plattner-Institut25 Jahre HPI
Login
 

Project Seminar: Lean Interactive Theorem Prover (Sommersemester 2022)

Dozent: Prof. Dr. Tobias Friedrich (Algorithm Engineering) , Dr. Samuel Baguley (Algorithm Engineering) , Nadym Mallek (Algorithm Engineering)
Website zum Kurs: https://hpi.de/friedrich/teaching/ss22/pslean.html

Allgemeine Information

  • Semesterwochenstunden: 4
  • ECTS: 6
  • Benotet: Ja
  • Einschreibefrist: 01.04.2022 - 30.04.2022
  • Prüfungszeitpunkt §9 (4) BAMA-O: 16.08.2022
  • Lehrform: Projekt / Seminar
  • Belegungsart: Wahlpflichtmodul
  • Lehrsprache: Englisch
  • Maximale Teilnehmerzahl: 12

Studiengänge, Modulgruppen & Module

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
IT-Systems Engineering MA

Beschreibung

Alle Informationen zu Inhalt, Aufzeichnung und Terminen sind auf der Website zum Kurs zu finden.

Zurück