Specialization Details

Mathematical Methods

Abbreviation: NMAT

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

Profile

The goal of the study branch of Mathematical Methods is to acquaint students with deeper mathematical roots of information technologies and teach them how to understand, practically apply as well as further develop advanced technologies built on these roots. Within the compulsory courses of the study branch, the students will mainly improve their knowledge of mathematics, of the theoretical basis of computer science, and of artificial inteligence and machine learning. They will get familiar with their advanced applications in selected areas of information technologies. In particular, this concerns the areas of compilers, methods of automated analysis, verification, and testing of correctness of computer-based systems, and/or applications of the game theory as a support of rational strategic decision-making in conflict situations (e.g., in economics, security, etc.). The obtained deeper theoretical knowledge and acquaintance with their various applications will allow the graduates to practically apply various highly advanced modern technologies, including non-standard technologies as well as technologies currently under development, will allow them to find positions in companies (or divisions of companies) focused on research and development of new information technologies with a mathematical basis, and/or will give them a solid training for subsequent PhD studies.

Guarantor
Occupational profiles of graduates with examples
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

Choose academic year and curriculum

1st year of study, winter semester

AbbrvTitleCredDutyComplFa
MSPStatistics and Probability6CCr+ExFME
TINTheoretical Computer Science7CCr+ExFIT

1st year of study, summer semester

AbbrvTitleCredDutyComplFa
FLPFunctional and Logic Programming5CCr+ExFIT
PRLParallel and Distributed Algorithms5CCr+ExFIT

2nd year of study, winter semester

AbbrvTitleCredDutyComplFa
SEPSemester Project5CClCrFIT
PP2Project Practice 25EClCrFIT

2nd year of study, summer semester

AbbrvTitleCredDutyComplFa
DIPMaster's Thesis13CCrFIT

all years of study, winter semester

AbbrvTitleCredDutyComplFa
AVSComputation Systems Architectures5CCr+ExFIT
SAVStatic Analysis and Verification5CCr+ExFIT
GALGraph Algorithms5CExFIT
SUIArtificial Intelligence and Machine Learning5CExFIT
THEGame Theory5CCr+ExFIT
UPAData Storage and Preparation5CCr+ExFIT
VYPaCompiler Construction (in English)5CExFIT
AEUEnglish for Europe3ECr+ExFEEC
AGSAgents and Multiagent Systems5EExFIT
AISInformation Systems Analysis and Design5ECr+ExFIT
BAYaBayesian Models for Machine Learning (in English)5EExFIT
BIOBiometric Systems5ECr+ExFIT
BISInformation System Security5ECr+ExFIT
BMSWireless and Mobile Networks5ECr+ExFIT
CCSDesign and Security of Enterprise Networks5EClCrFIT
CZSaDigital Signal Processing (in English)5EExFIT
C1PImplementing Cisco IP Routing (ROUTE)5EClCrFIT
C2PImplementing Cisco IP Switched Networks (SWITCH) *)5EClCrFIT
C3PTroubleshooting and Maintaining Cisco IP Networks (TSHOOT) *)5EClCrFIT
EIPEconomics of Information Products *)5EExFIT
FCEEnglish: Practical Course of Business Conversation and Presentation3ECrFIT
FIKPhilosophy and the Culture *)3ECrILL
FITHistory and Philosophy of Technology3ECrILL
GJAGraphical User Interfaces in Java5ECr+ExFIT
GMUGraphic and Multimedia Processors5ECr+ExFIT
GUXGraphical User Interfaces in X Window System *)5EExFIT
GZNGraphical and Sound Interfaces and Standards5EExFIT
HKOCommunication and Presentation Skills3ECrFIT
HSCHardware/Software Codesign5ECr+ExFIT
HVRLeadership and Time Management3ECrFIT
JA3Conversation through Hot Current Issues3ECr+ExFEEC
MATMathematical Structures in Computer Science *)5EExFME
MOGMolecular Genetics3EExFCH
PBIAdvanced Bioinformatics4EExFIT
PCGParallel Computations on GPU5EExFIT
PCSAdvanced Digital Systems5EExFIT
PDBAdvanced Database Systems5ECr+ExFIT
PDIDistributed Application Environment5EExFIT
PGPaAdvanced Computer Graphics (in English)5EExFIT
PGRComputer Graphics5EExFIT
PKSAdvanced Communication Systems5ECr+ExFIT
POVaComputer Vision (in English)5EExFIT
PRMFundamentals of Law3ECrILL
RETRhetoric3ECrILL
ROBaRobotics (in English)5EExFIT
RTSaReal-Time Systems (in English)5EExFIT
SEMSensors and Measurement5ECr+ExFIT
SFCSoft Computing5ECr+ExFIT
SINIntelligent Systems5EExFIT
SLALinear Algebra6ECr+ExFME
SRIStrategic Management of Information Systems5EExFIT
TAMaApplication Development for Mobile Devices (in English)5EClCrFIT
VINComputer Art5EClCrFIT
ZPJaNatural Language Processing (in English) *)5EExFIT
ZPXProfessional Practice, Abroad5ECrFIT
ZZNKnowledge Discovery in Databases5ECr+ExFIT

