Формализация информационных представлений и преобразований

Цели и задачи дисциплины

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

Краткое содержание дисциплины

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

Компетенции обучающегося, формируемые в результате освоения дисциплины

Выпускник должен обладать:

ПК-2 Способен разрабатывать технические спецификации на программные компоненты и их взаимодействие