A Web version of the

Cesko (Ceska republika: CZ)
Czechia (The Czech Republic: CZ)

Vysoke uceni technicke v Brne (VUT v Brne)
Brno University of Technology (Brno UT  for short)

Faculty of Information Technology

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
     The Faculty of Electrical Engineering and Computer Science (FEE&CS),
      and  the Department of Computer Science and Engineering (DCS&E)
        
                               are a "HISTORY" since 2001-12-31
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

 

Abstracts of CS&E Courses

Instructed in English by the FIT Staff

 

Note,
the Old-Curriculum MSc (EI-MGR-5) and BSc (EI-BC-3) Programmes

are no longer offered/opened since ac.y. 2002/2003. The Old-Curriculum Follow-Up MSc (EI-MGR-3) Programme was cancelled.

Since ac.y. 2002/2003,
the New-Curriculum
3-year BSc (IT-BC-3) Programme is offered.

The First Study Level was expired on Sun 2004-02-15.

The Second Study Level will be expired in June 2007.


Collected, Editet and Issued by Milos Eysselt, Brno UT, FIT

Edition for the FEE&CS: 1999, January   

Updates for the FEE&CS:
Ac.y. 1999/2000: 1999-07-02, 1999-08-11, 2000-01-16
Ac.y. 2000/2001: 2000-07-01, 2000-08-26, 2000-11-21, 2000-12-15, 2001-01-07, 2001-03-05, 2001-06-22
Ac.y. 2001/2002: 2001-08-10, 2001-11-04, 2001-11-17, 2001-12-01, 2001-12-02, 2001-12-20, 2001-12-26

Updates for the FIT:
Ac.y. 2001/2002: 2002-01-01, 2002-01-27, 2002-03-23, 2002-04-13, 2002-04-21, 2002-05-03
Ac.y. 2002/2003: 2002-08-30, 2002-10-12, 2003-01-09, 2003-01-18
Ac.y. 2003/2004: 2003-03-16, 2003-03-31, 2003-09-02, 2003-09-06, 2003-10-06, 2003-10-15, 2003-12-08, 2004-01-10, 2004-02-16
Ac.y. 2004/2005: 2004-12-28, 2005-02-26

For internal use

*************************************************************************

 

                         Dean of the FIT: Tomas Hruska, prof., Ing., CSc., hruska@fit.vutbr.cz

Vice-Dean for Public Relations: Jan M. Honzik, prof., Ing., CSc., ING-PAED IGIP, honzik@fit.vutbr.cz
                                                                               (incl. International Affairs)

    Vice-Dean for Study Affairs: Vladimir Drabek, doc., Ing., CSc., drabek@fit.vutbr.cz

 Vice-Dean for Student Affairs: Milos Eysselt, Ing., CSc., ING-PAED IGIP
                                                                              Adviser/Tutor for Czech Students
                                                                              Adviser/Tutor for International Students
                                                                              eysselt@fit.vutbr.cz

*************************************************************************

In this booklet, a reader will find a basic information
on courses instructed in English by the FIT staff.

Note, that an offer of courses in a particular term is limited
which depends on the current availability of the FIT staff.

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

Comment 1: There is an on-going innovation of Computer Science and Engineering
                     (CS&E) courses, and the actual contents of lectures, practices,
                     PC laboratories, and instructors may change at any time.

Comment 2: Degree equivalents of instructors

                                 prof. ..... (Full) Professor
                                  doc. ..... Associate Professor
    CSc., Dr., DrSc., Ph.D. ..... PhD
Ing., Mgr., PhDr., RNDr. ..... MA, MEng, MSc, etc.
             ING-PAED IGIP ..... Pedagogic Qualification guaranteed
                                                 by the Internationale Gesellschaft fuer Ingenieurpaedagogik
                                                 (International Society for Engineering Education),
                                                 University of Klagenfurt, Austria

Comment 3: The abbreviations of courses are derived from Czech titles of courses.

Comment 4: Maybe, several letters from Czech alphabet can be illegible.

Comment 5: A credit system is a basic regulative tool of study.

Comment 6: More details of all CS&E courses are here.

*************************************************

Credit System
European Credit Transfer System (ECTS for short) defines for one academic year "60 credits". "One credit" corresponds to a little less than "one hour of teaching per week" for the period of one term. At the Faculty of Information Technology at the second study level, these relations are used:
2 hours per week ... 2 credits (0÷1 credit for sport courses)
3 hours per week ... 3 credits
4 hours per week ... 4÷5 credits
5 hours per week ... 6 credits
6 hours per week ... 7 credits
7 hours per week ... 8 credits

Standard Structure of Credits at the Second Level of the 5-year Old-Curriculum MSc Programme
(The dean of the FIT can licence an exemption to rule in an individual case.)
Compulsory courses + MSc Thesis     95 credits (nominal)
Optional courses                                70 credits (minimum)
Mathematical course of the 2nd level     5 credits (minimum)
Recommended "humanity" courses      10 credits (minimum)
                                                         ----------------------
                                              total: 180 credits (minimum)

