|
Lecturer(s)
|
-
Bělohlávek Radim, prof. RNDr. Ph.D., DSc.
|
|
Course content
|
- Historical background - Concepts from logic and model theory - Formal number theory - Gödel's theorems and related results - Selected aspects of incompleteness
|
|
Learning activities and teaching methods
|
|
unspecified
|
|
Learning outcomes
|
The students shall get acquainted with the basics of limitations of formal methods.
|
|
Prerequisites
|
unspecified
|
|
Assessment methods and criteria
|
unspecified
|
|
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.
|