Theory of Opportunities in Decision-Making Problems<\/h3>\n
Code:<\/strong> BB.01 | Credits<\/strong> 5 | Lecturer<\/strong> prof. Bychkov O.S.<\/p>\n Axiomatic theory of possibilities with two degrees (possibility and necessity), Zadeh paradox, ((P,N))-model as an alternative to Dempster-Schafer theory. Application of expert-type data in tasks with uncertainty.<\/p>\n<\/article>\n\n\n\n Code:<\/strong> BB.02 | Credits<\/strong> 5 | Lecturer<\/strong> prof. Bychkov O.S.<\/p>\n Implementation of communication protocols, coordination models, behavior planning systems in a secure system language. The course covers FIPA-ACL, contract-no, behavior tree, implementation of swarm behavior.<\/p>\n<\/article>\n\n\n\n Code:<\/strong> BB.03 | Credits<\/strong> 5<\/p>\n Simulation of systems combining continuous and discrete dynamics. Investigation of the stability of hybrid systems, verification of properties by means of HyTech, SpaceEx, dReach. Applications in cyber-physical systems and robotics.<\/p>\n<\/article>\n\n\n\n Code:<\/strong> BB.04 | Credits<\/strong> 5<\/p>\n Architecture of transformers, distillation, fine-tuning, RAG-systems. Possible model of attention. Three-level memory for agents. Integration with vector databases (Qdrant, Pinecone) Model evaluation.<\/p>\n<\/article>\n\n\n\n Code:<\/strong> BB.05 | Credits<\/strong> 5<\/p>\n Operational, denotational, axiomatic semantics. Hoare's logic: Proving the correctness of applications in Coq. Overview of type systems: System F, dependent types. Overview of languages with formally specific semantics (Standard ML, Idris, F*).<\/p>\n<\/article>\n\n\n\n Code:<\/strong> BB.06 | Credits<\/strong> 5<\/p>\n Cryptography on lattices, hash functions, isogens. NIST PQC standards: Kyber, Dilithium, Falcon. Hybrid cryptosystems of the Transition Period. Security of blockchain systems in the post-quantum context.<\/p>\n<\/article>\n\n\n\n Code:<\/strong> BB.07 | Credits<\/strong> 5<\/p>\n Monolith decomposition, design patterns (CQRS, Event Sourcing, saga, Outbox), service grid (Istio, Linkerd), distributed tracing (OpenTelemetry, Jaeger). Practice on k8s.<\/p>\n<\/article>\n\n\n\n Code:<\/strong> BB.08 | Credits<\/strong> 5<\/p>\n Jet streams, back-pressure, ReactiveX (RxJS, RxJava), Project Reactor. Architecture of reactive systems according to the Reactive Manifesto manifesto. Integration with Akka, Vert.x, Spring WebFlux.<\/p>\n<\/article>\n\n\n\n Code:<\/strong> BB.09 | Credits<\/strong> 5<\/p>\n OWASP Top 10, threat modeling (STRIDE), static and dynamic code analysis, fuzz testing. Secure Keeping of Secrets - Software Supply Chain Security (SBOM, Sigstore).<\/p>\n<\/article>\n\n\n\n Code:<\/strong> BB.10 | Credits<\/strong> 5<\/p>\n Classical CV (OpenCV) and in-depth methods (YOLO, DETR, Sam). Camera calibration, stereo vision, optical flow. Real-time constraints: Deploy models to edge (Jetson, Coral).<\/p>\n<\/article>\n\n\n\n Registration for the free choice discipline opens two months before the start of the semester in the e-government system of KNU. If the applicant does not register independently, the dean's office enrolls disciplines by default from the proposals of the department.<\/p>\n\n\n\n The discipline is formed when at least 10 applicants have enrolled in it. In case of a smaller number of applications, the applicant is transferred to a discipline with the content closest to the subject.<\/p>","protected":false},"excerpt":{"rendered":" The Master's level trainee chooses three disciplines of free choice with a total of 15 ECTS credits during their studies. The catalog below is the offer of the Department of Software...<\/p>","protected":false},"author":1,"featured_media":0,"parent":7002,"menu_order":6,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-7005","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/pst.knu.ua\/en\/wp-json\/wp\/v2\/pages\/7005","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/pst.knu.ua\/en\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/pst.knu.ua\/en\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/pst.knu.ua\/en\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/pst.knu.ua\/en\/wp-json\/wp\/v2\/comments?post=7005"}],"version-history":[{"count":1,"href":"https:\/\/pst.knu.ua\/en\/wp-json\/wp\/v2\/pages\/7005\/revisions"}],"predecessor-version":[{"id":7062,"href":"https:\/\/pst.knu.ua\/en\/wp-json\/wp\/v2\/pages\/7005\/revisions\/7062"}],"up":[{"embeddable":true,"href":"https:\/\/pst.knu.ua\/en\/wp-json\/wp\/v2\/pages\/7002"}],"wp:attachment":[{"href":"https:\/\/pst.knu.ua\/en\/wp-json\/wp\/v2\/media?parent=7005"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}Multi-agent systems on Rust<\/h3>\n
Hybrid Automatics and Functional Stability<\/h3>\n
Engineering Large Language Models<\/h3>\n
Formal semantics of programming languages<\/h3>\n
Post-Quantum Era Cryptography<\/h3>\n
Architecture of microservice systems<\/h3>\n
Reactive programming systems<\/h3>\n
Security of software systems<\/h3>\n
Real-time computer vision systems<\/h3>\n
Make selection<\/h2>\n\n\n\n