Standard Structure of Credits at the Second Level of the 3.5-year Old-Curriculum BSc
(The dean of the FIT can licence an exemption to rule in an individual case.)
Compulsory courses + BSc Thesis      36 credits (nominal)
Optional courses                                 48 credits (minimum)
Recommended "humanity" courses        6 credits (minimum)
                                                          ----------------------
                                                total: 90 credits (minimum)

Completion Forms of Course Score
Courses are completed in three ways/forms:
* accreditation "ac" (on the pass/fail basis" without points and without grade/mark): prescibed for supporting courses, or for a part of a course
* classified accreditation "ca" (with points and grade/mark): prescribed for courses without theory
* examination "ex" (with points and grade/mark)

Grading
The maximum number of points is "100". Tests, evaluated/classified course projects, evaluated/classified homework, laboratory activities, mid-term and final examination, and other activities earn points.

Scale (expired on 2004-08-31)
Grade                Points    Mark   ETCS
excellent           100÷90    1          A
very good          89÷80     1.5       B
very good          79÷70     2          C
good                 69÷60     2.5       D
good                 59÷50     3          E
insufficient (fail)  49÷0       4          F

Scale (since 2004-09-01)
Grade                Points    Mark   ETCS
excellent              100÷90    1         A
very good            89÷80     1.5       B
good                    79÷70     2          C
satisfactory           69÷60     2.5       D
sufficient              59÷50     3          E
failed (insufficient)  49÷0      4          F

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

Compulsory (obligatory) Courses at the First Study Level
(see a study diagram of the Old-Curriculum MSc (EI-MGR-5) and BSc (EI-BC-3) Programmes)

(instructed by the FIT staff: in alphabetic order)

ADS - Algorithms and Data Structures (6 ECTS credits) ADS is no longer offered since ac.y. 2003/2004
Construction of proved programmes (Wirth, Dijkstra). Dynamic allocation of memory. Abstract data types (ADT), definition, specification and their implementation. Searching: review of algorithms, their analysis and evaluation. Sorting and ordering, random access sorting, sequential sorting: review of algorithms, their analysis and evaluation. Algorithms for text processing, string searching. Foundations on recursion. Implementation of advanced ADT.
Guarantee/Instructor: Jan M. Honzik, prof., Ing., CSc., ING-PAED IGIP (FIT)

APR - Algorithms and Programming (5 ECTS credits) APR is no longer offered since ac.y. 2002/2003
A basic course on programming in Pascal. Definition and description of Pascal syntax and semantics. Turbo Pascal: modular programming, basic graphics programming. Algorithms and data structures: introduction. Control and data structures of programming languages. Problem analysis and specification. Algorithm development. Program coding. Program execution and testing. Algorithms classification, illustrative examples. Basic algorithms types for ordering, searching, numeric calculations, etc. Program documentation.
Guarantee/Instructor: Jitka Kreslikova, RNDr., CSc. (FIT)

LOS - Logic Systems (5 ECTS credits) LOS is no longer offered since ac.y. 2003/2004
Boolean algebra, logic variables, logic functions. Logic gates, logic circuits, models of a logic function. Logic expressions: sum-of-products, product-of-sums. Quine-McCluskey tabular reduction technique, covering method by Petrick. Logic maps minimization technique. TANT networks (only NAND gates); TONT networks (only NOR gates). Adders: half, full, serial, parallel, decadic. Subtractor. MSI and LSI modules: MX, DC/DMX, ROM, PLA, PAL, GA. Finite state machines (Mealy version, Moore version). Flip-flops and latches: D, T, R-S, R, S, J-K. Synchronous sequential circuits based on flip-flops. Registers, counters, shift registers. Microprogramming: an analysis of a controlled algorithm. Simple microprogrammed control units.
Guarantee/Instructor: Milos Eysselt, Ing., CSc., ING-PAED IGIP (FIT)

OS1 - Operating Systems 1 (5 ECTS credits) OS1 is no longer offered since ac.y. 2003/2004
Lectures discuss underlying principles of operating systems. The course is focused on user-level understanding of these principles together with developing practical skills in laboratories. However, the course is designed for students of Computer Science and Engineering Branch with respect to the following courses; therefore also some theoretical background of operating systems is presented. Following topics are discussed in the course: a notion of operating system, architecture of operating system, mono/multi user operating systems, mono/multitasking operating systems, kernel of operating system and calling of system services; user interface and user-level services, shell, textual and graphical user interface; principles of the system kernel implementation, context switching; file system, networking; administration, security.
Guarantee/Instructor: Petr Peringer, Dr., Ing. (FIT)

PP1 - Programming and Usage of Computers 1 (4 ECTS credits) PP1 is no longer offered since ac.y. 2002/2003
Basic areas of application software. Introduction into operating systems (MS-DOS, UNIX, MS-Windows). Networks. Database systems. Text processing editors and small desktop publishing. Spreadsheets. Superstructures of command processors. Basic computer hardware, I/O devices, IBM-PC architectures. Practical training on computers.
Guarantee/Instructor: Jiri Kunovsky, doc., Ing., CSc. (FIT)

PPS - Software Engineering (5 ECTS credits) PPS is no longer offered since ac.y. 2003/2004
Fundamental concepts, subject of software engineering. Basic steps in software development. Life cycle models. Tools and methods of structured analysis. Fundamentals of structured design. Fundamental concepts of object-oriented approach. Tools and methods of object-oriented analysis and design. Software quality ensurance. Fundamentals of software maintenance. Fundamentals of project management. Small project using a CASE system.
Guarantee/Instructor: Jaroslav Zendulka, doc., Ing., CSc. (FIT)

 

Recommended Course for the Second Term of the First Study Level

PRO - Programming Practice (2 ECTS credits) PRO is no longer offered since ac.y. 2002/2003
(Supporting course for the APR - Algorithms and Programming)
Basic programming skills. Data and control structures of programme languages. Implementation of elementary algorithms. Stand-alone creation of basic programmes. Main use of development and implementation tools.
Guarantee/Instructor: Jitka Kreslikova, RNDr., CSc. (FIT)

Recommended Course for the Third or Fourth Term of the First Study Level

CPP - C and C++ Languages (6 ECTS credits) [CPP is the optional course of the 2nd study level] CPP is no longer offered since ac.y. 2003/2004
Note, a knowledge of "C and C++ Languages" supports an easier study of the 2nd study level courses.
Programming languages C and C++, their syntax and semantics. ANSI C, declarations, types, variables, expressions, commands, standard libraries. C++, differences between C and C++, principles of object-oriented programming in C++, classes, inheritance, multiple inheritance, function and operator overloading, polymorphism, abstract classes, templates, exception handling.
Guarantee/Instructor: Tomas Vojnar, Ing., Ph.D. (FIT)

 

*************************************************

* The Second Study Level of the 5-year (Old-Curriculum) MSc Programme (EI-MGR-5)
* The Second Study Level of the 3.5-year (Old-Curriculum) BSc Programme (EI-BC-3)
    (see a study diagram of the Old-Curriculum MSc (EI-MGR-5, EI-MGR-3) and BSc (EI-BC-3) Programmes)

 

Compulsory (obligatory) Courses at the Second Study Level

In the 3.5-year Old-Curriculum BSc Programme (EI-BC-3),
BPI, DSI, INS, PTP, VPO and ZPG courses are compulsory,
and other courses are optional.

(in alphabetic order)

ARP - Advanced Computer Architecture (6 ECTS credits)
Parallel computer models, performance, scalability. Instruction level parallelism: pipelined, superscalar and VLIW architectures. Shared memory multiprocessors, cache coherence protocols. Distributed shared memory multiprocessors. Interconnection networks, static and dynamic topologies. Distributed memory multicomputers with message passing. Data-flow and multithreaded architectures, SIMD computers. Vector processors. Systolic arrays. Application-specific architectures.
Guarantee/Instructor: Vaclav Dvorak, prof., Ing., CSc., DrSc. (FIT)

CIO - Digital and Impulse Circuits (6 ECTS credits) CIO is no longer offered since ac.y. 2004/2005
Digital signal, linear RLC networks, analysis methodology, impulse transformer, diode and bipolar transistor in switching mode, design of digital switches with bipolar transistor, MOSFET inverter, signal shaping, gating and threshold circuits, integrated circuit TTL, integrated circuits LSTTL, ALSTTL, ECL, IIL, unipolar logic circuits, flip-flops, timing, metastable state, level converters, lines, reflections and crosstalks, pulse generation and shaping, memory RAM, PROM, EPROM, EEPROM, switched-mode power supplies.
Guarantee/Instructor: Josef Schwarz, doc., Ing., CSc. (FIT)

DSI - Data Modelling and Database Design (6 ECTS credits) DSI is no longer offered since ac.y. 2004/2005
Fundamental concepts of the database technology. Architectures of database systems. Data modelling (E/R diagrams). Transformation of a data model into tables. Relational systems, the SQL language: data definition, data manipulation, system catalogue, views. The relational model, the relational algebra. Database design: fundamentals of dependence theory, normal forms. Data at the internal level. Data integrity and security. Query optimization. Transaction processing, concurrency, recovery. Distributed databases. Postrelational database systems. Database application development in either Oracle or Centura Team Developer environment.
Compulsory course for the 3.5-year BSc (EI-BC-3) programme, too.
Guarantee/Instructor: Jaroslav Zendulka, doc., Ing., CSc. (FIT)

MSI - Modelling and Simulation (6 ECTS credits)
Modelling techniques and dynamic systems simulation technology, analytical and simulation models, models of digital systems, stochastic models, the Monte Carlo method, queuing systems theory, using Petri nets in simulation, modelling of continuous and combined systems, modern simulation languages, planning and optimization of simulation experiments, applications of object-oriented principles and artificial intelligence principles to system modelling and simulation, reliability models.
Note, a knowledge of "C and C++ Languages" supports this course.
Guarantee/Instructor: Zdena Rabova, doc., Ing., CSc. (FIT)

PDA - Parallel and Distributed Algorithms (6 ECTS credits)
Introduction, architectures and languages for parallel and distributed programming. Abstract models of parallel computing, PRAM. Complexity of parallel and distributed algorithms. All prefix sums and their applications. Algorithms for parallel sorting and searching. Parallel matrix operations. Interaction between processes, communication, synchronization. Typical problems of synchronization. Mechanisms and language constructs for synchronization, synchronization in distributed systems. Communication using message passing, synchronous and asynchronous channels, language constructs using message passing. Using message passing for synchronization. Languages for parallel and distributed computing.
Note, a knowledge of "C and C++ Languages" supports this course.
Guarantee/Instructor: Petr Hanacek, doc., Dr., Ing. (FIT)

PDT - Data Communications and Computer Networks (6 ECTS credits)
Information theory basics. The telephone network. The Internet. ATM networks. Protocol layering. Multiple access. Error detection and correction codes, error control. Switching.
Guarantee/Instructor: Miroslav Sveda, prof., Ing., CSc. (FIT)

PRJ - Programming Languages (6 ECTS credits) PRJ is no longer offered since ac.y. 2004/2005
Principles of syntax and semantics definition, programming language notation, evaluation, recursive functions, scope of names, type checking. Data types, simple and structured, type equivalence, polymorphism, denotational semantic, axiomatic semantic, procedure calling and parameter passing, abstraction mechanism, object-oriented programming, functional programming, logic programming.
Guarantee/Instructor: Tomas Hruska, prof., Ing., CSc. (FIT)

SZZFinal State Examination (0 ECTS credits)
This is a fictive, but compulsory, course. The main parts played by this course are:
1) Enrolling of students to the final state examination.
2) Easy printing of all documents supporting the final state examination.
3) Easy closing and evaluating of study conditions at the FIT.)
Guarantee: The FIT

