Most of this page has been . Only Czech version will be used at the state exam: English version only serves the basic informative purpose to those not mastering Czech.
Bachelor SZZ
For each question, there are also codes of subjects that cover the issue (this is only an indicative list).
Theoretical Foundations of Informatics and Mathematics

Sets, Sessions, and Impressions
Basic set operations. Sessions and their properties  equivalence and decomposition, arrangement and ordered set. Sitting, display (injection, surjection, bijection).
IB000, MB101 / MB201 
Elementary Number Theory
Divisibility, Euclidean algorithm, modular operations, prime numbers and their testing, number theory (RSA, DSA, linear and polynomial codes).
MB104 / MB204 
Logic
Pronounced and predicate logic, operations, quantifiers, syntax. Semantics, truthfulness, feasibility, demonstrability. Normal forms of formulas (conjunctive and disjunctive, prenexic, Horne clauses).
IB000, IB101 
Linear Algebra I
Operations with vectors and matrices, properties of linear operations and scalar product, solving of systems of linear equations. Gaussian elimination, determinant.
MB101 / MB201 
Linear Algebra II
Own numbers and vectors, their geometric meaning, inverse matrices, vector subspaces, vector bases. Affine objects, affine transformations.
MB101 / MB201 
Combinatorics and probability
Elementary combinatorics (combinations, permutations, variations), solving simple combinatorial problems. Probability, conditional probability (Bayes' theorem).
MB101 / MB201, MB103 / MB203 
Statistics
Descriptive statistics, mean value, median, scattering, correlation. Estimates of statistics and their reliability. Distribution functions, distribution of random variables and their examples.
MB103 / MB203 
Mathematical analysis
Properties of real functions, polynomials, continuous functions and limits, derivation, indeterminate and certain integral, geometric meaning. Differential equations and their meaning.
MB102 / MB202, MB103 / MB203 
Graphs
Graph types, trees, peaks, graphs, graph representations. Algorithms for scanning depth and width of a graph and their use. Components of context.
IB000, IB002 
Graphic problems
Rated charts, shortest path definitions, minimum chart skewers, algorithms for finding the shortest paths (Dijkstrums, BellmanFord's algorithm), and minimal skeletons in a graph.
IB000, IB002 
Formal Languages I
Chomish hierarchy of formal languages. Regular languages, their representations and transfers between them. Variants of finite automata. Nedeterminism and automation determinations. Closing properties of regular languages.
IB102 / IB005 
Formal Languages II
Contextual languages and their representations. Variants of slot machines (acceptance methods, determinism and nondeterminism, extended storage automata). Nondeterministic syntactic analysis. Closure properties of contextfree languages.
IB102 / IB005 
Computability
Turing machine. Stop problem. Decisionmaking and partial decisionmaking, indecisiveness. Method of reduction, diagonalization.
IB102 / IB005 + IB107 
Correctness and complexity of the algorithm
Partial and total correctness, proof of correctness. Asymptotic complexity, Onotation. Reasoning for the correctness and complexity of basic algorithms (eg, shift algorithms, binary search).
IB002, IB102 / IB107 
Complexity
The complexity of the algorithm vs. the complexity of the problem. Complexity classes (P, NP, PSPACE) and relationships between them, examples of problems from individual classes. The difficulty and completeness of a problem in a given class, polynomial problemreduction, NPcomplete tasks.
IB102 / IB107 
Basic data structures.
Basic abstract data structures (list, set, stack, queue), related operations and their complexity. Typical implementations, examples of use.
IB111, IB002 
Treebased data structures
Tree data structures (binary search trees, Btrees, redblack trees, heaps), related operations and their complexity. Typical implementations, examples of use.
IB002 
Recursive algorithms
Method to divide and dominate, advantages and disadvantages of recursion, removal of recursion. Explanation of principles and implementation of recursive algorithms. Relationship between recursion and mathematical induction.
IB002, IB015 
Functional programming
Functional programming paradigm (principle of calculation, reduction step, reduction strategies and their properties, examples). Higher order functions and their use. Lambda functions. Elementary programming ability in Haskell.
IB015 
Logic programming
Logical programming paradigm (principle of calculation, unification, computational trees, queries, free variables). The ability of elementary programming in Prolog.
IB015, IB101
Programming, computing and information systems

Programming languages
Data and control structures of programming languages, data types. Compilation, interpretation.
IB111, PB071, PB161 / PB162 
Object Oriented Programming I
Encapsulation, inheritance, polymorphism. Implementation of the PPE principles in C ++ or Java (customized).
PB161 / PB162 
Objectoriented programming II
Object programming in imperative language, object collaboration, event driven programming, exceptions. Implementation of the PPE principles in C ++ or Java (customized).
PB161 / PB162 
Basic Computer Principles I
Numerical systems, relations between numerical systems, display of numbers in computer, principles of arithmetic operations.
PB150 / PB151 
Basic Computer Principles II
Combination and sequential logic circuits. Von Neumann architecture. Principles of processor work, interrupt.
PB150 / PB151 
Operating system
Operating system architectures, application programming interfaces for operating systems. Peripherals, their administration, drivers. Processes and threads, process and thread synchronization.
PB152 / PB153 
Process planning
The nature and objectives of task planning in operating systems. Implementation of processor activity planning. Tackle, Tackle Conditions, and Tack Protection Methods.
PB152 / PB153 
Working with memory
Memory hierarchy. Work with memory, logical and physical address space, memory management, memory virtualization, segmentation, paging.
PB152 / PB153 
Database I
Relational Data Model, Relational Scheme, Relational Scheme Keys, Relational Algebra (Projection, Selection, Aggregation, Renaming), Relationship Session.
PB154 
Database II
Functional dependencies, normal forms (1NF, 2NF, 3NF, BoyceCoddova NF), relationships between normal forms. Relational scheme decomposition, schema standardization.
PB154 
SQL.
Syntax and command semantics. Commands for querying and updating data, aggregation functions, triggers, and stored procedures. Data definition commands, integrity constraints.
PB154 
Transactions and query processing
Transaction processing, its properties. Basic principles of query evaluation (cost of query evaluation, indexing and hash usage).
PB154 
Computer Networks I
Computer Network Layer Models (ISO / OSI, TCP / IP): Layer Functionality and Coordination, Addressing. Physical layer, signals and their encoding, media access control.
PB156 
Computer Networks II
Connecting computer networks. Network protocols, switching and routing, multicast. Assured data transfer, assembly and termination of the connection. Transport Protocols.
PB156 
Network applications and security I
Basic application protocols: mail delivery, file transfer, web, name service. Principles of description and quality of service, use for multimedia.
PB156 
Network applications and security II
Secure network communication, authentication and encryption, security on individual protocol layers.
PB156 
Software Engineering I
SW lifecycle and related activities. Requirements specifications and their types. Structured vs. objectoriented methods of analysis and design.
PB007 
Software Engineering II
Testing, verification and validation. Operation, maintenance and further development of the system. UML role in support of SW analysis and design.
PB007 
Data modeling
Design of data structures, graphical representation, transfer to relational model. ER diagram (entities, attributes, relationships), UML diagram of classes and their comparison.
PB007