|
Advanced Mechanized Reasoning in Coq (AMeRiCo) [Import]
- 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: Center for Applied Philosophy of Science and Key Qualifications
|
|
|