Field of Study Details

Mathematical Methods in Information Technology

Abbreviation: MMM

Length of Study: 2 years

Min. Credits: 120

Degree Programme: Information Technology

Language of Instruction: Czech

Form of Study: full-time

Accredited from: 2005 Accredited till: 2024 Last admissions: 2019

Profile

The goal of the study branch of Mathematical Methods in Information Technologies 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 and of the theoretical basis of computer science and 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, the areas of high performance computing, modelling, simulation and optimization, 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 choice of optional courses together with the diploma thesis will then allow the students to individually narrow down their focus on various theoretical or application areas. 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.

Key learning outcomes

Student of the Follow-Up Master Degree Programme acquire deeper knowledge in a chosen branch of study and will give him knowledge and skills base to analyse, design and verification of problems solved in research and scientific as well as in the practice This guarantee that the alumni will be successful creative worker in the appropriate information technology branch.

Guarantor
Occupational profiles of graduates with examples

An alumnus of the master degree programme is ready to solve problems of information technology in praxis with utilization of contemporary scientific knowledge independently. The alumnus is able to act as an independent creative worker in the appropriate information technology branch, namely information systems and their security and safety, intelligent systems, computer systems, networks and communications, computer graphics and multimedia or a leader of a team composed of workers of various branches of IT.

Extent of the State Final Examinations

The final state examination has two parts: A defense of the master thesis and a discussion about selected topics from predefined areas of the study branch. These areas cover the compulsory courses of the study branch, in particular: Mathematical Structures in Computer Science, Theoretical Computer Science, Logic, Graph Algorithms, Parallel and Distributed Algorithms, Functional and Logic Programming, Formal Analysis and Verification, Petri Nets, High Performance Computations, Compiler Construction, and Game Theory. The concrete areas of possible questions must be approved by the Study Branch Council, and students will be informed about the selected topics at least 2 months before the state final examination is held in the particular academic year.

Examples of theses
  • Formal verification of correctness of drivers in operating systems
  • Automated methods for finding bugs in compilers
  • Automated support for programming application-specific processors
  • Grammatical systems with scattered context and natural language processing
  • Simulation of  selected phenomena from the Linux kernel influencing its performance
  • Applications of the mathematical game theory in simulation and analysis of the market with electricity
  • Model-driven design of critical applications based on the systems theory
  • Highly precise computations in real time
  • Concurrent solution of simple differential equations of higher orders
  • Isomorphism in general as well as special graphs

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

1st year of study, winter semester

AbbrvTitleCredDutyComplFa
MATMathematical Structures in Computer Science *)5CExFIT
TINTheoretical Computer Science7CCr+ExFIT

1st year of study, summer semester

