{"id":1659,"date":"2025-02-12T22:16:12","date_gmt":"2025-02-12T19:16:12","guid":{"rendered":"http:\/\/math.karazin.ua\/?page_id=1659"},"modified":"2025-02-12T22:16:12","modified_gmt":"2025-02-12T19:16:12","slug":"%d0%ba%d0%b0%d1%84%d0%b5%d0%b4%d1%80%d0%b0-%d1%82%d0%b5%d0%be%d1%80%d0%b5%d1%82%d0%b8%d1%87%d0%bd%d0%be%d1%97-%d1%82%d0%b0-%d0%bf%d1%80%d0%b8%d0%ba%d0%bb%d0%b0%d0%b4%d0%bd%d0%be%d1%97-%d1%96%d0%bd","status":"publish","type":"page","link":"https:\/\/math.karazin.ua\/en\/scientific-directions\/%d0%ba%d0%b0%d1%84%d0%b5%d0%b4%d1%80%d0%b0-%d1%82%d0%b5%d0%be%d1%80%d0%b5%d1%82%d0%b8%d1%87%d0%bd%d0%be%d1%97-%d1%82%d0%b0-%d0%bf%d1%80%d0%b8%d0%ba%d0%bb%d0%b0%d0%b4%d0%bd%d0%be%d1%97-%d1%96%d0%bd\/","title":{"rendered":"Department of Theoretical and Applied Informatics"},"content":{"rendered":"

Formal methods for specification and analysis of complex systems, including large software and cyber-physical systems, covering<\/i><\/p>\n

\n
Category theory methods in programming<\/li>\n
Theory of distributed software and cyber-physical systems<\/li>\n
Modeling of network interactions<\/li>\n
Theory of discrete event systems<\/li>\n
Equations in free commutative monoids<\/li>\n
Modeling of software-defined networks (SDN) and distributed systems, including through the use of artificial intelligence<\/li>\n
Analysis of computer network growth<\/li>\n<\/ul>\n
Design of information and software systems, including<\/i><\/p>\n
\n
Object-oriented design and patterns. Verification of design compatibility and integrity<\/li>\n
Methods and tools for evaluating the quality of user interfaces of professional applications<\/li>\n
Theory and practice of relational and NoSQL databases<\/li>\n<\/ul>\n
Problems of data analysis, including<\/i><\/p>\n
\n
Image recognition and processing<\/li>\n
Text processing written in natural language<\/li>\n
Methods of computer vision<\/li>\n<\/ul>\n
\u041c\u0435\u0442\u043e\u0434\u0438 \u201c\u043c\u2019\u044f\u043a\u0438\u0445 \u043e\u0431\u0447\u0438\u0441\u043b\u0435\u043d\u044c\u201d, \u0437\u043e\u043a\u0440\u0435\u043c\u0430<\/i><\/p>\n
\n
\u0417\u0430\u0441\u0442\u043e\u0441\u0443\u0432\u0430\u043d\u043d\u044f \u043f\u0430\u0440\u0430\u043b\u0435\u043b\u044c\u043d\u0438\u0445 \u043e\u0431\u0447\u0438\u0441\u043b\u0435\u043d\u044c \u0432 \u0433\u0435\u043d\u0435\u0442\u0438\u0447\u043d\u0438\u0445 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u0430\u0445<\/li>\n
\u0412\u0438\u043a\u043e\u0440\u0438\u0441\u0442\u0430\u043d\u043d\u044f \u0448\u0442\u0443\u0447\u043d\u0438\u0445 \u043d\u0435\u0439\u0440\u043e\u043d\u043d\u0438\u0445 \u043c\u0435\u0440\u0435\u0436 \u0437 \u043c\u0435\u0442\u043e\u044e \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u0438\u0437\u0430\u0446\u0456\u0457 \u043f\u0440\u043e\u0435\u043a\u0442\u043d\u0438\u0445 \u0440\u043e\u0431\u0456\u0442 \u0443 \u043c\u0430\u0448\u0438\u043d\u043e\u0431\u0443\u0434\u0443\u0432\u0430\u043d\u043d\u0456<\/li>\n
\u041e\u043f\u0442\u0438\u043c\u0456\u0437\u0430\u0446\u0456\u044f \u0456\u043d\u0436\u0435\u043d\u0435\u0440\u043d\u0438\u0445 \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0446\u0456\u0439 \u0442\u0430 \u0456\u043d\u0436\u0435\u043d\u0435\u0440\u043d\u0456 \u0441\u0435\u0440\u0432\u0456\u0441-\u043e\u0440\u0456\u0454\u043d\u0442\u043e\u0432\u0430\u043d\u0456 \u0441\u0438\u0441\u0442\u0435\u043c\u0438<\/li>\n
\u0406\u0434\u0435\u043d\u0442\u0438\u0444\u0456\u043a\u0430\u0446\u0456\u044f \u043a\u0440\u0438\u0442\u0438\u0447\u043d\u0438\u0445 \u0441\u0442\u0430\u043d\u0456\u0432 \u0434\u0438\u0441\u043a\u0440\u0435\u0442\u043d\u0438\u0445 \u0431\u0456\u043e\u043b\u043e\u0433\u0456\u0447\u043d\u0438\u0445 \u0441\u0438\u0441\u0442\u0435\u043c<\/li>\n
\u0412\u0438\u043a\u043e\u0440\u0438\u0441\u0442\u0430\u043d\u043d\u044f \u043c\u0435\u0442\u043e\u0434\u0456\u0432 \u043c\u0430\u0448\u0438\u043d\u043d\u043e\u0433\u043e \u043d\u0430\u0432\u0447\u0430\u043d\u043d\u044f \u0432 \u043c\u0435\u0434\u0438\u0446\u0438\u043d\u0456<\/li>\n
\u0406\u043d\u0442\u0435\u043b\u0435\u043a\u0442\u0443\u0430\u043b\u044c\u043d\u0456 \u0456\u043d\u0444\u043e\u0440\u043c\u0430\u0446\u0456\u0439\u043d\u0456 \u0441\u0438\u0441\u0442\u0435\u043c\u0438 \u043c\u0435\u0434\u0438\u0447\u043d\u043e\u0457 \u0434\u0456\u0430\u0433\u043d\u043e\u0441\u0442\u0438\u043a\u0438 \u043d\u0430 \u043e\u0441\u043d\u043e\u0432\u0456 \u043c\u0435\u0442\u043e\u0434\u0456\u0432 \u043c\u0430\u0448\u0438\u043d\u043d\u043e\u0433\u043e \u043d\u0430\u0432\u0447\u0430\u043d\u043d\u044f<\/li>\n
\u0414\u0438\u0441\u043a\u0440\u0435\u0442\u043d\u043e-\u043f\u043e\u0434\u0456\u0454\u0432\u0456 \u043c\u0443\u043b\u044c\u0442\u0438\u0430\u0433\u0435\u043d\u0442\u043d\u0456 \u043c\u043e\u0434\u0435\u043b\u0456 \u0435\u043f\u0456\u0434\u0435\u043c\u0456\u0447\u043d\u0438\u0445 \u043f\u0440\u043e\u0446\u0435\u0441\u0456\u0432 (\u0437\u043e\u043a\u0440\u0435\u043c\u0430 COVID-19)<\/li>\n
\u041c\u0435\u0442\u043e\u0434\u0438 \u043c\u0430\u0448\u0438\u043d\u043d\u043e\u0433\u043e \u043d\u0430\u0432\u0447\u0430\u043d\u043d\u044f \u0443 \u043c\u043e\u0434\u0435\u043b\u044e\u0432\u0430\u043d\u043d\u0456 \u0442\u0430 \u043f\u0440\u043e\u0433\u043d\u043e\u0437\u0443\u0432\u0430\u043d\u043d\u0456 \u043f\u043e\u0432\u0435\u0434\u0456\u043d\u043a\u0438 \u0440\u0438\u043d\u043a\u0443<\/li>\n<\/ul>","protected":false},"excerpt":{"rendered":"
\u0424\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u0456 \u043c\u0435\u0442\u043e\u0434\u0438 \u0434\u043b\u044f \u0441\u043f\u0435\u0446\u0438\u0444\u0456\u043a\u0430\u0446\u0456\u0457 \u0456 \u0430\u043d\u0430\u043b\u0456\u0437\u0443 \u0441\u043a\u043b\u0430\u0434\u043d\u0438\u0445 \u0441\u0438\u0441\u0442\u0435\u043c, \u0432\u043a\u043b\u044e\u0447\u043d\u043e \u0437 \u0432\u0435\u043b\u0438\u043a\u0438\u043c\u0438 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043d\u0438\u043c\u0438 \u0456 […]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":1645,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-1659","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/math.karazin.ua\/en\/wp-json\/wp\/v2\/pages\/1659","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/math.karazin.ua\/en\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/math.karazin.ua\/en\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/math.karazin.ua\/en\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/math.karazin.ua\/en\/wp-json\/wp\/v2\/comments?post=1659"}],"version-history":[{"count":1,"href":"https:\/\/math.karazin.ua\/en\/wp-json\/wp\/v2\/pages\/1659\/revisions"}],"predecessor-version":[{"id":1662,"href":"https:\/\/math.karazin.ua\/en\/wp-json\/wp\/v2\/pages\/1659\/revisions\/1662"}],"up":[{"embeddable":true,"href":"https:\/\/math.karazin.ua\/en\/wp-json\/wp\/v2\/pages\/1645"}],"wp:attachment":[{"href":"https:\/\/math.karazin.ua\/en\/wp-json\/wp\/v2\/media?parent=1659"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}