UIN - Artificial Intelligence (6 ECTS credits)
Introduction. Problem solving: state space, searching methods, production system, problem decomposition, game playing. Knowledge representation: logical, network, structured and procedural schemes. Principles of LISP and PROLOG languages. Machine learning, genetic algorithm. Planning, GPS and STRIPS, blackboard architecture. Statistical and structural pattern recognition. Computer vision, image processing, scene analysis. Speech processing, natural language processing. Expert systems, reasoning with uncertainty. Robotics and AI.
Guarantee/Instructor: Frantisek Zboril, doc., Ing., CSc. (FIT)

VPO - Computer Organization and Architecture (6 ECTS credits) VPO is no longer offered since ac.y. 2004/2005
Introduction, classification, empirical laws, performance. Instruction set architectures, addressing, instruction coding. Coding of data, signed number representation, floating point numbers, accuracy. Hamming code. Adder, carry look-ahead. Barrel shifter. Multiplication, Booth recoding, high-radix recoding, carry-save multipliers. Division, non-restoring algorithm, SRT division. Floating point operations. Newton iterative division. CORDIC. Interrupts. Hardwired and microprogram sequencers, nanoprogramming. Semiconductor memories, DRAM, block structure, refresh, magnetic memories. Memory hierarchy, cache, directories, virtual memory, TLB. Bus structures, asynchronous and synchronous transmission, PCI, IO subsystem. IO processor. RAID.
Compulsory course for the 3.5-year BSc (EI-BC-3) programme, too.
Guarantee/Instructor: Vladimir Drabek, doc., Ing., CSc. (FIT)

