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.Com.Compl.Hod. rozsahGr.Op.
MATMathematical Structures in Computer Sciencecs, en5CompulsoryExP - 39 / COZ - 13yes
TINTheoretical Computer Sciencecs7CompulsoryCr,ExP - 39 / COZ - 26 / PR - 13yes
SMTSeminar of Mathematical Structurescs2ElectiveCrS - 26yes
1. year of study, summer semester
AbbreviationTitleL.Cr.Com.Compl.Hod. rozsahGr.Op.
PP1Project Practice 1cs, en5ElectiveCrPR - 52yes
2. year of study, winter semester
AbbreviationTitleL.Cr.Com.Compl.Hod. rozsahGr.Op.
SEPSemester Projectcs, en5CompulsoryGCrPR - 65yes
PP2Project Practice 2cs5ElectiveGCrPR - 52yes
2. year of study, summer semester
AbbreviationTitleL.Cr.Com.Compl.Hod. rozsahGr.Op.
DIPMaster's Thesiscs, en13CompulsoryCrPR - 169yes
Any year of study, winter semester
AbbreviationTitleL.Cr.Com.Compl.Hod. rozsahGr.Op.
GALGraph Algorithmscs, en5CompulsoryExP - 39 / PR - 13yes
SAVStatic Analysis and Verificationcs5CompulsoryCr,ExP - 39 / PR - 13yes
THEGame Theorycs5CompulsoryCr,ExP - 26 / PR - 26yes
VYPaCompiler Construction (in English)en5CompulsoryExP - 39 / PR - 13yes
AGSAgents and Multiagent Systemscs5Compulsory-optionalExP - 26 / Cp - 13 / PR - 13Unconventional Computing Methodsyes
JA3Conversation through Hot Current Issuescs, en3Compulsory-optionalCr,ExCOZ - 26Social Courseyes
FCEEnglish: Practical Course of Business Conversation and Presentationcs, en3Compulsory-optionalCrCOZ - 26Social Courseyes
AEUEnglish for Europecs, en3Compulsory-optionalCr,ExCOZ - 26Social Courseyes
BISInformation System Securitycs5Compulsory-optionalCr,ExP - 39 / PR - 13Cryptography, Coding and Securityyes
FITHistory and Philosophy of Technologycs, en3Compulsory-optionalCrP - 26Social Courseyes
FIKPhilosophy and the Culturecs, en3Compulsory-optionalCrP - 26Social Courseno
HKOCommunication and Presentation Skillscs, en3Compulsory-optionalCrCOZ - 26Social Courseyes
HVRLeadership and Time Managementcs, en3Compulsory-optionalCrCOZ - 26Social Courseyes
PRMFundamentals of Lawcs, en3Compulsory-optionalCrP - 26Social Courseyes
RETRhetoriccs, en3Compulsory-optionalCrP - 26Social Courseyes
SFCSoft Computingcs5Compulsory-optionalCr,ExP - 26 / PR - 26Unconventional Computing Methodsyes
AISInformation Systems Analysis and Designcs5ElectiveCr,ExP - 39 / PR - 13yes
AVSComputation Systems Architecturescs5ElectiveCr,ExP - 26 / Cp - 12 / PR - 14yes
BMSWireless and Mobile Networkscs5ElectiveCr,ExP - 39 / PR - 13yes
BIOBiometric Systemscs5ElectiveCr,ExP - 39 / L - 6 / PR - 7yes
EIPEconomics of Information Productscs5ElectiveExP - 26 / COZ - 6 / Cp - 12 / PR - 8no
GZNGraphical and Sound Interfaces and Standardscs5ElectiveExP - 26 / Cp - 12 / PR - 14yes
GJAGraphical User Interfaces in Javacs, en5ElectiveCr,ExP - 26 / PR - 26yes
GUXGraphical User Interfaces in X Window Systemcs5ElectiveExP - 26 / PR - 26yes
GMUGraphic and Multimedia Processorscs5ElectiveCr,ExP - 26 / Cp - 8 / PR - 18yes
HSCHardware/Software Codesigncs, en5ElectiveCr,ExP - 39 / PR - 13yes
SINIntelligent Systemscs5ElectiveExP - 26 / COZ - 4 / PR - 22yes
PGRComputer Graphicscs, en5ElectiveExP - 39 / Cp - 6 / PR - 7yes
POVaComputer Vision (in English)en5ElectiveExP - 26 / PR - 26yes
PGPaAdvanced Computer Graphics (in English)en5ElectiveExP - 26 / PR - 26yes
PCSAdvanced Digital Systemscs5ElectiveExP - 26 / Cp - 10 / PR - 16yes
PDBAdvanced Database Systemscs, en5ElectiveCr,ExP - 26 / COZ - 6 / Cp - 6 / PR - 14yes
PKSAdvanced Communication Systemscs5ElectiveCr,ExP - 39 / L - 6 / PR - 7yes
PDIDistributed Application Environmentcs, en5ElectiveExP - 26 / Cp - 6 / PR - 20yes
ROBaRobotics (in English)en5ElectiveExP - 26 / L - 6 / PR - 20yes
SEMSensors and Measurementcs5ElectiveCr,ExP - 26 / COZ - 6 / L - 6 / PR - 14yes
C2PImplementing Cisco IP Switched Networks (SWITCH)cs5ElectiveGCrL - 52yes
SRIStrategic Management of Information Systemscs5ElectiveExP - 26 / COZ - 2 / Cp - 4 / PR - 20yes
RTSaReal-Time Systems (in English)en5ElectiveExP - 26 / Cp - 10 / PR - 16yes
TAMaApplication Development for Mobile Devices (in English)en5ElectiveGCrP - 26 / PR - 26yes
VINComputer Artcs5ElectiveGCrP - 26 / PR - 26yes
ZPXProfessional Practice, Abroaden5ElectiveCrPR - 52yes
ZZNKnowledge Discovery in Databasescs5ElectiveCr,ExP - 39 / PR - 13yes
ZPJaNatural Language Processing (in English)en5ElectiveExP - 26 / PR - 26yes
Any year of study, summer semester
AbbreviationTitleL.Cr.Com.Compl.Hod. rozsahGr.Op.
MBAModel-Based Analysiscs5CompulsoryExP - 39 / Cp - 6 / PR - 7yes
FLPFunctional and Logic Programmingcs5CompulsoryCr,ExP - 26 / Cp - 12 / PR - 14yes
LOGLogiccs5CompulsoryCr,ExP - 26 / COZ - 26yes
PRLParallel and Distributed Algorithmscs5CompulsoryCr,ExP - 39 / PR - 13yes
VNVHigh Performance Computationscs, en5CompulsoryExP - 26 / Cp - 26yes
JA3Conversation through Hot Current Issuescs, en3Compulsory-optionalCr,ExCOZ - 26Social Courseyes
AEUEnglish for Europecs, en3Compulsory-optionalCr,ExCOZ - 26Social Courseyes
BINBio-Inspired Computerscs5Compulsory-optionalExP - 26 / Cp - 8 / PR - 18Unconventional Computing Methodsyes
FITHistory and Philosophy of Technologycs, en3Compulsory-optionalCrP - 26Social Courseno
DJADynamic Languagescs5Compulsory-optionalExP - 26 / PR - 26Programming Languages,Computability and Complexityyes
FIKPhilosophy and the Culturecs, en3Compulsory-optionalCrP - 26Social Courseyes
KKOData Coding and Compressioncs5Compulsory-optionalCr,ExP - 26 / PR - 26Cryptography, Coding and Securityyes
KRYCryptographycs5Compulsory-optionalCr,ExP - 39 / PR - 13Cryptography, Coding and Securityyes
HKOCommunication and Presentation Skillscs, en3Compulsory-optionalCrCOZ - 26Social Courseyes
HVRLeadership and Time Managementcs, en3Compulsory-optionalCrCOZ - 26Social Courseyes
OPMOptimizationcs4Compulsory-optionalCr,ExP - 26 / Cp - 13Modelling, Simulation and Optimalizationyes
PRMFundamentals of Lawcs, en3Compulsory-optionalCrP - 26Social Courseyes
RETRhetoriccs, en3Compulsory-optionalCrP - 26Social Courseyes
SNTSimulation Tools and Techniquescs5Compulsory-optionalCr,ExP - 39 / PR - 13Modelling, Simulation and Optimalizationyes
SLOaComplexity (in English)en5Compulsory-optionalExP - 26 / PR - 26Programming Languages,Computability and Complexityyes
SSPStochastic Processescs4Compulsory-optionalCr,ExP - 26 / CPP - 13Modelling, Simulation and Optimalizationyes
EVOApplied Evolutionary Algorithmscs5ElectiveExP - 26 / Cp - 12 / PR - 14yes
BZASecure Hardware Devicescs5ElectiveExP - 39 / PR - 13yes
BIFBioinformaticscs5ElectiveExP - 26 / Cp - 12 / PR - 14yes
CSOaCCNA Cybersecurity Operations (in English)en5ElectiveGCrP - 26 / L - 26yes
C3PTroubleshooting and Maintaining Cisco IP Networks (TSHOOT)cs5ElectiveGCrL - 52yes
DFAaDigital Forensics (in English)en5ElectiveExP - 26 / L - 12 / PR - 14yes
FVSFunctional Verification of Digital Systemscs5ElectiveExP - 26 / L - 8 / PR - 18yes
FYOPhysical Opticscs, en5ElectiveExP - 26 / COZ - 13 / PR - 13yes
GISGeographical Information Systemscs5ElectiveCr,ExP - 26 / Cp - 10 / PR - 16no
WAPInternet Applicationscs5ElectiveCr,ExP - 39 / PR - 13yes
MPRProject Managementcs5ElectiveCr,ExP - 26 / COZ - 4 / Cp - 2 / PR - 20yes
MEKEconomics for Managerscs5ElectiveCr,ExP - 26 / COZ - 26no
HMRMarketingcs5ElectiveCr,ExP - 26 / C1 - 26yes
MMATMatrices and Tensors Calculuscs5ElectiveCr,ExP - 26 / CPP - 18 / O - 8yes
MULMultimediacs, en5ElectiveExP - 26 / Cp - 13 / PR - 13yes
NSBProjecting, Administration and Securitycs5ElectiveCr,ExP - 26 / L - 12 / PR - 6yes
NAVDesign of Embedded Systemscs5ElectiveExP - 26 / L - 16 / PR - 10yes
PISAdvanced Information Systemscs5ElectiveCr,ExP - 39 / PR - 13yes
POSAdvanced Operating Systemscs5ElectiveExP - 39 / PR - 13yes
PPPPractical Parallel Programmingcs5ElectiveCr,ExP - 26 / Cp - 16 / PR - 10yes
PMAProject Managercs5ElectiveGCrP - 26 / COZ - 26yes
PDSData Communications, Computer Networks and Protocolscs, en5ElectiveExP - 39 / COZ - 4 / L - 2 / PR - 26yes
C1PImplementing Cisco IP Routing (ROUTE)cs5ElectiveGCrL - 52no
STMStrategic Managementcs5ElectiveCr,ExP - 26 / COZ - 13 / PR - 13no
SPPFault Tolerant Systemscs5ElectiveCr,ExP - 26 / PR - 26yes
UXIaUser Experience and Design of User Interfaces and Services (in English)en5ElectiveGCrP - 16 / COZ - 10 / PR - 26yes
VIZaVisualization and CAD (in English)en5ElectiveGCrP - 26 / Cp - 12 / PR - 14yes
VYFComputational Photographycs5ElectiveGCrP - 26 / PR - 26yes
VGEComputational Geometrycs, en5ElectiveExP - 26 / PR - 26yes
ZPXProfessional Practice, Abroaden5ElectiveCrPR - 52yes
ZPOImage Processingcs, en5ElectiveExP - 26 / PR - 26yes
ZRESpeech Signal Processingcs, en5ElectiveExP - 26 / COZ - 2 / Cp - 12 / PR - 12yes
All the groups of optional courses
Gr. Min. courses 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