IA073 GEB -- meze formálních systémů

Fakulta informatiky
podzim 2019
Rozsah
2/0. 2 kr. (plus ukončení). Ukončení: k.
Vyučující
RNDr. Nikola Beneš, Ph.D. (přednášející)
prof. RNDr. Luboš Brim, CSc. (přednášející)
prof. RNDr. Ivana Černá, CSc. (přednášející)
RNDr. Tomáš Effenberger, Ph.D. (pomocník)
Garance
prof. RNDr. Ivana Černá, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: prof. RNDr. Luboš Brim, CSc.
Dodavatelské pracoviště: Katedra teorie programování – Fakulta informatiky
Rozvrh
St 10:00–11:50 B410
Předpoklady
SOUHLAS
Předpokládá se schopnost dobře porozumět anglickému textu
Omezení zápisu do předmětu
Předmět je nabízen i studentům mimo mateřské obory.
Předmět si smí zapsat nejvýše 26 stud.
Momentální stav registrace a zápisu: zapsáno: 0/26, pouze zareg.: 0/26, pouze zareg. s předností (mateřské obory): 0/26
Mateřské obory/plány
předmět má 53 mateřských oborů, zobrazit
Cíle předmětu
Cílem semináře je hlubší porozumění formálních mezí výpočetních systémů. Za tímto účelem je "čtena" a diskutována kniha D. Hofstadter: "Gödel, Escher, Bach: An Eternal Golden Braid"
Výstupy z učení
Na konci kurzu budou mít studenti hlubší porozumnění formálních mezí výpočetních systémů.
Osnova
  • Seminář je věnován knize D. Hofstadtera "Gödel, Escher, Bach: An Eternal Golden Braid". Každá lekce je zaměřena na konkrétní téma. Je řízena jedním z účastníků semináře, který si připraví úvodní shrnutí v rozsahu 30--40 min. Zbývající čas bude věnován diskusi. Počet účastníků semináře je omezen. Účast na semináři není omezena žádnými předpoklady.
  • Sylabus: Logika a teorie množin, Sebereference a paradoxy, Formální systémy a metamatematické uvažování, Pravda, důkaz a význam, úplnost a bezespornost, mechanické a lidské uvažování, přirozená a umělá inteligence, sebereprodukce.
Literatura
  • HOFSTADTER, Douglas R. Gödel, Escher, Bach :an eternal golden braid. New York: Basic Books, 1999, xxi, 777 s. ISBN 0-394-75682-7. info
Výukové metody
semináře, prezentace studentů
Metody hodnocení
Vyuka seminarniho typu. Prubezne hodnoceni.
Informace učitele
http://www.fi.muni.cz/usr/brim/IA073/
Z výuky předmětu jsou pořizovány a zveřejňovány fotografie, ke kterým nejsou přiřazovány další osobní údaje. Osoby na fotografiích mohou vznést námitku na adrese brim@fi.muni.cz.
Další komentáře
Studijní materiály
Předmět je vyučován jednou za dva roky.
Předmět je zařazen také v obdobích podzim 2003, podzim 2005, podzim 2006, podzim 2014.
  • Statistika zápisu (nejnovější)
  • Permalink: https://is.muni.cz/predmet/fi/podzim2019/IA073