Рабочие программы дисциплин

Онтологии представления знаний:

В результате изучения дисциплины обучающийся должен знать определения неформальных и формальных онтологий, их особенности; методы проектирования онтологий; методы оценки онтологий; шаблоны проектирования онтологий; уметь: проектировать онтологии под заданную задачу; оценивать корректность и непротиворечивость онтологии; использовать языки проектирования онтологий DL и OWL; владеть: навыками использования логического вывода; навыками наполнения онтологий; навыками создания онтологий на языках DL и OWL.

Интеграция данных в информационных системах:

В результате изучения дисциплины обучающийся должен знать проблемы интеграции данных в информационных системах; подходы к интеграции данных в информационных системах; основные уровни интероперабельности систем; уметь применять методы интеграции данных полученных из различных источников; разрабатывать программные интерфейсы обеспечения доступа к данным информационных систем; использовать технологии семантического веба; владеть навыками построения программных интерфейсов; навыки моделирования предметной области с использованием языка RDF и RDF Schema.

Верификация моделей программ:

В результате изучения дисциплины обучающийся должен: знать: методы оптимизации кода, методы анализа графа потока управления, концепции функционирования сред выполнения управляемого кода, а также анализа и верификации программ в таких средах; уметь: реализовывать существующие методы оптимизации кода и анализа графа потока выполнения, методы межпроцедурного анализа кода; владеть: современными инструментами для разработки программного обеспечения, специализированными средствами для разработки компиляторов; методами машинного обучения для верификации программного обеспечения.

 

Информация © 2015-2018 Университет ИТМО
Разработка © 2015 Департамент информационных технологий