Workload:
180 h
|
Module Number INF3482 |
Module Title Automatical Proofs - Introduction |
Type of Module Elective Compulsory |
|---|---|---|
| ECTS | 6 | |
|
Work load - Contact time - Self study |
Workload:
180 h Class time:
60 h / 4 SWS Self study:
120 h |
|
| Duration | 1 Semester | |
| Frequency | In the winter semester | |
| Language of instruction | German | |
| Type of Exam | Graded assignments |
|
| Lecture type(s) | Lecture, Tutorial | |
| Content | Implementation of mechanical proof methods from lecture INF3482 Automatic Proof -- Fundamentals in approximately 5 exercises. |
|
| Objectives | Students gain basic knowledge in the implementation of automatic proof methods and their capabilities and possible applications. They will be able to evaluate the practical relevance of mathematical logic for computer science using concrete examples. |
|
| Allocation of credits / grading |
Type of Class
Status
SWS
Credits
Type of Exam
Exam duration
Evaluation
Calculation
of Module (%) |
|
| Prerequisite for participation | There are no specific prerequisites. | |
| Lecturer / Other | ||
| Literature | Aufgabenbeschreibungen, Dokumentation der verwendeten Systeme |
|
| Last offered | unknown | |
| Planned for | currently not planned | |
| Assigned Study Areas | BIOINFM2510, INFM2510, INFM3410, MDZINFM2510, MEINFM3210 | |