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

Список лекций1462

01:07:12
6812
Кванторы, синтаксис языков первого порядка. Определение термов, атомарных формул, формул, связанных и свободных вхождений переменных. Определение значений термов и формул. Теорема о зависимости формулы только от значений параметров формулы.

Категории

Лекторы

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