IA073 GEB -- meze formálních systémů
Fakulta informatikypodzim 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
- Analýza a zpracování obrazu (program FI, N-VIZ)
- Aplikovaná informatika (program FI, N-AP)
- Bezpečnost informačních technologií (angl.) (program FI, N-IN)
- Bezpečnost informačních technologií (program FI, N-IN)
- Bioinformatika a systémová biologie (program FI, N-UIZD)
- Bioinformatika (program FI, N-AP)
- Computer Games Development (program FI, N-VIZ_A)
- Computer Graphics and Visualisation (program FI, N-VIZ_A)
- Computer Networks and Communications (program FI, N-PSKB_A)
- Cybersecurity Management (program FI, N-RSSS_A)
- Formální analýza počítačových systémů (program FI, N-TEI)
- Grafický design (program FI, N-VIZ)
- Graphic Design (program FI, N-VIZ_A)
- Hardware Systems (program FI, N-PSKB_A)
- Hardwarové systémy (program FI, N-PSKB)
- Image Processing and Analysis (program FI, N-VIZ_A)
- Informační bezpečnost (program FI, N-PSKB)
- Informační systémy (program FI, N-IN)
- Informatika (angl.) (program FI, D-IN4)
- Informatika (program FI, D-IN4)
- Information Security (program FI, N-PSKB_A)
- Kvantové a jiné neklasické výpočetní modely (program FI, N-TEI)
- Matematická informatika (program FI, B-IN)
- Paralelní a distribuované systémy (program FI, N-IN)
- Počítačová grafika a vizualizace (program FI, N-VIZ)
- Počítačová grafika (program FI, N-IN)
- Počítačové sítě a komunikace (program FI, N-IN)
- Počítačové sítě a komunikace (program FI, N-PSKB)
- 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)
- Principy programovacích jazyků (program FI, N-TEI)
- Programovatelné technické struktury (angl.) (program FI, N-IN)
- Programovatelné technické struktury (program FI, N-IN)
- Řízení kyberbezpečnosti (program FI, N-RSSS)
- Řízení vývoje služeb (program FI, N-RSSS)
- Řízení vývoje softwarových systémů (program FI, N-RSSS)
- Services Development Management (program FI, N-RSSS_A)
- 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)
- Software Systems Development Management (program FI, N-RSSS_A)
- Software Systems (program FI, N-PSKB_A)
- Softwarové systémy (program FI, N-PSKB)
- Strojové učení a umělá inteligence (program FI, N-UIZD)
- 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)
- Vývoj počítačových her (program FI, N-VIZ)
- Zpracování a analýza rozsáhlých dat (program FI, N-UIZD)
- Zpracování obrazu (program FI, N-AP)
- Zpracování přirozeného jazyka (program FI, N-UIZD)
- 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.
- Statistika zápisu (nejnovější)
- Permalink: https://is.muni.cz/predmet/fi/podzim2019/IA073