Co počítače nedovedou ?

Ústav informatiky AV ČR

středa 5. 11., 09:40
akce již proběhla
Publikum: studenti SŠ, studenti VŠ, dospělá veřejnost, seniořiTéma: informatika, matematikaDélka akce: 30 min
prezenčně
přednáška

Počítače a počítačový software tvoří nepostradatelnou součást našich životů. Vývoj jejich schopností je ohromující a tak bychom si mohli myslet, že nemá žádné meze. V této přednášce dokážeme, že tomu tak není - existují problémy, které nejsou počítačovými programy řešitelné. Nejde přitom o problémy jakkoliv exotické. Příklady, které uvedeme, se týkají ověřování správného fungování programů a logického usuzování.
 
Další informace: https://www.cs.cas.cz

Přednášející

Mgr. Igor Sedlár, Ph.D.
Ústav informatiky AV ČR