Specialization Details

Mathematical Methods

Abbreviation: NMAT

Acad. year: 2021/2022

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

Information for applicants

Key learning outcomes

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.

Guarantor

Rogalewicz Adam, doc. Mgr., Ph.D.

Extent of the State Final Examinations

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.

Examples of theses

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-dev.fit.vutbr.cz/study/theses/

Choose academic year and curriculum

1st year of study, winter semester
Abbrv	Title	Cred	Duty	Compl	Fa
MSP	Statistics and Probability	5	C	Cr+Ex	FIT
SDL	Seminar of Discrete Mathematics and Logics	1	C	Cr	FIT
TIN	Theoretical Computer Science	7	C	Cr+Ex	FIT

1st year of study, summer semester
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

2nd year of study, winter semester
Abbrv	Title	Cred	Duty	Compl	Fa
SEP	Semester Project	5	C	ClCr	FIT
PP2	Project Practice 2	5	E	ClCr	FIT

2nd year of study, summer semester
Abbrv	Title	Cred	Duty	Compl	Fa
DIP	Master's Thesis	13	C	Cr	FIT

all years of study, winter semester
Abbrv	Title	Cred	Duty	Compl	Fa
AVS	Computation Systems Architectures	5	C	Cr+Ex	FIT
GAL	Graph Algorithms	5	C	Ex	FIT
SAV	Static Analysis and Verification	5	C	Cr+Ex	FIT
SUI	Artificial Intelligence and Machine Learning	5	C	Ex	FIT
THE	Game Theory	5	C	Cr+Ex	FIT
UPA	Data Storage and Preparation	5	C	Cr+Ex	FIT
VYPa	Compiler Construction (in English)	5	C	Ex	FIT
AEU	English for Europe	3	E	Cr+Ex	FIT
AGS	Agents and Multiagent Systems	5	E	Ex	FIT
AIS	Information Systems Analysis and Design	5	E	Cr+Ex	FIT
BAYa	Bayesian Models for Machine Learning (in English)	5	E	Ex	FIT
BC_MOG1	Molecular Genetics I	3	E	Ex	FCH
BIO	Biometric Systems	5	E	Cr+Ex	FIT
BIS	Information System Security	5	E	Cr+Ex	FIT
BMS	Wireless and Mobile Networks	5	E	Cr+Ex	FIT
CCS	Design and Security of Enterprise Networks	5	E	ClCr	FIT
CE1	CCNP Enterprise: Core Networking (ENCOR)	5	E	ClCr	FIT
CZSa	Digital Signal Processing (in English)	5	E	Ex	FIT
EIP	Economics of Information Products	5	E	Ex	FIT
FCE	English: Practical Course of Business Conversation and Presentation	3	E	Cr	FIT
FIK	Philosophy and the Culture ^*)	3	E	Cr	FIT
FIT	History and Philosophy of Technology	3	E	Cr	FIT
GJA	Graphical User Interfaces in Java	5	E	Cr+Ex	FIT
GMU	Graphic and Multimedia Processors	5	E	Cr+Ex	FIT
GUX	Graphical User Interfaces in X Window System	5	E	Ex	FIT
GZN	Graphical and Sound Interfaces and Standards	5	E	Ex	FIT
HKO	Communication and Presentation Skills	3	E	Cr	FIT
HSC	Hardware/Software Codesign	5	E	Cr+Ex	FIT
HVR	Leadership and Time Management	3	E	Cr	FIT
JA3	Conversation through Hot Current Issues	3	E	Cr+Ex	FIT
MAT	Mathematical Structures in Computer Science ^*)	5	E	Ex	FIT
PBI	Advanced Bioinformatics	4	E	Ex	FIT
PCG	Parallel Computations on GPU	5	E	Ex	FIT
PCS	Advanced Digital Systems	5	E	Ex	FIT
PDB	Advanced Database Systems	5	E	Cr+Ex	FIT
PDI	Distributed Application Environment	5	E	Ex	FIT
PGPa	Advanced Computer Graphics (in English)	5	E	Ex	FIT
PGR	Computer Graphics	5	E	Ex	FIT
PKSa	Advanced Communication Systems	5	E	Cr+Ex	FIT
POVa	Computer Vision (in English)	5	E	Ex	FIT
PRM	Fundamentals of Law	3	E	Cr	FIT
RET	Rhetoric	3	E	Cr	FIT
ROBa	Robotics (in English)	5	E	Ex	FIT
SEM	Sensors and Measurement	5	E	Cr+Ex	FIT
SFC	Soft Computing	5	E	Cr+Ex	FIT
SIN	Intelligent Systems	5	E	Ex	FIT
SLA	Linear Algebra	6	E	Cr+Ex	FSI
SRI	Strategic Management of Information Systems	5	E	Ex	FIT
TAMa	Application Development for Mobile Devices (in English)	5	E	ClCr	FIT
VIN	Computer Art	5	E	ClCr	FIT
ZPJa	Natural Language Processing (in English)	5	E	Ex	FIT
ZPX	Professional Practice, Abroad	5	E	Cr	FIT
ZZN	Knowledge Discovery in Databases	5	E	Cr+Ex	FIT