AbbrvTitleCredDutyComplFa
PP1Project Practice 15EClCrFIT

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
GALGraph Algorithms5CExFIT
SAVStatic Analysis and Verification5CCr+ExFIT
THEGame Theory5CCr+ExFIT
VYPaCompiler Construction (in English)5CExFIT
BISInformation System Security5CEBCr+ExFIT
AEUEnglish for Europe3CEHCr+ExFIT
FCEEnglish: Practical Course of Business Conversation and Presentation3CEHCrFIT
FIKPhilosophy and the Culture2CEHCrCVP
FITHistory and Philosophy of Technology2CEHCrCVP
HKOCommunication and Presentation Skills3CEHCrFIT
HVRLeadership and Time Management3CEHCrFIT
JA3Conversation through Hot Current Issues3CEHCr+ExFIT
PRMFundamentals of Law2CEHCrCVP
RETRhetoric2CEHCrCVP
AGSAgents and Multiagent Systems5CENExFIT
SFCSoft Computing5CENCr+ExFIT
AISInformation Systems Analysis and Design5ECr+ExFIT
AVSComputation Systems Architectures5ECr+ExFIT
BIOBiometric Systems5ECr+ExFIT
BMSWireless and Mobile Networks5ECr+ExFIT
EIPEconomics of Information Products *)5EExFIT
GJAGraphical User Interfaces in Java5ECr+ExFIT
GMUGraphic and Multimedia Processors *)5ECr+ExFIT
GUXGraphical User Interfaces in X Window System *)5EExFIT
GZNGraphical and Sound Interfaces and Standards5EExFIT
HSCHardware/Software Codesign5ECr+ExFIT
PCSAdvanced Digital Systems5EExFIT
PDBAdvanced Database Systems5ECr+ExFIT
PDIDistributed Application Environment5EExFIT
PGPaAdvanced Computer Graphics (in English)5EExFIT
PGRComputer Graphics5EExFIT
PKSaAdvanced Communication Systems5ECr+ExFIT
POVaComputer Vision (in English)5EExFIT
ROBaRobotics (in English)5EExFIT
SEMSensors and Measurement5ECr+ExFIT
SINIntelligent Systems5EExFIT
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
FLPFunctional and Logic Programming5CCr+ExFIT
LOGLogic5CCr+ExFIT
MBAModel-Based Analysis5CExFIT
PRLParallel and Distributed Algorithms5CCr+ExFIT
VNVHigh Performance Computations5CExFIT
KKOData Coding and Compression5CEBCr+ExFIT
KRYCryptography5CEBCr+ExFIT
AEUEnglish for Europe3CEHCr+ExFIT
FIKPhilosophy and the Culture2CEHCrCVP
FITHistory and Philosophy of Technology2CEHCrCVP
HKOCommunication and Presentation Skills3CEHCrFIT
HVRLeadership and Time Management3CEHCrFIT
JA3Conversation through Hot Current Issues3CEHCr+ExFIT
PRMFundamentals of Law2CEHCrCVP
RETRhetoric2CEHCrCVP
DJADynamic Languages *)5CELExFIT
SLOaComplexity (in English)5CELExFIT
OPMOptimization4CEMCr+ExFIT
SNTSimulation Tools and Techniques5CEMCr+ExFIT
BINBio-Inspired Computers5CENExFIT
BIFBioinformatics5EExFIT
BZASecure Hardware Devices5EExFIT
CSOaCCNA Cybersecurity Operations (in English)5EClCrFIT
DFAaDigital Forensics (in English)5EExFIT
EVOApplied Evolutionary Algorithms5EExFIT
FVSFunctional Verification of Digital Systems *)5EExFIT
FYOPhysical Optics5EExFIT
GISGeographical Information Systems *)5ECr+ExFIT
MPC-MATMatrices and Tensors Calculus5ECr+ExFEKT
MPRProject Management5ECr+ExFIT
MULMultimedia5EExFIT
NAVDesign of Embedded Systems5EExFIT
NSBProjecting, Administration and Security5ECr+ExFIT
PDSData Communications, Computer Networks and Protocols5EExFIT
PISAdvanced Information Systems5ECr+ExFIT
PMAProject Manager5EClCrFIT
POSAdvanced Operating Systems5EExFIT
PPPPractical Parallel Programming5ECr+ExFIT
RTSaReal-Time Systems (in English)5EExFIT
SPPFault Tolerant Systems5ECr+ExFIT
UXIaUser Experience and Design of User Interfaces and Services (in English)5EClCrFIT
VGEComputational Geometry5EExFIT
VIZaVisualization and CAD (in English)5EClCrFIT
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

Compulsory-elective groups

AbbrvMin. coursesMax. coursesMin.credOver asCoursesTitle
B190EBIS, KKO, KRYCryptography, Coding and Security
H110EAEU, FCE, FIK, FIT, HKO, HVR, JA3, PRM, RETSocial Course
L190EDJA, SLOaProgramming Languages,Computability and Complexity
M190EOPM, SNTModelling, Simulation and Optimalization
N190EAGS, BIN, SFCUnconventional Computing Methods
If you are allowed to enroll more CE courses than the required minimum, then successfully completed courses that exceed Min. courses (or Min.cred, if not 0) of the CE group, will be assigned as courses of duty Over as.
Back to top