FPF:UIN1018 Theory of Computability and Co - Course Information
UIN1018 Theory of Computability and Complexity
Faculty of Philosophy and Science in OpavaWinter 2007
- Extent and Intensity
- 2/2/0. 6 credit(s). Type of Completion: zk (examination).
- Teacher(s)
- doc. Ing. Petr Sosík, Dr. (lecturer)
RNDr. Miroslav Langer, Ph.D. (seminar tutor) - Guaranteed by
- doc. Ing. Petr Sosík, Dr.
Institute of Computer Science – Faculty of Philosophy and Science in Opava - Prerequisites (in Czech)
- UIAI019 Základy teoretické informatiky II || UIAI219 Základy teoretické informatiky II || UIBUC09 Theory of Languages and Automa || UINK106 Theory of Languages and Automa || UIN1006 Theory of Languages and Automa
- Course Enrolment Limitations
- The course is also offered to the students of the fields other than those the course is directly associated with.
- fields of study / plans the course is directly associated with
- there are 11 fields of study the course is directly associated with, display
- Course objectives (in Czech)
- Jsou předvedeny základní abstraktní modely výpočtu - Turingův stroj a stroj RAM. Na jejich bázi je vybudován koncept strojové vyčíslitelnosti, ukázána existence nevyčíslitelných problémů a jejich typické příklady. Dále je zavedena asymptotická výpočetní složitost algoritmů, umožňující porovnávat spotřebu paměti a strojového času bez vazby na konkrétní počítač. Obsahová náplň cvičení vychází a časově sleduje obsahovou náplň přednášky.
- Language of instruction
- Czech
- Further Comments
- The course can also be completed outside the examination period.
- Enrolment Statistics (Winter 2007, recent)
- Permalink: https://is.slu.cz/course/fpf/winter2007/UIN1018