• Brno University of Technology - Centre of Sports Activities
  • Research centres

  • Pravděpodobně máte vypnutý JavaScript. Některé funkce portálu nebudou funkční.

Branch detail

Mathematical Methods in Information Technology


Original title in Czech: Matematické metody v informačních technologiích
Abbreviation: MMM
Specialisation: -
Length of Study: 2 years
Programme: Information Technology
Faculty: Faculty of Information Technology
Academic year: 2017/2018
Accredited from: 30.6.2014
Accredited until: 31.12.2022
Profile of the branch:
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 ares of high performance computing, modeling, 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 moder 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, modeling, simulation and optimization, and/or applications of the game theory as a support of rational strategic decision-making in conflict situations.
Occupational profiles of graduates with examples:

  • A graduate has a deep knowledge of the mathematical roots of information technologies and their various advanced applications, in particular, compilers, automated methods of analysis, verification, and testing of correctness of computer-based systems, computer-aided modeling, simulation, and optimization, fault tolerance, game theory, high performance computing technologies, cryptography and codes, and/or unconventional and newly emerging computing platforms.
  • A graduate is qualified for research, development, and applications of various advanced technologies, including highly unconventional technologies, requiring a deeper understanding of the mathematical roots of computer science. The acquired knowledge of the theoretical basis of information technologies makes the graduate very flexible and able to easily get familiar with new discoveries and technologies.
  • Students graduating from the study branch can make their professional career especially in research and development divisions as well as production divisions of various companies and institutions interested in development and applications of advanced technologies from the areas of automated analysis, verification, and testing of computer-based systems; compilers; technologies for synthesis of hardware or software from high-level specifications; modeling, simulation, and optimization of systems (including companies and institutions interested in simulation, prediction, and optimization for the needs of energetics, economics, security, etc.); technologies for high performance computing in science and engineering; and/or technologies for development of critical systems with a special emphasis on reliability and security. Moreover, with respect to their deep knowledge of algorithmics, they can find positions also in other areas of the IT industry, focused on development and maintenance of complex, computationally demanding software products (e.g., within running and optimizing large databases, information systems, computer networks, etc.). An important possibility is also a career of the graduates in science and/or education.
Branch supervisor: prof. Ing. Tomáš Vojnar, Ph.D.

Course structure diagram with ECTS credits

Year of study 1, winter semester

Code Title L. Cr. Sem. Com. Compl. Gr. Op.

Compulsory
FIT-MAT Mathematical Structures in Computer S... cs  5  winter C Ex   yes
FIT-TIN Theoretical Computer Science cs  5  winter C Ac,Ex   yes

Optional
FIT-STI Theoretical Computer Science Seminar cs  2  winter O Ac   yes
 


Year of study 2, winter semester

Code Title L. Cr. Sem. Com. Compl. Gr. Op.

Compulsory
FIT-SEP Term Project cs  5  winter C ClAc   yes
 


Year of study 2, summer semester

Code Title L. Cr. Sem. Com. Compl. Gr. Op.

Compulsory
FIT-DIP Master's Thesis cs  13  summer C Ac   yes
 


All study optional courses, winter semester

Code Title L. Cr. Sem. Com. Compl. Gr. Op.

Compulsory
FIT-FAV Formal Analysis and Verification cs  5  winter C Ac,Ex   yes
FIT-GAL Graph Algorithms cs  5  winter C Ex   yes
FIT-THE Game Theory cs  4  winter C Ac,Ex   yes
FIT-VYPa Compiler Construction en  5  winter C Ex   yes

Compulsory-optional
FIT-AEU English for Europe cs  3  winter CO Ac,Ex   yes
FIT-FCE English: Preparatory Course for FCE Exam cs  3  winter CO Ac   yes
FIT-BIS Information System Security cs  5  winter CO Ac,Ex   yes
FIT-FIT History and Philosophy of Technology cs  3  winter CO Ac   yes
FIT-HKO Communication Skills cs  3  winter CO Ac   yes
FIT-HKA Assertiveness and Conflicts cs  3  winter CO Ac   yes
FIT-PRM Fundamentals of Law cs  3  winter CO Ac   yes
FIT-HPR Presentation Skills cs  3  winter CO Ac   yes
FIT-HPO Personality Psychology cs  3  winter CO Ac   yes
FIT-RET Rhetoric cs  3  winter CO Ac   yes
FIT-SFC Soft Computing cs  5  winter CO Ac,Ex   yes
FIT-HVR Leadership and People Management cs  3  winter CO Ac   yes

