Algorithms and data structures. Complexity analysis, amortized complexity. Algorithm design techniques (divide and dominate, dynamic programming, hungry strategies). Advanced data structures (heap, union-find structures). String algorithms (Karp-Rabin, KMP, Boyer-Moore algorithms, finite automata).
Mathematical Logic. Pronounced and predicate logic, syntax, semantics. Derivation systems, formal evidence. Correctness and completeness of derived systems. Gödel's theorems of incompleteness.
Statistics. Descriptive statistics, functional and numerical characteristics of characters. Discrete and continuous random variables (NV), basic layout. Numeric characteristics of NV. The Central Limit Theorem. Point estimates, confidence intervals, statistical hypothesis testing, materiality level. Basic parametric and nonparametric tests, ANOVA, NV independence tests. Linear regression, total F-test, partial t-tests.
Software Engineering. SW development process. Unified Process Methodology. Agile SW development. Testing phases and test types. Software metrics, code refaktoring. Software quality. Estimating cost and time of SW development. Maintenance and reusability.
Object methods of system design. Design patterns. Software Architectures. Component Interface, signatures and restrictive service conditions, OCL. Component systems and models, qualitative aspects of services (QoS). Object Software Development Methods, RUP.
Database. Data storage, addressing of records. Indexing and hash for multiple attributes, bitmap indexes, dynamic hash. Query evaluation, transformation rules, statistics and estimates. Optimizing queries and schema. Transaction processing, outages and recovery. DB security, access rights.
Computer networks. Basic concepts, principles, architecture. Connected and unbundled networks, OSI model, Internet protocols. Routing, basic computer network services, network management and security.
Security in IT. Introduction to IT security, basic concepts and principles, IT security standards, evaluation criteria. Cryptography, its principles and usage, key management and protocols. Data Authentication, Digital Signature. User authentication, biometrics.
PV080, popř. PV157
Information systems and information processing. Reasons for the need for IS for management, their goals, problems of analysis and design. Issues of IS in the fields of production, state administration, health, geography (according to the student's choice). Fundamentals of Search Systems, Evaluation of Relevance of Results, Indexing Techniques.
PV028, PV043, PV019, PV211, PA128, atp.
Data protection and privacy information. The concept of information privacy and relevant technical aspects, the influence of IT. Privacy and Legislation. Ethics, professionalism and information work. Transparency of the way information is handled. Public information services, providing information in state administration.
PV080, popř. PV118