VSL - Computability and Complexity (6 ECTS credits)
Mathematical models of computation and computing systems, the concept of a control structure and its semantic, classification of mathematical models. Turing machines as language acceptors, multitape Turing machines, non-deterministic Turing machine, universal Turing machine. Halting problem, Post correspondence problem. Computability, primitive recursive functions, partial recursive functions. Program schemes, basic decidability problems, Turing-Church theorem. RAM and RASP machines. Algorithmic complexity, complexity models, hierarchy of complexity classes.
Guarantee/Instructor: Vladimir Janousek, Ing., Ph.D. (FIT)

TI1 - Theoretical Computer Science 1 (6 ECTS credits) TI1 is no longer offered since ac.y. 2004/2005
Introduction to formal languages, operations on formal languages and algebraic properties of formal languages, grammars, derivation relations, the language specified by a grammar, Chomsky classification and hierarchy of formal languages, finite automata, regular expressions, reduced form of an finite automaton, properties of regular languages, context free grammars and languages, derivation trees, transformations on context free grammars, pushdown automata, equivalence problem, deterministic pushdown automata and context free languages, properties of context free and deterministic context free languages, Petri nets.
Guarantee/Instructor: Milan Ceska, prof., RNDr., CSc. (FIT)

ZAP - Elements of Compiler Design (6 ECTS credits) ZAP is no longer offered since ac.y. 2004/2005
Introduction to Compiling. Lexical analysis, LEX. Top-down parsing, LL(1) grammars. Recursive descent parsing. Bottom-up parsing, LR(1) grammars, YACC. Symbol tables. Syntax-Directed Translation. Intermediate code generation. Run-time environments. Local code optimizations. Global code optimizations. Code generation. Error recovery. Other issues in compiling.
Note, a knowledge of "C and C++ Languages" supports this course.
Guarantee/Instructor: Alexander Meduna, Doc., RNDr., CSc. (FIT)

