Theory of Possibilities and ((P,N))-Models<\/h3>\n
Code:<\/strong> BB.PhD.01 | Credits<\/strong> 5 | Lecturer<\/strong> prof. Bychkov O.S.<\/p>\n Expanded axiomatic theory of possibilities with two agreed measures. Zadeh's paradox and its solution in the format of ((P,N))-models. Conditional possibility in the wording of Bychkov and comparison with the Dubois-Pradet form. Application in decision-making tasks with expert-type data.<\/p>\n<\/article>\n\n\n\n Code:<\/strong> BB.PhD.02 | Credits<\/strong> 5 | Lecturer<\/strong> prof. Bychkov O.S.<\/p>\n Formalism of hybrid automata with discrete and continuous states. Analysis of the stability of hybrid systems in terms of optimal Lyapunov functions. Verification methods (HyTech, SpaceEx, dReach). Applications in cyber-physical systems and robotics.<\/p>\n<\/article>\n\n\n\n Code:<\/strong> BB.PhD.03 | Credits<\/strong> 5 | Lecturer<\/strong> prof. Bychkov O.S.<\/p>\n BDI architectures, no contract, FIPA-ACL. Implementation in the secure Rust system language. Modeling of swarm behavior and coordination. Possible control in conditions of uncertainty. The experimental part is on the AirSim simulator.<\/p>\n<\/article>\n\n\n\n Code:<\/strong> BB.PhD.04 | Credits<\/strong> 5<\/p>\n Transformer architecture and transformational methods. Distillation of models. Quantization-aware training. Fine-tuning with LoRA, QLoRA. RAG-systems. Possible model of attention. Three-Level Memory for Agents: Model Evaluation.<\/p>\n<\/article>\n\n\n\n Code:<\/strong> BB.PhD.05 | Credits<\/strong> 5<\/p>\n Operational, denotational, axiomatic semantics of programming languages. Hoare's logic. Proving correctness in Coq, Isabelle, Lean systems. Dependent types: Review of verified systems (CompCert, seL4).<\/p>\n<\/article>\n\n\n\n Code:<\/strong> BB.PhD.06 | Credits<\/strong> 5<\/p>\n Cryptography on lattices, hash functions, isogens. NIST PQC standards (Kyber, Dilithium, SPHINCS+, Falcon). Resilience Analysis: Adaptation to Constrained Environments (IoT). Hybrid cryptosystems of the Transition Period.<\/p>\n<\/article>\n\n\n\n Code:<\/strong> BB.PhD.07 | Credits<\/strong> 4<\/p>\n Concepts of scientific knowledge in the XX\u2013XXI centuries. Structure of scientific revolutions (Kun). Research Programs (Lakatos): Epistemology of Computational Sciences. Ethics of scientific work in the conditions of AI.<\/p>\n<\/article>\n\n\n\n Code:<\/strong> BB.PhD.08 | Credits<\/strong> 5<\/p>\n Academic writing genres (IMRaD, conference paper, grant proposal). Stylistics of scientific language. Preparation of publications for Q1\/Q2 journals. Presentation of results. Working with reviewers.<\/p>\n<\/article>\n\n\n\n Code:<\/strong> BB.PhD.09 | Credits<\/strong> 4<\/p>\n Preparation of projects under the Horizon Europe, MSCA, ERC, Erasmus+ programs. Structuring of the research plan. Project management, budgeting, reporting. Working with consortia.<\/p>\n<\/article>\n\n\n\n Code:<\/strong> BB.PhD.10 | Credits<\/strong> 4<\/p>\n FAIR Principles (Findable, Accessible, Interoperable, Reusable). Preparing datasets for publication. Metadata, identifiers (DOI, ORCID), repositories. Research data lifecycle management.<\/p>\n<\/article>\n\n\n\n Enrollment in elective disciplines is carried out after the approval of the individual postgraduate plan (usually during the first month of study). The applicant agrees the list with the supervisor, based on the topic of the dissertation and existing scientific competencies.<\/p>\n\n\n\n The discipline is formed when at least 5 applicants have enrolled in it. In case of a smaller number of applications, the applicant is transferred to a discipline with the closest content, or the discipline is read in the format of individual advisory training.<\/p>","protected":false},"excerpt":{"rendered":" The catalog of selective disciplines of the educational and scientific program The Ph.D.-level applicant chooses three selective disciplines with a total of 14 ECTS credits. The catalogue below is the offer of the PST department...<\/p>","protected":false},"author":1,"featured_media":0,"parent":7009,"menu_order":3,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-7012","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/pst.knu.ua\/en\/wp-json\/wp\/v2\/pages\/7012","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=7012"}],"version-history":[{"count":1,"href":"https:\/\/pst.knu.ua\/en\/wp-json\/wp\/v2\/pages\/7012\/revisions"}],"predecessor-version":[{"id":7068,"href":"https:\/\/pst.knu.ua\/en\/wp-json\/wp\/v2\/pages\/7012\/revisions\/7068"}],"up":[{"embeddable":true,"href":"https:\/\/pst.knu.ua\/en\/wp-json\/wp\/v2\/pages\/7009"}],"wp:attachment":[{"href":"https:\/\/pst.knu.ua\/en\/wp-json\/wp\/v2\/media?parent=7012"}],"curies":[{"name":"WP","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}Hybrid automata and functional stability of software systems<\/h3>\n
Multi-agent systems: theory and engineering<\/h3>\n
Engineering Large Language Models<\/h3>\n
Formal semantics and verification<\/h3>\n
Post-Quantum Era Cryptographic Protocols<\/h3>\n
General scientific disciplines<\/h2>\n\n\n\n
Philosophy of Science and Technology (in-depth course)<\/h3>\n
Modern Academic English<\/h3>\n
Research management and grant activities<\/h3>\n
Open data management and FAIR-practice<\/h3>\n
Make selection<\/h2>\n\n\n\n