IV134 Limity formálních systémů, důkazů a výpočtů

Fakulta informatiky
podzim 2024
Rozsah
2/0. 2 kr. (plus ukončení). Ukončení: k.
Vyučováno kontaktně
Vyučující
prof. Dr. rer. nat. RNDr. Mgr. Bc. Jan Křetínský, Ph.D. (přednášející)
Garance
prof. Dr. rer. nat. RNDr. Mgr. Bc. Jan Křetínský, Ph.D.
Katedra teorie programování – Fakulta informatiky
Dodavatelské pracoviště: Katedra teorie programování – Fakulta informatiky
Rozvrh
Po 23. 9. až Po 16. 12. Po 10:00–11:50 A217
Předpoklady
SOUHLAS
Omezení zápisu do předmětu
Předmět je otevřen studentům libovolného oboru.
Předmět si smí zapsat nejvýše 26 stud.
Momentální stav registrace a zápisu: zapsáno: 6/26, pouze zareg.: 8/26, pouze zareg. s předností (mateřské obory): 0/26
Cíle předmětu
Porozumět podstatě formálních systémů (jako jsou např. výpočty programovatelných počítačů či matematické důkazy), jejich schopnostem a mezím.
Osnova
  • Přednáška je zaměřena na knihu Douglase Hofstadtera „Gödel, Escher, Bach: An Eternal Golden Braid“. Zabývá se základy, podstatou a hranicemi informatiky a matematického myšlení. S cílem hlubšího pochopení jde o uvedení do základních pojmů, jako je výpočet, rekurze, důkaz, formální systém, konzistence a úplnost logiky, nerozhodnutelnost, umělá inteligence, o které se informatika opírá.
Literatura
  • 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
Výukové metody
Výuka probíhá formou přednášek, hraného dramatu, diskuze a ke konci kurzu i prezentací přečtené kapitoly knihy.
Metody hodnocení
Kolokvium je udělěno za aktivní účast a skupinovou prezentaci jedné kapitoly.
Informace učitele
Webová stránka minulého běhu kurzu na TU Mnichov https://www7.in.tum.de/~kretinsk/teaching/perlen.html
Další komentáře
Studijní materiály
Předmět je vyučován každoročně.
  • Statistika zápisu (nejnovější)
  • Permalink: https://is.muni.cz/predmet/fi/podzim2024/IV134