АННОТАЦИЯ ДИСЦИПЛИНЫ

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

Направление подготовки: 09.03.03 Прикладная информатика

Уровень образовательной программы: бакалавриат

Цели и задачи дисциплины (модуля)

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

Задачи освоения дисциплины «Математическая логика и теория алгоритмов» заключаются в формировании логического мышления, развитии абстрактного и алгоритмического мышления, освоении аппарата математической логики и теории алгоритмов.

Результаты освоения дисциплины

Процесс изучения дисциплины направлен на формирование следующей компетенции:

– способность анализировать социально-экономические задачи и процессы с применением методов системного анализа и математического моделирования (ОПК-2).

Основные тематические разделы дисциплины

Совершенные дизъюнктивные нормальные формы (СДНФ) и совершенные конъюнктивные нормальные формы (СКНФ) в алгебре высказываний (АВ). Исчисление высказываний (ИВ). Доказуемые формулы ИВ. Теорема о дедукции в ИВ. Эквивалентные формулы ИВ. Дизъюнктивная и конъюнктивная нормальные формы (ДНФ и КНФ). Логика предикатов (ЛП). Алгебраические системы. Подсистемы. Формулы ЛП. Истинность формул ЛП в алгебраической системе. Эквивалентные формулы ЛП. Пренексная нормальная форма (ПНФ) для формул ЛП. Исчисление предикатов (ИП). Доказуемые формулы ИП. Теорема о дедукции в ИП. Эквивалентные формулы ИП. Пренексная нормальная форма для формул ИП. Машины Тьюринга. Примитивно рекурсивные функции. Частично рекурсивные функции.

Трудоемкость дисциплины (модуля) и виды учебной работы

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

Название ОПОП

Форма обучения

Индекс

Семестр

курс

Трудоемкость

(З. Е.)

Объем контактной работы (час)

СРС

Форма аттестации

Всего

Аудиторная

Внеаудиторная

лек

прак

лаб

ПА

КСР

Б-ПИ

ОФО

Б.1.В.05

4

5

60

34

17

9

110

Экзамен