FI:IA073 GEB - Informace o předmětu

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

Rozsah

2/0. 2 kr. (plus ukončení). Ukončení: k.

Vyučující

prof. RNDr. Luboš Brim, CSc. (přednášející)
prof. RNDr. Ivana Černá, CSc. (přednášející)
doc. RNDr. Milan Češka, Ph.D. (přednášející)

Garance

prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: prof. RNDr. Luboš Brim, CSc.
Dodavatelské pracoviště: Katedra teorie programování – Fakulta informatiky

Rozvrh

Čt 14:00–15: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

• Aplikovaná informatika (program FI, N-AP)
• Bezpečnost informačních technologií (program FI, N-IN)
• Bioinformatika (program FI, N-AP)
• Informační systémy (program FI, N-IN)
• Informatika (angl.) (program FI, D-IN4)
• Informatika (program FI, D-IN4)
• Matematická informatika (program FI, B-IN)
• Paralelní a distribuované systémy (program FI, N-IN)
• Počítačová grafika (program FI, N-IN)
• Počítačové sítě a komunikace (program FI, N-IN)
• Počítačové systémy a technologie (angl.) (program FI, D-IN4)
• Počítačové systémy a technologie (program FI, D-IN4)
• Počítačové systémy (program FI, N-IN)
• Programovatelné technické struktury (angl.) (program FI, N-IN)
• Programovatelné technické struktury (program FI, N-IN)
• Služby - výzkum, řízení a inovace (angl.) (program FI, N-AP)
• Služby - výzkum, řízení a inovace (program FI, N-AP)
• Sociální informatika (program FI, B-AP)
• Teoretická informatika (program FI, N-IN)
• Učitelství výpočetní techniky pro střední školy (program FI, N-SS) (2)
• Umělá inteligence a zpracování přirozeného jazyka (program FI, N-IN)
• Zpracování obrazu (program FI, N-AP)

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"

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/

Další komentáře

Studijní materiály
Předmět je vyučován každoročně.

• Statistika zápisu (podzim 2014, nejnovější)
  
• Permalink: https://is.muni.cz/predmet/fi/podzim2014/IA073