Курс лекций. Введение в математическую логику и теорию алгоритмов. Часть 2.

О курсе. Курс читается студентам второго курса механико-математического факультета МГУ имени М. В. Ломоносова в 3 семестре.

Лектор: Шехтман Валентин Борисович - доктор физико-математических наук, профессор кафедры математической логики и теории алгоритмов механико-математического факультета МГУ имени М.В. Ломоносова.

Подготовлено: МГУ имени М.В. Ломоносова совместно с Лекторием Teach-in.

Темы лекций:

1. Эквивалентность моделей.

2. Нормальные модели.

3. Теории и модели.

4. Преобразование формул к стандартному виду.

5. Исчисление предикатов.

+ Методическое пособие для курса.

+ Конспект для курса.

+ Список литературы для курса.

Источник: vk.com

Комментарии: