|
Advanced Mechanized Reasoning in Coq (AMeRiCo(A))
- Dozent/in
- PD Dr. Tadeusz Litak, Akad. ORat
- Angaben
- Vorlesung mit Übung
4 SWS, ECTS-Studium, ECTS-Credits: 7,5
geeignet als Schlüsselqualifikation, Sprache Deutsch und Englisch
Zeit und Ort: Di 08:15 - 09:45, 01.151-128; Do 16:15 - 17:45, 01.151-128
- Studienfächer / Studienrichtungen
- WPF INF-MA ab 1 (ECTS-Credits: 7,5)
WPF INF-BA-V-THI ab 5 (ECTS-Credits: 7,5)
WF M-BA ab 5 (ECTS-Credits: 7,5)
WF M-MA ab 1 (ECTS-Credits: 7,5)
WPF AI-MA ab 1 (ECTS-Credits: 7,5)
- ECTS-Informationen:
- Credits: 7,5
- Zusätzliche Informationen
- Schlagwörter: Coq Proof Assistants Mechanized Reasoning
Erwartete Teilnehmerzahl: 15
- Verwendung in folgenden UnivIS-Modulen
- Startsemester WS 2022/2023:
- Advanced Mechanized Reasoning in Coq (AMeRiCo)
- Institution: Lehrstuhl für Informatik 8 (Theoretische Informatik)
|
|
|
|
UnivIS ist ein Produkt der Config eG, Buckenhof |
|
|