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

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

В результате изучения дисциплины обучаемый должен:

уметь находить представление и исследовать свойства булевых и многозначных функций формулами в различных базисах, применять методы математической логики и теории алгоритмов к решению задач математической кибернетики, оценивать сложность алгоритмов и вычислений при решении практических задач;

иметь навыки использования современной символической логики, построения алгоритмов и анализа их сложности. Построения функциональных схем реализации булевых функций, поиска научной информации и работы с реферативной, справочной, периодической и монографической литературой по математической логике;

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

Дисциплина является основной в системе курсов дискретной математики. Изучаемый материал используется в курсах компьютерного и криптографического циклов.