Předmět Vyčíslitelnost (MI-VYC)
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 MI-VYC - Vyčíslitelnost, Fakulta informačních technologií, České vysoké učení technické v Praze (ČVUT).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
| Materiál | Typ | Datum | Počet stažení |
|---|
Další informace
Cíl
Získat přehled o základních formalizacích pojmu "algoritmu" a elementárních otázkách vyčíslitelnosti.
Literatura
Church: An unsolvable problem of elementary number theoryChurch: A note on the EntscheidungsproblemDavis: Computability and unsolvabilityEnderton: Elements of Recursion TheoryKleene: Introduction to MetamathematicsRogers: Theory of Recursive Functions and Effective ComputabilityShoenfield: Mathematical LogicTuring: On computable numbersČerný: Výpočty I
Požadavky
Základní povědomí o množinových pojmech a operacích(relace, zobrazení, uspořádání, ...) a vlastnostech přirozených čísel, zkušenost s programováním.Výhodou je absolvování základního kurzu logiky.
Garant
Jan Starý
Vyučující
Jan Starý