Слава разработчикам Лектория!
Слава! Слава!

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

4 193 просмотра
12 ноября 2014
Синтаксис исчисления предикатов, примеры выводов. Правило обобщения. Теорема о корректности, корректность правила Бернсайда. Выводимость из посылок, лемма о дедукции.

Лекторы

кандидат физико-математических наук
Кандидат физико-математических наук. Сотрудник кафедры дискретной математики МФТИ
Московский физико-технический институт
Московский физико-технический институт (Физтех) – ведущий вуз России по подготовке высококвалифицированных специалистов по передовым направлениям науки и техники. Входит в топ 5 крупных рейтингов отечественных университетов. Отличительной чертой образовательного процесса МФТИ является система поиска и подготовки кадров – знаменитая «система Физтеха».
Скачайте наше мобильное приложение
iTunes
Google Play