Přístupnostní navigace
E-application
Search Search Close
Course detail
FSI-VZIAcad. year: 2023/2024
The course provides students with the introduction to mathematical computer science. Formal languages and grammars and word processing tools in these languages are discussed.The course completes predicate calculus, methods of proving the truth of logical formulas and classification of complexity problems with the definition of classes P and NP.C/Python is used as an implementation tool. Practical use of theorems and consequents is demonstrated on the implementation of simple technical applications.The course completes fundaments of graph theory, they cover graph search, Eulerian trails, Hamiltonian paths, shortest paths, minimum spanning trees, network flows, graph colouring and applications of computational geometry structures.
Language of instruction
Number of ECTS credits
Mode of study
Guarantor
Department
Entry knowledge
Rules for evaluation and completion of the course
Aims
Study aids
Prerequisites and corequisites
Basic literature
Recommended reading
Classification of course in study plans
Lecture
Teacher / Lecturer
Syllabus
Computer-assisted exercise