Мы используем файлы cookies для улучшения работы сайта НИУ ВШЭ и большего удобства его использования. Более подробную информацию об использовании файлов cookies можно найти здесь, наши правила обработки персональных данных – здесь. Продолжая пользоваться сайтом, вы подтверждаете, что были проинформированы об использовании файлов cookies сайтом НИУ ВШЭ и согласны с нашими правилами обработки персональных данных. Вы можете отключить файлы cookies в настройках Вашего браузера.

  • A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Контакты
Заведующий кафедрой Асеева Наталья Владимировна

E-mail: naseeva@hse.ru

Осипова Анастасия Ивановна
Менеджер Осипова Анастасия Ивановна

E-mail: aiosipova@hse.ru

603093 Н.Новгород,ул. Родионова, 136

603095 Н.Новгород,ул. Львовская, 1В

603155 Н.Новгород,ул. Б.Печерская, д.25/12

Статья
SensorDBSCAN: Semi-Supervised Active Learning Powered Method for Anomaly Detection and Diagnosis

Ivanov P., Shtark M., Kozhevnikov A. et al.

IEEE Access. 2025. Vol. 13. P. 25186-25197.

Глава в книге
Business Applications of Machine Learning Within the “Industry 4.0” Concept

Masi M., Pavel Malyzhenkov, Lapshina A.

In bk.: Information Systems for Intelligent Systems. Vol. 1: Proceedings of ISBM 2024. Springer, 2025. Ch. 9. P. 93-103.

Препринт
DAREL: Data Reduction with Losses for Training Acceleration of Real and Hypercomplex Neural Networks

Demidovskij A., Трутнев А. И., Тугарев А. М. et al.

NeurIPS 2023 Workshop. ZmuLcqwzkl. OpenReview, 2023

Контакты
Заведующий кафедрой Асеева Наталья Владимировна

E-mail: naseeva@hse.ru

Осипова Анастасия Ивановна
Менеджер Осипова Анастасия Ивановна

E-mail: aiosipova@hse.ru

603093 Н.Новгород,ул. Родионова, 136

603095 Н.Новгород,ул. Львовская, 1В

603155 Н.Новгород,ул. Б.Печерская, д.25/12

Scientific Seminar "Theory and Practice of Knowledge Management"

2021/2022
Учебный год
ENG
Обучение ведется на английском языке
5
Кредиты

Преподаватель

Course Syllabus

Abstract

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".