Specialization Details
Mathematical Methods
Abbreviation: NMAT
Acad. year: 2023/2024
Length of Study: 2 years
Min. Credits: 120
Degree Programme: Information Technology and Artificial Intelligence
Language of Instruction: Czech
Form of Study: full-time
Accredited from: 2019 Accredited till: 2029
Students will understand all the layers of the computer based systems including hardware (semiconductor components, logic networks, processors, peripheral devices), software (control and data structures, object orientation, programming languages, compilers, operating systems, databases), as well as their common applications (information systems, computer networks, artificial intelligence, computer graphics and multimedia). They will understand foundations of computer science (discrete mathematics, formal languages and their models, spectral analysis of signals, modelling and simulation). Graduates will be able to analyse, design, implement, test, and maintain common computer applications. They will be able to work efficiently in teams.
State Exam in Information Technology and Artificial Intelligence, specialization Mathematical Methods consists of the following parts:
- presentation and defense of Master's thesis,
- oral exam, which combines the basic themes contained in the subjects profiling the basis of Information Technology and Artificial Intelligence (Theoretical Computer Science, Statistics and Probability, Computer Systems Architectures, Artificial Intelligence and Machine Learning, Data Storage and Preparation, Functional and Logic Programming, Parallel and distributed algorithms, Modern trends of informatics),
- oral exam, which combines the basic themes contained in the subjects profiling the basis of mathematical methods (Static Analysis and Verification, Complexity, Compiler Construction, Game Theory, Algebra, Graph Algorithms).
All parts of the State Final Examination take place on the same date before the State Examination Board. The state exam can be taken by a student who has obtained the required number of credits in the prescribed composition necessary for the successful completion of the master's degree and has submitted the Master's thesis in due time. The organization and course of the state examination are given by the corresponding internal standard of the faculty and by the relevant instructions of the program guarantor for state examinations.
- Human interface to MONA automated libraries
- Educational tool for colored Petri nets
- Application of approximate equivalence in the design of approximate circuits
- Comparison of languages and reduction of automata used in network traffic filtering
- Path-driven grammars
- A Decision Procedure for WSkS Logic
- Static analysis of possible values of variables in C programs
- Data mining predictions in test results history
- Analysis of work with dynamic data structures in C programs
- Heuristics in RCPSP class optimization tasks
Master's theses are stored at the FIT library, Božetěchova 2, Brno. The list of the master's theses, including the details is available at:
https://www.fit.vut.cz/study/theses/.en
Choose academic year and curriculum
Go to recommended course compositions
Abbrv | Title | Cred | Duty | Compl | Fa |
---|---|---|---|---|---|
MSP | Statistics and Probability | 6 | C | Cr+Ex | FIT |
TIN | Theoretical Computer Science | 7 | C | Cr+Ex | FIT |
Abbrv | Title | Cred | Duty | Compl | Fa |
---|---|---|---|---|---|
FLP | Functional and Logic Programming | 5 | C | Cr+Ex | FIT |
PRL | Parallel and Distributed Algorithms | 5 | C | Cr+Ex | FIT |
Abbrv | Title | Cred | Duty | Compl | Fa |
---|---|---|---|---|---|
SEP | Semester Project | 5 | C | ClCr | FIT |
PP2 | Project Practice 2 | 5 | E | ClCr | FIT |
Abbrv | Title | Cred | Duty | Compl | Fa |
---|---|---|---|---|---|
DIP | Master's Thesis | 13 | C | Cr | FIT |
Duty: C - compulsory, CEx - compulsory-elective group x, R - recommended, E - elective
Recommended course compositions
Basic course composition
1st year of study, winter semester
- Artificial Intelligence and Machine Learning
- Computation Systems Architectures
- Data Storage and Preparation
- Statistics and Probability
- Theoretical Computer Science
- English for Europe
1st year of study, summer semester
- Complexity (in English)
- Functional and Logic Programming
- General Algebra
- Modern Trends in Informatics (in English)
- Parallel and Distributed Algorithms
- Fault Tolerant Systems
- Fundamentals of Law
2nd year of study, winter semester
- Compiler Construction (in English)
- Game Theory
- Graph Algorithms
- Semester Project
- Static Analysis and Verification
- Advanced Digital Systems
2nd year of study, summer semester
NMAT ++
For students interested in mathematics, we recommend that the following free courses taught by the Institute of Mathematics at FSI be included in the curriculum:
* FSI-SOP: Optimization I (summer semester, 3cr) https://www.vut.cz/en/students/courses/detail?apid=261005
* FSI-SN1: Numerical Methods I (summer semester, 4cr) https://www.vut.cz/en/students/courses/detail?apid=261000
* FSI-SN2: Numerical Methods II (winter semester, 4cr) https://www.vut.cz/en/students/courses/detail?apid=261001
* FSI-SPP: Stochastic Processes (winter semester, 4cr) https://www.vut.cz/en/students/courses/detail?apid=261020
Possible pass: winter 1: FSI-SPP, summer 1: FSI-SN1, winter 2: FSI-SN2, summer 2: FSI-SOP
1st year of study, winter semester
- Artificial Intelligence and Machine Learning
- Computation Systems Architectures
- Data Storage and Preparation
- Statistics and Probability
- Theoretical Computer Science
1st year of study, summer semester
- Complexity (in English)
- Functional and Logic Programming
- General Algebra
- Modern Trends in Informatics (in English)
- Parallel and Distributed Algorithms
2nd year of study, winter semester
- Compiler Construction (in English)
- Game Theory
- Graph Algorithms
- Semester Project
- Static Analysis and Verification
- Advanced Digital Systems