all years of study, summer semester

AbbrvTitleCredDutyComplFa
ALGAlgebra5CCr+ExFME
MTIaModern Trends in Informatics (in English)4CClCrFIT
SLOaComplexity (in English)5CExFIT
PPPPractical Parallel Programming5ECr+ExFIT
ATAAutomated Testing and Dynamic Analysis5EExFIT
BIFBioinformatics5EExFIT
BINBio-Inspired Computers5EExFIT
BZASecure Hardware Devices5EExFIT
CPSaCyber-Physical Systems Design (in English)5EExFIT
CSOaCCNA Cybersecurity Operations (in English)5EClCrFIT
C1PImplementing Cisco IP Routing (ROUTE) *)5EClCrFIT
C2PImplementing Cisco IP Switched Networks (SWITCH)5EClCrFIT
C3PTroubleshooting and Maintaining Cisco IP Networks (TSHOOT) *)5EClCrFIT
DFAaDigital Forensics (in English)5EExFIT
DJADynamic Languages5EExFIT
EVOApplied Evolutionary Algorithms5EExFIT
FIKPhilosophy and the Culture3ECrILL
FITHistory and Philosophy of Technology *)3ECrILL
FVSFunctional Verification of Digital Systems5EExFIT
FYOPhysical Optics5EExFEEC
GISGeographical Information Systems *)5ECr+ExFIT
HKOCommunication and Presentation Skills3ECrFIT
HVRLeadership and Time Management3ECrFIT
SURMachine Learning and Recognition5EExFIT
JA3Conversation through Hot Current Issues3ECr+ExFEEC
KKOData Coding and Compression5ECr+ExFIT
KNNConvolutional Neural Networks5EClCrFIT
KRYCryptography5ECr+ExFIT
LOGLogic5ECr+ExFME
MMATMatrices and Tensors Calculus5ECr+ExFEEC
MPRProject Management5ECr+ExFIT
MULMultimedia5EExFIT
NAVDesign of Embedded Systems5EExFIT
NSBProjecting, Administration and Security5ECr+ExFIT
PDSData Communications, Computer Networks and Protocols5EExFIT
MBAModel-Based Analysis5EExFIT
PISAdvanced Information Systems5ECr+ExFIT
PMAProject Manager5EClCrFIT
POSAdvanced Operating Systems *)5EExFIT
PP1Project Practice 15ECrFIT
PRMFundamentals of Law3ECrILL
RETRhetoric3ECrILL
SNTSimulation Tools and Techniques5ECr+ExFIT
SPPFault Tolerant Systems5ECr+ExFIT
TOIPrinciples and Design of IoT5ECr+ExFIT
UXIaUser Experience and Design of User Interfaces and Services (in English)5EClCrFIT
VGEComputational Geometry5EExFIT
VIZaVisualization and CAD (in English)5EClCrFIT
VNVHigh Performance Computations5EExFIT
VYFComputational Photography5EClCrFIT
WAPInternet Applications5ECr+ExFIT
ZPOImage Processing5EExFIT
ZPXProfessional Practice, Abroad5ECrFIT
ZRESpeech Signal Processing5EExFIT
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
Back to top