Цели и задачи дисциплины
Целью дисциплины является ознакомление студентов с фундаментальными основами математической логики, а также с современными методами оценки сложности алгоритмов и методами их разработки.
Задачи дисциплины состоят в ознакомлении с фундаментальными понятиями математической логики, знакомство с основными принципами построения логических исчислений; знакомство с общим понятием алгоритма; изучение универсальных алгоритмических моделей
Краткое содержание дисциплины
Курс "Математическая логика и теория алгоритмов" состоит из 2 основных частей - лекционный курс и практические занятия. На лекциях студенты изучают теоретические основы математической логики высказываний, предикатов, теории алгоритмов. Целью практических занятий является закрепление полученных на лекциях теоретических знаний путем решения практических задач. Основные темы: высказывания, предикаты, кванторы, булевые функции и методы их минимизации, машины Тюринга, , контактные схемы.