ZPG - Principles of Computer Graphics (6 ECTS credits) ZPG is no longer offered since ac.y. 2004/2005
Applications of CG, basic principles, colour image, colour models, monochrome image: halftoning, dithering. Basic primitives in raster graphics: line, circle, ellipse, filling. 2D transformations, 2D clipping. Types, characters, fonts in CG, graphic formats, basic principles of interaction graphics. 3D reprezentation. 3D transformations, projections, 3D clipping, removing of invisible parts/faces. Local illumination models, polygon shading. Shadows, textures and texturing, rendering of polygonal objects. Raytracing. Radiosity. Image as a signal in 2D, antialiasing. Fractals. Principles of computer animation. Accelerated 3D rendering in real-time.
Note, a knowledge of "C and C++ Languages" supports this course.
Compulsory course for the 3.5-year BSc (EI-BC-3) programme, too.
Guarantee/Instructor: Pavel Zemcik, doc., Dr., Ing. (FIT)

 

Compulsory (obligatory) Projects

(in alphabetic order)

BPI - BSc or BEng Thesis Project (6 ECTS credits)
Student implements either software, or hardware, and or complex project under leadership of her/his supervisor. She/he forms individually complete technical documentation on departmental technical equipment. This course is concluded by a BSc Thesis, and oral presentation and defence of the results.
Compulsory course for the 3.5-year BSc (EI-BC-3) programme.
Guarantee/Instructor: "supervisor" from the FIT

DPI - MSc Thesis Project (10 ECTS credits)
Student implements either software, or hardware, and or complex project under leadership of her/his supervisor. She/he forms individually complete technical documentation on departmental technical equipment. This course is concluded by an MSc Thesis, and oral presentation and defence of the results.
Guarantee/Instructor: "supervisor" from the FIT

PI1 - Year Project 1 (0 ECTS credit: see PI2) [PI1 + PI2 are course block for one ac.y.]
First phase (project design study) of an individual project solved under supervision in departmental computer or hardware laboratories. Seminars deal with methodology of research, work with technical literature and formal view of a technical report. This course is concluded by an oral presentation of project design study phase results.
Guarantee/Instructor: "supervisor" from the FIT

PI2 - Year Project 2 (sum of "PI1+PI2": 4 ECTS credits) [PI1 + PI2 are course block for one ac.y.]
Second phase (realization, implementation) of an individual project solved under supervision. Seminars deal with technical text writing and software documentation creation. This course is concluded by a written report, and oral presentation and defence of the results. The Year Project 1 is the compulsory prerequisity of the PI2.
Guarantee/Instructor: "supervisor" from the FIT

PI3 - Term Project (3 ECTS credits)
An individual project assignments from different branches of computer science and data processing are solved under supervision in departmental computer and hardware laboratories. Seminars deal with typography of technical manuals, text processing and DTP. This course is concluded by a written report, and oral presentation and defence of the results.
Guarantee/Instructor: "supervisor" from the FIT

 

Optional Courses at the Second Study Level

(in alphabetic order)

AMC - Applied Microcomputers (6 ECTS credits)
A basic structure of microprocessor system, M68HC11 microcontroller, assembler AS11, I/O devices, stack operation, interrupt subsystem, memory system design, high level programming language, debugger/emulators, PCBUG11 debugger, advanced microcontroller family, microchip cards, PCMCIA interface, fuzzy logic system, digital signal processing.
Guarantee/Instructor: Josef Schwarz, doc., Ing., CSc. (FIT)

APP - Advanced Computer Applications (6 ECTS credits)
The course is aimed at practical methods of solving problems encountered in science and engineering: large systems of differential equations, algebraic equations, partial differential equations, stiff systems, problems in automatic control, electric circuits, mechanical systems, electrostatic and electromagnetic fields. An original method based on a direct use of Taylor series is used to solve the problems numerically. The course also includes analysis of parallel algorithms and design of special architectures for the numerical solution of differential equations. A special simulation language TKSL is available implemented on one-processor systems (PC486, Pentium) and on multi-processor systems (transputers).
Guarantee/Instructor: Jiri Kunovsky, doc., Ing., CSc. (FIT)

APS - Software Architecture and Components (6 ECTS credits) APS is no longer offered since ac.y. 2003/2004
Analysis, design and implementation of Object oriented systems. A modular and object oriented programming in Pascal and Modula 2. Module structure, transparent and hidden ADT implementation, static and dynamic ADT implementation. Typical data structures implementation. Object oriented analysis and design (Booch). Architecture of programming systems. Components, paradigmas, templates.
Guarantee/Instructor: Jan M. Honzik, prof., Ing., CSc., ING-PAED IGIP (FIT)