Optional
FIT-AIS Information Systems Analysis and Design cs  5  winter O Ac,Ex   yes
FIT-ACH Processor Architecture cs  5  winter O Ac,Ex   yes
FIT-BMS Wireless and Mobile Networks cs  5  winter O Ac,Ex   yes
FIT-BIO Biometric Systems cs  5  winter O Ac,Ex   yes
FIT-EIP Economics of Information Products cs  5  winter O Ex   yes
FIT-GZN Graphical and Sound Interfaces and St... cs  5  winter O Ex   yes
FIT-GJA Graphical User Interfaces in Java cs  5  winter O Ac,Ex   yes
FIT-GUX Graphical User Interfaces in X Window... cs  5  winter O Ex   yes
FIT-GMU Graphic and Multimedia Processors cs  5  winter O Ac,Ex   yes
FIT-HSC Hardware/Software Codesign cs  5  winter O Ac,Ex   yes
FIT-SEN Intelligent Sensors cs  5  winter O Ac,Ex   yes
FIT-SIN Intelligent Systems cs  5  winter O Ex   yes
FIT-MOB Modelling of Biological Systems cs  4  winter O Ac,Ex   yes
FIT-PGR Computer Graphics cs  5  winter O Ex   yes
FIT-POVa Computer Vision en  5  winter O Ex   yes
FIT-PGPa Advanced Computer Graphics en  5  winter O Ex   yes
FIT-PCS Advanced Digital Systems cs  5  winter O Ex   yes
FIT-PDB Advanced Database Systems cs  5  winter O Ac,Ex   yes
FIT-PKS Advanced Communication Systems cs  5  winter O Ac,Ex   yes
FIT-PDI Distributed Application Environment cs  5  winter O Ex   yes
FIT-ROBa Robotics en  5  winter O Ex   yes
FIT-SMT Seminar of Mathematical Structures cs  2  winter O Ac   yes
FIT-SRI Strategic Management of Information S... cs  5  winter O Ex   yes
FIT-TAMa Application Development for Mobile De... en  5  winter O ClAc   yes
FIT-VIN Computer Art cs  5  winter O ClAc   yes
FIT-ZPX Professional Practice, Abroad en  5  winter O Ac   yes
FIT-ZZN Knowledge Discovery in Databases cs  5  winter O Ac,Ex   yes
FIT-ZPJa Natural Language Processing en  5  winter O Ex   yes
 


All study optional courses, summer semester

Code Title L. Cr. Sem. Com. Compl. Gr. Op.

Compulsory
FIT-FLP Functional and Logic Programming cs  5  summer C Ac,Ex   yes
FIT-LOG Logic cs  5  summer C Ac,Ex   yes
FIT-PRL Parallel and Distributed Algorithms cs  5  summer C Ac,Ex   yes
FIT-PES Petri Nets cs  5  summer C Ex   yes
FIT-VNV High Performance Computations cs  5  summer C Ex   yes

Compulsory-optional
FIT-AGS Agents and Multiagent Systems cs  5  summer CO Ex   yes
FIT-BIN Bio-Inspired Computers cs  5  summer CO Ex   yes
FIT-DJA Dynamic Languages cs  5  summer CO Ex   yes
FIT-FIK Philosophy and the Culture cs  3  summer CO Ac   yes
FIT-KKO Data Coding and Compression cs  5  summer CO Ac,Ex   yes
FIT-HKO Communication Skills cs  3  summer CO Ac   yes
FIT-HKA Assertiveness and Conflicts cs  3  summer CO Ac   yes
FIT-KRY Cryptography cs  5  summer CO Ac,Ex   yes
FIT-OPM Optimization cs  4  summer CO Ac,Ex   yes
FIT-PRM Fundamentals of Law cs  3  summer CO Ac   yes
FIT-HPR Presentation Skills cs  3  summer CO Ac   yes
FIT-HPO Personality Psychology cs  3  summer CO Ac   yes
FIT-RET Rhetoric cs  3  summer CO Ac   yes
FIT-SNT Simulation Tools and Techniques cs  5  summer CO Ac,Ex   yes
FIT-SLOa Complexity en  5  summer CO Ex   yes
FSI-SSP Stochastic Processes cs  4  summer CO Ac,Ex   yes
FIT-HVR Leadership and People Management cs  3  summer CO Ac   yes

Optional
FIT-EVO Applied Evolutionary Algorithms cs  5  summer O Ex   yes
FIT-ARC Parallel System Architecture and Prog... cs  5  summer O Ac,Ex   yes
FIT-BIF Bioinformatics cs  5  summer O Ex   yes
FIT-FVS Functional Verification of Digital Sy... cs  5  summer O Ex   yes
FIT-FYO Physical Optics cs  5  summer O Ex   yes
FIT-WAP Internet Applications cs  5  summer O Ac,Ex   yes
FIT-MPR Project Management cs  5  summer O Ac,Ex   yes
FIT-MEK Economics for Managers cs  5  summer O Ac,Ex   yes
FIT-MAR Marketing cs  5  summer O Ac,Ex   yes
FEKT-MMAT Matrices and Tensors Calculus cs  5  summer O Ac,Ex   yes
FIT-MUL Multimedia cs  5  summer O Ex   yes
FIT-NAV Design of External Adapters and Embed... cs  5  summer O Ex   yes
FIT-NSB Projecting, Administration and Security cs  5  summer O Ac,Ex   yes
FIT-PIS Advanced Information Systems cs  5  summer O Ac,Ex   yes
FIT-POS Advanced Operating Systems cs  5  summer O Ex   yes
FIT-PMA Project Manager cs  5  summer O ClAc   yes
FIT-PDS Data Communications, Computer Network... cs  5  summer O Ex   yes
FIT-ROSa Real-Time Operating Systems en  5  summer O Ex   yes
FIT-STM Strategic Management cs  5  summer O Ac,Ex   yes
FIT-SPP Fault Tolerant Systems cs  5  summer O Ac,Ex   yes
FIT-VIZa Visualization and CAD en  5  summer O ClAc   yes
FIT-VYF Computational Photography cs  5  summer O ClAc   yes
FIT-VGE Computational Geometry cs  5  summer O Ex   yes
FIT-MZS Advanced Methods of Signal Processing cs  6  summer O Ac,Ex   yes
FIT-ZPX Professional Practice, Abroad en  5  summer O Ac   yes
FIT-ZPO Image Processing cs  5  summer O Ex   yes
FIT-ZRE Speech Signal Processing cs  5  summer O Ex   yes