Advanced Mechanized Reasoning in Coq (AMeRiCo)
- Lecturer
- PD Dr. Tadeusz Litak, Akad. ORat
- Details
- Vorlesung mit Übung
4 cred.h, ECTS studies, ECTS credits: 7,5
geeignet als Schlüsselqualifikation, Sprache Deutsch und Englisch
Time and place: Tue, Wed 18:15 - 19:45, 01.151-128
- Fields of study
- 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 information:
- Credits: 7,5
- Additional information
- Keywords: Coq Proof Assistants Mechanized Reasoning
Expected participants: 15
- Verwendung in folgenden UnivIS-Modulen
- Startsemester WS 2021/2022:
- Advanced Mechanized Reasoning in Coq (AMeRiCo)
- Department: Chair of Computer Science 8 (Theoretical Computer Science)
|
|