Branch Details

Mathematical Methods in Information Technology

Original title in Czech: Matematické metody v informačních technologiíchFITAbbreviation: MMMAcad. year: 2019/2020

Programme: Information Technology

Length of Study: 2 years

Accredited from: 1.1.2005Accredited until: 31.12.2024

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 branch acquire deeper theoretical knowledge in mathematics and informatics theory, which will be able to apply practically as well as to develop advanced technologies built on these roots. Study in this branch provide further extension of knowledge mainly in the area of compilers, methods of automated analysis, verification, and testing of correctness of computer-based systems, the area 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.

Supervisor


Course structure diagram with ECTS credits

1. year of study, winter semester
AbbreviationTitleL.Cr.Sem.Com.Compl.Gr.Op.
MATMathematical Structures in Computer Sciencecs5winterCompulsoryExyes
TINTheoretical Computer Sciencecs7winterCompulsoryCr,Exyes
SMTSeminar of Mathematical Structurescs2winterOptionalCryes
1. year of study, summer semester
AbbreviationTitleL.Cr.Sem.Com.Compl.Gr.Op.
PP1Project Practice 1cs5summerOptionalCryes
2. year of study, winter semester
AbbreviationTitleL.Cr.Sem.Com.Compl.Gr.Op.
SEPSemester Projectcs5winterCompulsoryGCryes
PP2Project Practice 2cs5winterOptionalGCryes
2. year of study, summer semester
AbbreviationTitleL.Cr.Sem.Com.Compl.Gr.Op.
DIPMaster's Thesiscs13summerCompulsoryCryes
Any year of study, winter semester
AbbreviationTitleL.Cr.Sem.Com.Compl.Gr.Op.
GALGraph Algorithmscs5winterCompulsoryExyes
SAVStatic Analysis and Verificationcs5winterCompulsoryCr,Exyes
THEGame Theorycs5winterCompulsoryCr,Exyes
VYPaCompiler Construction (in English)en5winterCompulsoryExyes
AGSAgents and Multiagent Systemscs5winterCompulsory-optionalExUnconventional Computing Methodsyes
JA3Conversation through Hot Current Issuescs3winterCompulsory-optionalCr,ExSocial Courseyes
FCEEnglish: Practical Course of Business Conversation and Presentationcs3winterCompulsory-optionalCrSocial Courseyes
AEUEnglish for Europecs3winterCompulsory-optionalCr,ExSocial Courseyes
BISInformation System Securitycs5winterCompulsory-optionalCr,ExCryptography, Coding and Securityyes
FITHistory and Philosophy of Technologycs3winterCompulsory-optionalCrSocial Courseyes
FIKPhilosophy and the Culturecs3winterCompulsory-optionalCrSocial Courseno
HKOCommunication and Presentation Skillscs3winterCompulsory-optionalCrSocial Courseyes
HVRLeadership and Time Managementcs3winterCompulsory-optionalCrSocial Courseyes
PRMFundamentals of Lawcs3winterCompulsory-optionalCrSocial Courseyes
RETRhetoriccs3winterCompulsory-optionalCrSocial Courseyes
SFCSoft Computingcs5winterCompulsory-optionalCr,ExUnconventional Computing Methodsyes
AISInformation Systems Analysis and Designcs5winterOptionalCr,Exyes
AVSComputation Systems Architecturescs5winterOptionalCr,Exyes
BMSWireless and Mobile Networkscs5winterOptionalCr,Exyes
BIOBiometric Systemscs5winterOptionalCr,Exyes
EIPEconomics of Information Productscs5winterOptionalExyes
GZNGraphical and Sound Interfaces and Standardscs5winterOptionalExyes
GJAGraphical User Interfaces in Javacs5winterOptionalCr,Exyes
GUXGraphical User Interfaces in X Window Systemcs5winterOptionalExyes
GMUGraphic and Multimedia Processorscs5winterOptionalCr,Exyes
HSCHardware/Software Codesigncs5winterOptionalCr,Exyes
SINIntelligent Systemscs5winterOptionalExyes
PGRComputer Graphicscs5winterOptionalExyes
POVaComputer Vision (in English)en5winterOptionalExyes
PGPaAdvanced Computer Graphics (in English)en5winterOptionalExyes
PCSAdvanced Digital Systemscs5winterOptionalExyes
PDBAdvanced Database Systemscs5winterOptionalCr,Exyes
PKSAdvanced Communication Systemscs5winterOptionalCr,Exyes
PDIDistributed Application Environmentcs5winterOptionalExyes
ROBaRobotics (in English)en5winterOptionalExyes
SEMSensors and measurementcs5winterOptionalCr,Exyes
C2PImplementing Cisco IP Switched Networks (SWITCH)cs5winterOptionalGCryes
SRIStrategic Management of Information Systemscs5winterOptionalExyes
RTSaReal-Time Systems (in English)en5winterOptionalExyes
TAMaApplication Development for Mobile Devices (in English)en5winterOptionalGCryes
VINComputer Artcs5winterOptionalGCryes
ZPXProfessional Practice, Abroaden5winterOptionalCryes
ZZNKnowledge Discovery in Databasescs5winterOptionalCr,Exyes
ZPJaNatural Language Processing (in English)en5winterOptionalExyes
Any year of study, summer semester
AbbreviationTitleL.Cr.Sem.Com.Compl.Gr.Op.
MBAModel-Based Analysiscs5summerCompulsoryExyes
FLPFunctional and Logic Programmingcs5summerCompulsoryCr,Exyes
LOGLogiccs5summerCompulsoryCr,Exyes
PRLParallel and Distributed Algorithmscs5summerCompulsoryCr,Exyes
VNVHigh Performance Computationscs5summerCompulsoryExyes
JA3Conversation through Hot Current Issuescs3summerCompulsory-optionalCr,ExSocial Courseyes
AEUEnglish for Europecs3summerCompulsory-optionalCr,ExSocial Courseyes
BINBio-Inspired Computerscs5summerCompulsory-optionalExUnconventional Computing Methodsyes
FITHistory and Philosophy of Technologycs3summerCompulsory-optionalCrSocial Courseno
DJADynamic Languagescs5summerCompulsory-optionalExProgramming Languages,Computability and Complexityyes
FIKPhilosophy and the Culturecs3summerCompulsory-optionalCrSocial Courseyes
KKOData Coding and Compressioncs5summerCompulsory-optionalCr,ExCryptography, Coding and Securityyes
KRYCryptographycs5summerCompulsory-optionalCr,ExCryptography, Coding and Securityyes
HKOCommunication and Presentation Skillscs3summerCompulsory-optionalCrSocial Courseyes
HVRLeadership and Time Managementcs3summerCompulsory-optionalCrSocial Courseyes
OPMOptimizationcs4summerCompulsory-optionalCr,ExModelling, Simulation and Optimalizationyes
PRMFundamentals of Lawcs3summerCompulsory-optionalCrSocial Courseyes
RETRhetoriccs3summerCompulsory-optionalCrSocial Courseyes
SNTSimulation Tools and Techniquescs5summerCompulsory-optionalCr,ExModelling, Simulation and Optimalizationyes
SLOaComplexity (in English)en5summerCompulsory-optionalExProgramming Languages,Computability and Complexityyes
SSPStochastic Processescs4summerCompulsory-optionalCr,ExModelling, Simulation and Optimalizationyes
EVOApplied Evolutionary Algorithmscs5summerOptionalExyes
BZASecure Hardware Devicescs5summerOptionalExyes
BIFBioinformaticscs5summerOptionalExyes
CSOaCCNA Cybersecurity Operations (in English)en5summerOptionalGCryes
C3PTroubleshooting and Maintaining Cisco IP Networks (TSHOOT)cs5summerOptionalGCryes
DFAaDigital Forensics (in English)en5summerOptionalExyes
FVSFunctional Verification of Digital Systemscs5summerOptionalExyes
FYOPhysical Opticscs5summerOptionalExyes
GISGeographical Information Systemscs5summerOptionalCr,Exno
WAPInternet Applicationscs5summerOptionalCr,Exyes
MPRProject Managementcs5summerOptionalCr,Exyes
MEKEconomics for Managerscs5summerOptionalCr,Exno
HMRMarketingcs5summerOptionalCr,Exyes
MMATMatrices and Tensors Calculuscs5summerOptionalCr,Exyes
MULMultimediacs5summerOptionalExyes
NSBProjecting, Administration and Securitycs5summerOptionalCr,Exyes
NAVDesign of Embedded Systemscs5summerOptionalExyes
PISAdvanced Information Systemscs5summerOptionalCr,Exyes
POSAdvanced Operating Systemscs5summerOptionalExyes
PPPPractical Parallel Programmingcs5summerOptionalCr,Exyes
PMAProject Managercs5summerOptionalGCryes
PDSData Communications, Computer Networks and Protocolscs5summerOptionalExyes
C1PImplementing Cisco IP Routing (ROUTE)cs5summerOptionalGCrno
STMStrategic Managementcs5summerOptionalCr,Exno
SPPFault Tolerant Systemscs5summerOptionalCr,Exyes
UXIaUser Experience and Design of User Interfaces and Services (in English)en5summerOptionalGCryes
VIZaVisualization and CAD (in English)en5summerOptionalGCryes
VYFComputational Photographycs5summerOptionalGCryes
VGEComputational Geometrycs5summerOptionalExyes
ZPXProfessional Practice, Abroaden5summerOptionalCryes
ZPOImage Processingcs5summerOptionalExyes
ZRESpeech Signal Processingcs5summerOptionalExyes
All the groups of optional courses
Gr. Min. credits Courses
Social Course 1 JA3, FCE, AEU, FIT, FIK, HKO, HVR, PRM, RET
Unconventional Computing Methods 1 AGS, SFC
Cryptography, Coding and Security 1 BIS
Cryptography, Coding and Security 1 KKO, KRY
Unconventional Computing Methods 1 BIN
Programming Languages,Computability and Complexity 1 DJA, SLOa
Modelling, Simulation and Optimalization 1 OPM, SNT, SSP
Social Course 1 JA3, AEU, FIT, FIK, HKO, HVR, PRM, RET