| Здравствуйте! Материалов курса нет, когда можно будет изучить курс? |
Московский государственный гуманитарный университет имени М.А. Шолохова
Опубликован: 04.04.2015 | Доступ: свободный | Студентов: 304 / 0
Специальности: Программист, Архитектор программного обеспечения, Математик
Лекция 4:
Метатеория. Введение в исчисление предикатов
< Лекция 1 || Лекция 4
Аннотация: В первой половине лекции обсуждается понятие метатеории и метатеорем. Приводится теорема о дедукции, ее доказательство, обратная теорема о дедукции. В завершение рассматривается пример. Вторая половина лекции посвящена введению в исчисление предикатов (ИП): рассматриваются основные определения и понятия, дается формальное определение ИП.
< Лекция 1 || Лекция 4
