Московский государственный гуманитарный университет имени М.А. Шолохова
Опубликован: 04.04.2015 | Доступ: свободный | Студентов: 303 / 0
Лекция 4:

Метатеория. Введение в исчисление предикатов

< Лекция 1 || Лекция 4
Аннотация: В первой половине лекции обсуждается понятие метатеории и метатеорем. Приводится теорема о дедукции, ее доказательство, обратная теорема о дедукции. В завершение рассматривается пример. Вторая половина лекции посвящена введению в исчисление предикатов (ИП): рассматриваются основные определения и понятия, дается формальное определение ИП.

< Лекция 1 || Лекция 4
Егор Шишебаров
Егор Шишебаров
Здравствуйте! Материалов курса нет, когда можно будет изучить курс?