BKR - Computer Security and Cryptography (6 ECTS credits) [BKR is not offered in ac.y. 2001/2002]
Introduction. Threats, weak points, safety precautions, safety strategy. Criteria for system safety assessment, safety implementation principles. Data transmission safety, operating system and database safety. Introduction to cryptography, basic cryptographic algorithms, secret key encryption. Public key encryption. Cryptography application examples.
Guarantee/Instructor: Petr Hanacek, doc., Dr., Ing. (FIT)

CPP - C and C++ Languages (6 ECTS credits) CPP is no longer offered since ac.y. 2003/2004
Programming languages C and C++, their syntax and semantics. ANSI C, declarations, types, variables, expressions, commands, standard libraries. C++, differences between C and C++, principles of object-oriented programming in C++, classes, inheritance, multiple inheritance, function and operator overloading, polymorphism, abstract classes, templates, exception handling.
Guarantee/Instructor: Tomas Vojnar, Ing., Ph.D. (FIT)

CSZ - Digital Processing of Signals (6 ECTS credits)
Basic techniques for digital signal processing and their implementation on signal processors: digital filters FIR, IIR, Z - transform, DFT, FFT, algorithm LMS, regulators. Architectures of signal processors. Programming tools. Practical applications.
Guarantee/Instructor: Otto Fucik, Dr., Ing. (FIT)

CZR - Speech Signal Processing (6 ECTS credits) [CZR is not offered in ac.y. 2001/2002]
Applications of speech processing, digital processing of speech signals. Production and perception of speech. Introduction to phonetics, pre-processing and basic parameters of speech. Linear-predictive model, cepstrum. Fundamental frequency estimation. Coding, time domain and vocoders. Recognition, DTW and HMM. Synthesis. Software and libraries for speech processing.
Guarantee/Instructor: Hynek Hermansky, prof., Dr., Ing. (FIT)

DIA - Diagnosis and Safe Systems (6 ECTS credits)
Introduction, logical and memory fault models. Sensitive path, D-algorithm, 9-value algorithm, cost function. Function tests. Sequential circuit testing, automata testing, RTL model testing. Automatic test generation, fault simulation. Fault identification. Random testing, linear-feedback shift registers, test cones. Cellular automata. Data compression, error aliasing, signature analysis. Design for testability, structured approach, boundary scan standard. Built-in test circuits. Memory testing. Processor testing. Test equipment. Wire testing. Fail-safe circuits, code checkers, fail-safe systems, risk analysis.
Guarantee/Instructor: Vladimir Drabek, doc., Ing., CSc. (FIT)

EVA - Applied Evolutionary Algorithms (6 ECTS credits) [EVA is not offered in ac.y. 2001/2002]
Theoretical and practical foundations of evolutionary computation. Evolutionary algorithms using genetic algorithms, evolution strategies, evolution programming, genetic programming, and classifiers, as probabilistic search algorithms. Techniques for fast prototyping of genetic algorithms. Advanced estimation distribution algorithms (EDA) based on the Bayes theorem and Bayes networks. Synergy of evolutionary computation and fuzzy logic. Evolutionary algorithms in engineering applications: artificial intelligence, knowledge based systems, VLSI design, and multiprocessor scheduling.
Guarantee/Instructor: Josef Schwarz, doc., Ing., CSc. (FIT)

FLP - Functional and Logic Programming (6 ECTS credits)
Introduction to functional programming. Expressions, data types, functions, lists. User-defined types. Recursion and induction. Other functional languages. Introduction to logic programming. Data structures in Prolog. Recursion in Prolog. Goedel language, abstract data types in Goedel. Constraint logic programming. Other approaches in functional and logic programming.
Guarantee/Instructor: Dusan Kolar, Dr., Ing. (FIT)

GMP - Graphical and Multimedia Processors (6 ECTS credits)
Colour models and transformations, quantization, predictive coding, vector quantization, motion compensation. Compression methods. Transformation coding, cosine transform, Huffman coding. JPEG, H.261, MPEG-1/2, MP3. Introduction to DirectX, OpenGL. Graphical circuits, graphical pipeline, extended instruction sets MMX and Streaming SIMD (KNI), graphical accelerators, 3D Permedia, I 740, Riva TNT, deep pipeline. Graphical systems Silicon Graphics Indy, Reality Engine, Onyx2. Multimedia processors - Mpact, CyberPro, Talisman, TI C82.
Guarantee/Instructor: Vladimir Drabek, doc., Ing., CSc. (FIT)

GUR - Graphical User Interfaces (5 ECTS credits) [GUR is not offered in ac.y. 2001/2002]
X Window system structure. User interface design rules. Xlib level programming. X Toolkit and OSF/Motif programming. Application structure, widget instances and classes, resources. Input processing. Standard X Toolkit widgets, shells. Simple OSF/Motif widgets, keyboard traversal, Motif strings. Dialogues, menus, special widgets. User Interface Language.
Guarantee/Instructor: Petr Lampa, Ing. (FIT)

INS - Information Systems Design (6 ECTS credits)
Fundamental concepts, the subject of the software engineering. Basic steps in software development. Life cycle models. Tools and methods of the structured analysis. Fundamentals of the structured design. Fundamental concepts of the object-oriented approach. Tools and methods of the object-oriented analysis and design. Software quality assurance. Fundamentals of the software maintenance. Fundamentals of the project management. Small project using a CASE system.
Compulsory course for the 3.5-year BSc (EI-BC-3) programme.
Guarantee/Instructor: Tomas Hruska, prof., Ing., CSc. (FIT)

