Реферат: Практических: 18 Лабораторных

Лекций: 34

Практических: 18

Лабораторных: 0
ML.8 Математическая логика (курс – 4, семестр – 8)



ECTS: 3



Лектор
Кандидат технических наук, доцент кафедры уравнений математической физики Супрун В.П.
Цель курса
Повышение уровня профессиональной компетентности, умение ориентироваться в вопросах исследования оснований математики, структуры доказательств, логических основ программирования, логического проектирования устройств вычислительной техники.

^ Образовательная цель: приобретение студентами знаний о предмете и методах математической логики, о значении математической логики для математики, математической кибернетики, программирования и вычислительной техники.

^ Развивающая цель: формирование у студентов знаний о высказываниях, предикатах; приобретение навыков минимизации функций алгебры высказываний, вывода формул исчисления высказываний и исчисления предикатов; доказательства непротиворечивости и полноты логического исчисления.
Базовые курсы
Математическая логика существенно использует основные положения дискретной математики, комбинаторики.
Содержание
Тема 1.^ Алгебра высказываний. Высказывания. Формулы. Функции алгебры высказываний. Минимизация функций. Релейно-контактные схемы, контактные схемы, схемы из функциональных элементов.

Тема 2. Исчисление высказываний. Формулы, аксиоматика, правила вывода. Теорема дедукции. Непротиворечивость, полнота.

Тема 3. Логика предикатов. Предикаты, кванторы. Формулы. Коллизия переменных. Нормальные и приведенные формулы. Проблема разрешения.

Тема 4.^ Исчисление предикатов. Формулы, аксиоматика, правила вывода. Производное правило связывания квантором. Закон двойственности.
Методика
преподавания

Лекции и лабораторные занятия.

Литература

1. Новиков П.С. Элементы математической логики. М.: Наука, 1973.

2. Мендельсон Э. Введение в математическую логику. М.: Наука, 1976.

3. Лавров И.А., Максимова Л.Л. Задачи по теории множеств,

математической логике и теории алгоритмов. М.: Наука, 1984.
Экзаменационная
методика

Зачет
Рекомендуется
Для студентов четвертого курса специализаций «Математическая электроника», «Компьютерная математика», «Математические методы в экономике»
Примечания