В старых версиях браузеров сайт может отображаться некорректно. Для оптимальной работы с сайтом рекомендуем воспользоваться современным браузером.
The discipline follows the course "Conceptual Modeling", which allows students to consider the theory and practice of building conceptual models and knowledge issues in relation to each other. In the process of mastering the educational material, students get acquainted with the theory of knowledge representation using relational logic. Practical exercises are based on the use of the MIT Alloy Analyzer software toolkit. Using this tool, students perform the formalization of knowledge in several subject areas, analyze the consistency of the constructed models, apply the results of the analysis to make decisions and verify the properties of information systems. Particular attention in the course of training is paid to the dynamic aspect of knowledge, orientation to use in the process of analyzing a problem situation and making decisions. At the final stage of training, students master the skills of joint use of conceptual modeling tools and formal logical analysis using the examples of UFO ontology and relational logic. The course is intended for Masters of Business Informatics of the second year of study, for studying the course it is desirable to successfully master the course "Conceptual Modeling: Ontological Theories".