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)
SZZ – Final 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)