all years of study, summer semester
Abbrv	Title	Cred	Duty	Compl	Fa
MTIa	Modern Trends in Informatics (in English)	4	C	ClCr	FIT
SLOa	Complexity (in English)	5	C	Ex	FIT
SOA	General Algebra	5	C	Cr+Ex	FSI
AEU	English for Europe	3	E	Cr+Ex	FIT
ATA	Automated Testing and Dynamic Analysis	5	E	Ex	FIT
BDA	Blockchain and Decentralised Applicatons	5	E	Cr+Ex	FIT
BIF	Bioinformatics	5	E	Ex	FIT
BIN	Bio-Inspired Computers	5	E	Ex	FIT
BZA	Secure Hardware Devices	5	E	Ex	FIT
CE2	CCNP Enterprise: Advanced Routing (ENARSI)	5	E	ClCr	FIT
CPSa	Cyber-Physical Systems Design (in English)	5	E	Ex	FIT
CSOa	CCNA Cybersecurity Operations (in English)	5	E	ClCr	FIT
DFAa	Digital Forensics (in English)	5	E	Ex	FIT
DJA	Dynamic Languages ^*)	5	E	Ex	FIT
EVO	Applied Evolutionary Algorithms	5	E	Ex	FIT
FIK	Philosophy and the Culture	3	E	Cr	FIT
FIT	History and Philosophy of Technology ^*)	3	E	Cr	FIT
FVS	Functional Verification of Digital Systems	5	E	Ex	FIT
FYO	Physical Optics	5	E	Ex	FIT
GIS	Geographical Information Systems ^*)	5	E	Cr+Ex	FIT
HKO	Communication and Presentation Skills	3	E	Cr	FIT
HVR	Leadership and Time Management	3	E	Cr	FIT
JA3	Conversation through Hot Current Issues	3	E	Cr+Ex	FIT
KKO	Data Coding and Compression	5	E	Cr+Ex	FIT
KNN	Convolutional Neural Networks	5	E	ClCr	FIT
KRY	Cryptography	5	E	Cr+Ex	FIT
LOG	Logic	5	E	Cr+Ex	FIT
MBA	Model-Based Analysis	5	E	Ex	FIT
MPA-SYS	Systems Biology	5	E	Cr+Ex	FEKT
MPC-MAT	Matrices and Tensors Calculus	5	E	Cr+Ex	FEKT
MPR	Project Management	5	E	Cr+Ex	FIT
MUL	Multimedia	5	E	Ex	FIT
NAV	Design of Embedded Systems	5	E	Ex	FIT
NSB	Projecting, Administration and Security	5	E	Cr+Ex	FIT
PDS	Data Communications, Computer Networks and Protocols	5	E	Ex	FIT
PIS	Advanced Information Systems	5	E	Cr+Ex	FIT
PMA	Project Manager	5	E	ClCr	FIT
POS	Advanced Operating Systems	5	E	Ex	FIT
PP1	Project Practice 1	5	E	ClCr	FIT
PPP	Practical Parallel Programming	5	E	Cr+Ex	FIT
PRM	Fundamentals of Law	3	E	Cr	FIT
RET	Rhetoric	3	E	Cr	FIT
SNT	Simulation Tools and Techniques	5	E	Cr+Ex	FIT
SPP	Fault Tolerant Systems	5	E	Cr+Ex	FIT
SUR	Machine Learning and Recognition	5	E	Ex	FIT
TOI	Principles and Design of IoT	5	E	Cr+Ex	FIT
UXIa	User Experience and Design of User Interfaces and Services (in English)	5	E	ClCr	FIT
VGE	Computational Geometry	5	E	Ex	FIT
VIZa	Visualization and CAD (in English)	5	E	ClCr	FIT
VNV	High Performance Computations	5	E	Ex	FIT
VYF	Computational Photography ^*)	5	E	ClCr	FIT
WAP	Internet Applications	5	E	Cr+Ex	FIT
ZPO	Image Processing	5	E	Ex	FIT
ZPX	Professional Practice, Abroad	5	E	Cr	FIT
ZRE	Speech Signal Processing	5	E	Ex	FIT

Course is not open in this academic year

Compl: Course completion: Ex - examination, Cr - credit, ClCr - classified credit, Co - colloquium
Duty: C - compulsory, CEx - compulsory-elective group x, R - recommended, E - elective

Degree Programme

Mathematical Methods

Choose academic year and curriculum

1st year of study, winter semester

1st year of study, summer semester

2nd year of study, winter semester

2nd year of study, summer semester

all years of study, winter semester

all years of study, summer semester