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