FI:IV134 Limits of formal systems - Course Information
IV134 Limits of formal systems, proofs, and computation
Faculty of InformaticsAutumn 2024
- Extent and Intensity
- 2/0. 2 credit(s) (plus extra credits for completion). Type of Completion: k (colloquium).
In-person direct teaching - Teacher(s)
- prof. Dr. rer. nat. RNDr. Mgr. Bc. Jan Křetínský, Ph.D. (lecturer)
- Guaranteed by
- prof. Dr. rer. nat. RNDr. Mgr. Bc. Jan Křetínský, Ph.D.
Department of Computer Science – Faculty of Informatics
Supplier department: Department of Computer Science – Faculty of Informatics - Timetable
- Mon 23. 9. to Mon 16. 12. Mon 10:00–11:50 A217
- Prerequisites (in Czech)
- SOUHLAS
- Course Enrolment Limitations
- The course is offered to students of any study field.
The capacity limit for the course is 26 student(s).
Current registration and enrolment status: enrolled: 11/26, only registered: 6/26, only registered with preference (fields directly associated with the programme): 0/26 - Course objectives
- Understanding the essence of formal systems (such as computations of programmable computers or mathematical proofs), their capabilities and limits.
- Syllabus
- The lecture is centered around the book "Gödel, Escher, Bach: An Eternal Golden Braid" by Douglas Hofstadter. It deals with fundamentals, essence and limits of computer science and mathematical thinking. In some sense, it is a deliberate introduction to basic notions such as computation, recursion, proof, formal system, consistence and completeness of logic, undecidability, artificial intelligence, on which computer science relies.
- Literature
- HOFSTADTER, Douglas R. Gödel, Escher, Bach : an eternal golden braid. New York [N.Y.]: Basic Books, 1999, 777 s. ISBN 0465026567. info
- HOFSTADTER, Douglas R. Gödel, Escher, Bach : existenciální gordická balada : metaforická fuga o mysli a strojích v duchu Lewise Carrolla. Translated by Petr Holčák. 1. vyd. v českém jazyce. Praha: Dokořán, 2012, 830 s. ISBN 9788073632656. info
- Teaching methods
- Teaching takes the form of lectures, drama, discussion and, at the end of the course, presentation of a book chapter read by the student.
- Assessment methods
- The colloquium is awarded for active participation and a group presentation of one of the chapters.
- Language of instruction
- Czech
- Further comments (probably available only in Czech)
- Study Materials
The course is taught annually. - Teacher's information
- Webpage of a previous TUM course https://www7.in.tum.de/~kretinsk/teaching/perlen.html
- Enrolment Statistics (recent)
- Permalink: https://is.muni.cz/course/fi/autumn2024/IV134