Přístupnostní navigace
E-application
Search Search Close
Course detail
FIT-SLOAcad. year: 2009/2010
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
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 reading
Classification of course in study plans
branch MBI , 0 year of study, summer semester, electivebranch MBS , 0 year of study, summer semester, electivebranch MGM , 0 year of study, summer semester, electivebranch MGM , 0 year of study, summer semester, electivebranch MIN , 0 year of study, summer semester, compulsory-optionalbranch MIN , 2 year of study, summer semester, electivebranch MIS , 1 year of study, summer semester, electivebranch MIS , 1 year of study, summer semester, electivebranch MMI , 0 year of study, summer semester, electivebranch MMM , 1 year of study, summer semester, compulsory-optionalbranch MPS , 0 year of study, summer semester, electivebranch MPV , 0 year of study, summer semester, electivebranch MSK , 0 year of study, summer semester, elective
Lecture
Teacher / Lecturer
Syllabus
Project