Předmět Meze formálních metod (KMI / MFM)
Na serveru studentino.cz naleznete nejrůznější studijní materiály: zápisky z přednášek nebo cvičení, vzorové testy, seminární práce, domácí úkoly a další z předmětu KMI / MFM - Meze formálních metod, Přírodovědecká fakulta, Univerzita Palackého v Olomouci (UP).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
| Materiál | Typ | Datum | Počet stažení |
|---|
Další informace
Obsah
Předmět pojednává o vybraných problémech, které sjednocuje otázka "jaké jsou pricipiální omezení formálních metod, zejm. o Godelových výsledcích, považovaných za jedny z nejdůležitějších výsledků exaktních věd.Neúplnost logických systémů, úvod, důsledky, dezinterpretace.Neúplnost logických systémů, první a druhá Godelova věta o neúplnosti.Neúplnost logických systémů, rozšíření Godelových výsledků.Neúplnost a vyčíslitelnost.(Ne)rozhodnutelnost vybraných logických systémů.
Získané způsobilosti
2. Porozumění - Rozpoznej základní nerozhodutelné problémy v logice prvního řádu.
Literatura
Boolos G. S., Burgess J. P., Jeffrey R. C. Computability and Logic. Cambridge University Press, 2007. ISBN 0521701465.Smullyan R. M. Godels s Incompleteness Theorem. Oxford University Press, 1992. ISBN 0195046724.Hájek P., Pudlák P. Metamathematics of First-Order Arithmetic. Springer, 1992. ISBN 0387506326.Fagin R., Halpern J. Y., Moses Y., Vardi M. Y. Reasoning About Knowledge. MIT Press. ISBN 0262562006.
Požadavky
Aktivní účast v hodině. Plnění zadaných úkolů. Složení ústní (příp. písemné) zkoušky.
Garant
prof. RNDr. Radim Bělohlávek, Ph.D., DSc.
Vyučující
prof. RNDr. Radim Bělohlávek, Ph.D., DSc.prof. RNDr. Radim Bělohlávek, Ph.D., DSc.