IV134 Limits of formal systems, proofs, and computation

Faculty of Informatics
Autumn 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: 6/26, only registered: 8/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