Operating system architectures. OS structures, OS services, OS architecture, processes and threads, process and thread running, process and process synchronization, jamming, memory management and memory virtualization, input and output control.
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).
Database. Data encoding, data compression coding, data file organization. Indexing and hashing, bitmap indexes, dynamic hashing. Query evaluation, transformation rules, statistics and estimates. Optimizing queries and schema. Database security, access rights. Transactions, Concurrent Transaction Management, Post-Lost Transaction Recovery Systems.
PV062, PA152, PA150
Models of distributed systems. Basic concepts and principles, synchronous and asynchronous communication. Synchronization. Termination detection. The problem of mutual exclusion and the problem of deadlocks and their solution. The problem of choosing a leading element. The influence of topology and its knowledge / ignorance on the complexity of solving the problem.
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.
Data transfer technology. Signals, digital and analogue broadcasting, data encoding, multiplexing, error management, media access control methods, and total data link control.
Computer networks. Principles, architecture. Connected and unbundled networks, OSI model, Internet protocols. Routing, basic computer network services, network management and security. Advanced network and transport protocols, distributed applications, application layer protocols.
PA151, PA159 , PA160
Information security. Principles of organizational safety management, risk management, information security policy, information security management system, assessment of information security level.
Finite automata (FA) and logic over words. 1st order logic (FOL) and 2nd order monadic logic (MSOL): syntax and semantics FOL and MSOL, principles of transferability between FA and MSOL formulas. Automata over infinite words and omega-regular languages.
Graphs and graph algorithms. Formalization of basic graph terms, representation of graphs. Chart Link, Color, Plane Charts. Algorithms (including complexity): searching the chart to width and depth, shortest distances, skeletons, network flows.