- Цели и задачи дисциплины
- Целью дисциплины является знакомство обучающегося с базой математической логики и теории алгоритмов. Основные задачи дисциплины: изучение основ математической логики, в том числе логики высказываний и логики предикатов; освоение способов задания и анализа формальных языков; получение теоретических и практических навыков по формализации и разработке различных алгоритмов и оценке их сложности.
- Краткое содержание дисциплины
- В курсе рассматриваются следующие вопросы: введение в математическую логику, алгебра логики, булева алгебра и булевы функции, полнота в логике высказываний; основные понятия и свойства в логике предикатов, префиксная нормальная форма; виды и способы задания формальных языков; введение в теорию алгоритмов, исчисляемые функции, способы задания алгоритмов; виды оценок сложности алгоритма, правила вычисления оценки; структуры данных, используемые в алгоритмах, и базовые операции над ними, оценка сложности базовых операций, примеры алгоритмов, работающих с различными структурами данных; алгоритмы внутренней и внешней сортировки, особенности и примеры.
- Компетенции обучающегося, формируемые в результате освоения дисциплины
- Выпускник должен обладать:
- ПК-1 Способен проводить анализ предметной области и формулировать требования к разработке программного обеспечения для решения задач профессиональной деятельности, применять современные методы и средства проектирования программного обеспечения с учетом архитектуры вычислительных систем (включая многопроцессорные вычислительные системы), использовать инструментальные и вычислительные средства при разработке алгоритмических и программных решений
- Образование
- Учебный план 02.03.02, 2026, (4.0), Фундаментальная информатика и информационные технологии
- Математическая логика и теория алгоритмов