KPA - Computer Communications and Interfacing (6 ECTS credits) [KPA is not offered in ac.y. 2001/2002]
Real-time distributed systems. Models for discrete-event and real-time systems. Temporal logics. Formal specifications and verification. Real-time protocols. Applications design.
Guarantee/Instructor: Miroslav Sveda, prof., Ing., CSc. (FIT)

MUM - Multimedia (6 ECTS credits)
Introduction to multimedia technology, multimedia peripheral devices. Image and sound data formats, image data compression. Programmer's interface for multimedia programming, programmer's interface for programming the equipment for creation of multimedia sessions.
Note, a knowledge of "C and C++ Languages" supports this course.
Guarantee/Instructor: Pavel Zemcik, doc., Dr., Ing. (FIT)

NCS - Advanced Digital Design (6 ECTS credits)
Combinational and sequential logic design techniques, algorithms, and tools review. Structured design concept. Design strategies. Design decomposition. Design tools. Introduction to VHDL. Basic features of VHDL. Simulation and synthesis. Basic VHDL modelling techniques. Algorithmic level design. Register Level Design. HDL-based design techniques. Constrained design. ASIC and PLD design process. Fast prototyping. Modelling for synthesis. Top-down design methodology in VHDL. Design case study. Design automation algorithms. HW/SW co-design.
Guarantee/Instructor: Otto Fucik, Dr., Ing. (FIT)

NEU - Neural Networks (6 ECTS credits)
Introduction. Artificial neuron, basis and activation functions. Neural networks classification. Description of individual neural network types: Perceptron, Madaline, Hopfield network, Brain-State-in-a-Box network (BSB), Boltzmann machine, Bidirectional associative memory (BAM), Backpropagation Network (BPN), Counterpropagation Network (CPN), Adaptive resonance theory (ART), Sparse distributed memory (SDM), Restricted coulomb energy classifier (RCE), Self-organizing feature maps (SOFM), Learning vector quantization (LVQ), Neocognitron. Topology, learning, responses, typical applications.
Guarantee/Instructor: Frantisek Zboril, doc., Ing., CSc. (FIT)

OMP - Object Oriented Modelling and Prototyping (6 ECTS credits)
Principles of object orientation, object oriented languages, object oriented software development technology. Smalltalk language, Smalltalk software development environment, interactive programming in Smalltalk, program maintenance, debugger, class library, techniques and tools for user interface building in Smalltalk. Rapid prototyping, other languages for rapid prototyping.
Guarantee/Instructor: Vladimir Janousek, Ing., Ph.D. (FIT)

OS2 - Operating Systems 2 (6 ECTS credits)
Kernel structure and interface, threads and processes, message passing, kernel protection and security. Unix systems interface, standards. Parallel programming, synchronization, classical synchronization tasks. Scheduling, strategy and implementation, symmetric multiprocessing. Process and thread, POSIX threads, synchronization, signals, process communication. Files systems, organization, space allocation, protection, recovery. Virtual memory, TLB, cache, page tables, paging algorithms, stack algorithms, address space sharing, file virtualization. Input and output, drivers, Unix I/O system. Programming environment, libraries, linking, managing of projects. Security and protection, system access, data protection, service protection, auditing, encryption.
Guarantee/Instructor: Petr Lampa, Ing. (FIT)

POG - Computer Graphics (7 ECTS credits)
3D object representation and transformation. Reflection models. Textures. Antialiasing. Low-level motion specification. Morphing and warping. Animating articulated structures and rigid bodies: FK and IK, dynamics. Soft object animation. Procedural textures and animation. Rendering for real-time animation. Virtual and augmented reality.
Note, a knowledge of "C and C++ Languages" supports this course.
Guarantee/Instructor: Pavel Zemcik, doc., Dr., Ing. (FIT)

PPP - Practical Parallel Programming (6 ECTS credits) [PPP is not offered in ac.y. 2001/2002]
Architectures and components of parallel systems. Performance, scalability and parallel workload models. Programming models, parallel processes, threads, communications. Designing parallel programs. Message passing, channel communication, routing algorithms, pipeline, farm, prototyping algorithms in TRANSIM. Shared memory, exclusive access, support in programming languages, multithreaded applications in Java. Data parallelism: languages, operations on vectors and matrices, application examples. Generative communication. Case studies of parallel applications.
Guarantee/Instructor: Vaclav Dvorak, Prof., Ing., CSc., DrSc. (FIT)

PRD - Post-Relational Databases (6 ECTS credits) [PRD is not offered in ac.y. 2001/2002]
During the course there are studied the following principles of post-relational databases: deductive databases, object-oriented databases, spatial databases, and temporal databases. As a study-core of mentioned systems we follow understanding of database scheme and approach to the database system at all. Implementation and data manipulation within mentioned database systems is studied as well.
Note, a knowledge of "C and C++ Languages" supports this course.
Guarantee/Instructor: Dusan Kolar, Dr., Ing. (FIT)

