Курс лекций по математической логике, читаемый Андреевым Кириллом Кирилловичем (ФПМ МГИЭМ).
Скачать лекции по математической логике (PDF)
В состав лекций входит:
- Теория алгоритмов
- Различные подходы к определению алгоритма
- Машина с неограниченными регистрами (МНР)
- Машина Тьюринга - Поста
- Нормальные алгоритмы Маркова
- Реализация функции натурального переменного
- Эквивалентность трех подходов к понятию алгоритм
- Булевы функции
- Декартово произведение
- Декартова степень произвольного множества
- Определение булевой функции от n переменных
- Примеры булевой функции
- Основные булевы тождества
- Дизъюнктивные нормальные формы
- Некоторые другие виды ДНФ
- Логические Исчисления
- Исчисления высказывания
- Правило одновременной подстановки
- Формальный вывод из гипотез
- Теорема Дедукции
- Критерий выводимости в ИВ
- Понятие интерпретации
- Непротиворечивость ИВ
- Формальные исчисления
- Предикаты и кванторы
- Определение предиката
- Понятие квантора
Лекции набрал: Томашевич Максим Сергеевич (info@tommax.bizland.com)
Похожие статьи:
|
