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

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

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

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

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

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

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

ПК-3 Способен анализировать требования к компонентам аппаратно-программных комплексов и программному обеспечению