| Course title | Limits of Formal Methods |
|---|---|
| Course code | KMI/MFM |
| Organizational form of instruction | Lecture + Exercise |
| Level of course | Master |
| Year of study | not specified |
| Semester | Winter |
| Number of ECTS credits | 4 |
| Language of instruction | Czech |
| Status of course | Compulsory-optional |
| Form of instruction | Face-to-face |
| Work placements | This is not an internship |
| Recommended optional programme components | None |
| Lecturer(s) |
|---|
|
| Course content |
|
unspecified
|
| Learning activities and teaching methods |
| Lecture, Demonstration |
| Learning outcomes |
|
The students become familiar with basic concepts of limits of formal methods.
2. Comprehension: Recognize basic undecidable problems of first-order logic. |
| Prerequisites |
|
unspecified
|
| Assessment methods and criteria |
|
Oral exam, Written exam
Completion of assigned homeworks. Passing the oral (or written) exam. |
| Recommended literature |
|
| Study plans that include the course |
| Faculty | Study plan (Version) | Category of Branch/Specialization | Recommended semester | |
|---|---|---|---|---|
| Faculty: Faculty of Science | Study plan (Version): Mathematics (2023) | Category: Mathematics courses | 2 | Recommended year of study:2, Recommended semester: Winter |