Přístupnostní navigace
E-application
Search Search Close
Course detail
FIT-SLOAcad. year: 2014/2015
This course covers the following themes: Matematical models of computation ( skeleton language, RAM, RASP models and their connection with Turing machines), time complexity, complexity classes, P and NP, NP-completness, important NP-complete problems, satisfability problem and its variants, other NP-problems, NP and co-NP languages, space complexity, PS and NPS languages, PS-complete languages, language classes based on randomization, applications of computational complexity theory - cryptography and one-way functions.
Language of instruction
Number of ECTS credits
Mode of study
Guarantor
Department
Learning outcomes of the course unit
Prerequisites
Co-requisites
Planned learning activities and teaching methods
Assesment methods and criteria linked to learning outcomes
The minimal total score of 15 points gained out of the projects.
Course curriculum
Work placements
Aims
Specification of controlled education, way of implementation and compensation for absences
Recommended optional programme components
Prerequisites and corequisites
Basic literature
Recommended literature
Classification of course in study plans
branch MBI , 0 year of study, summer semester, electivebranch MBS , 0 year of study, summer semester, electivebranch MIN , 0 year of study, summer semester, compulsory-optionalbranch MIS , 1 year of study, summer semester, electivebranch MMI , 0 year of study, summer semester, electivebranch MMM , 0 year of study, summer semester, compulsory-optionalbranch MPV , 0 year of study, summer semester, electivebranch MSK , 0 year of study, summer semester, electivebranch MGM , 0 year of study, summer semester, elective