PSI - Computer Networks and Communication Protocols (6 ECTS credits)
Internet concepts. Principles, methods and techniques: naming and addressing, routing, traffic management. Common protocols. Protocol implementation and protocol engineering.
Guarantee/Instructor: Miroslav Sveda, prof., Ing., CSc. (FIT)

PTP - Personal Computers - Technical Maintenance (6 ECTS credits)
PC categories, parameters, mainboard and its construction, memory organization, real mode, protected mode, system bus, communication on the system bus, video adapters, VRAM organization, monitors, the interrupt system, the types of hard discs, interfaces. The data organization on hard discs, serial and parallel interface, input/output services, LANS, components, uninterruptible power suppliers.
Compulsory course for the 3.5-year BSc (EI-BC-3) programme.
Guarantee/Instructor: Zdenek Kotasek, Doc., Ing., CSc. (FIT)

PZ1 - Peripheral Devices 1 (6 ECTS credits)
Architecture of Input/Output subsystem, standard interfaces. Impact and nonimpact printers. Display and videocards, architecture EGA/VGA, organization of video RAM, LCD and PLASMA panels. Peripheral memories, magnetic media, principles of recording, record codes. Optical disk memory, technology of recording and reading. Graphic plotters, digitizers. OMR, OBCR, OCR.
Guarantee/Instructor: Zdenek Kotasek, doc., Ing., CSc. (FIT)

PZ2 - Peripheral Devices 2 (6 ECTS credits) [PZ2 is not offered in ac.y. 2001/2002]
Local bus VL, PCI. Sophisticated printers. Graphic cards SVGA, TIGA, organization of video RAM, creating colors. Interface of hard disks. Scanners, principles, methods of recognition. Chips cards. PC and technological environment. Multimedia.
Guarantee/Instructor: Zdenek Kotasek, doc., Ing., CSc. (FIT)

RPS - Project Management: Computer Based Systems (6 ECTS credits) [RPS is not offered in ac.y. 2001/2002]
Project management defined. Project definition. Project leadership. CBS project planning, organization, monitoring and controlling mechanism. Concurrent engineering issues considering the system, its integration environment and its instrumentation. Quality assurance and assessment. Risk management. Conflict resolution techniques. Laws and current standards in CBS development.
Guarantee/Instructor: Jitka Kreslikova, RNDr., CSc. (FIT)

SCS - Human-Machine Interface (6 ECTS credits)
Introduction, Communication channels. Multimedia, Virtual reality overview. Passive and active communication. Mental models of communication. Sound-generation and perception. Image- generation. Image-perception. Event controlled interfaces. Graphical user interfaces overview. MS Windows 3.1, 95, 98. MS Windows NT. Other user interfaces. Non-traditional user interfaces. Iterative design of user interfaces.
Note a knowledge of "C and C++ Languages" supports this course.
Guarantee/Instructor: Pavel Zemcik, doc., Dr., Ing. (FIT)

SOJ - Assembly Languages (6 ECTS credits) SOJ is no longer offered since ac.y. 2003/2004
Pentium processors architecture: registers, data types, instruction formats, memory addressing, interrupt handling. Real mode and FPU instruction set. Assembly language of PCs with Pentium processors. Assembling and linking: TASM and TLINK. BIOS and DOS services. Interfacing assembly language programs with higher languages programs. Protected mode of Pentium processors: memory addressing, protection, tasks switching, paging, virtual mode, system environments, instruction set. Programming in the protected mode.
Guarantee/Instructor: Frantisek Zboril, Doc., Ing., CSc. (FIT)

SOP - Fault-Tolerant Systems (6 ECTS credits)
Introduction, FT design methodology. Hardware redundancy, TMR, GMR, fault sieving. Information redundancy, parity codes, arithmetic codes. Residue codes, Hamming codes. Reed-Muller codes, cyclic codes. Galois fields, BCH and Reed-Solomon codes, byte error detection. Convolution codes. Time redundancy, alternating logic, RESO, RESWO, REDWC. Reliability modelling, combinatorial models, MIL-HDBK-217. Markov reliability models. VLSI reconfiguration techniques. FT communication networks. FT systems architectures. Software for FT systems.
Guarantee/Instructor: Vladimir Drabek, doc., Ing., CSc. (FIT)

 

Mathematical Course of the 2nd Level

TI2 - Theoretical Computer Science 2 (6 ECTS credits)
Introduction to Petri nets, basic notions, Condition/Event Petri nets, processes of C/E Petri nets, occurrences nets, properties of C/E Petri nets, synchronic distances, facts, Place/Transition Petri nets, analysis problems, analysis of P/T Petri nets by reachability tree, invariants of P/T Petri nets, Petri nets languages, Marked graphs and Free choices Petri nets, Coloured Petri nets, Hierarchical Coloured Petri nets, analysis of Coloured Petri nets, Coloured Petri nets applications.
Guarantee/Instructor: Milan Ceska, prof., RNDr., CSc. (FIT)