Математическая логика и теория алгоритмов

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

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

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

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

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

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

ПК-3 Способен анализировать требования к компонентам аппаратно-программных комплексов и программному обеспечению