|
Lecturer(s)
|
-
Bělohlávek Radim, prof. RNDr. Ph.D., DSc.
|
|
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
|
-
Hájek, P., Pudlák, P. (2017). Metamathematics of First-Order Arithmetic. Assoc. Symb Logic.
-
Mendelsohn, E. (2009). Introduction to Mathematical Logic (fifth ed). Chapman and Hall/CRC.
-
Sochor A. (2001). Klasická matematická logika. Praha.
-
Švejdar V. (2002). Logika: neúplnost, složitost a nutnost. Praha.
|