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

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

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

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

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

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

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

ПК-1 Способен формулировать требования к разработке программного обеспечения на основе анализа предметной области, осуществлять проектирование программного обеспечения с учетом архитектуры вычислительных систем (включая многопроцессорные вычислительные системы), использовать инструментальные и вычислительные средства при разработке алгоритмических и программных решений для решения задач профессиональной деятельности