Языки (логика) первого порядка | Видеолекции Физтеха: Лекторий МФТИ - видеолекции по физике, математике, биологии, биоинформатике, информатике и другим дисциплинам

Видео не может быть загружено из-за проблем с интернет-соединением или проблем на сервере. Или формат файла не поддерживается вашим браузером.

Языки (логика) первого порядка

7-я лекция из курса: Математическая логика и теория алгоритмов

Видео закончится через

NaN:NaN

00:00

00:00

Следующая секция начнется через 15:47

Кванторы. Синтаксис языков первого порядка

Кванторы существования и всеобщности, примеры их применения. Символы языков первого порядка (индивидные переменные, предикатные символы, функциональные символы, константные символы). Определение сигнатуры, логические операции, кванторы, служебные символы.

15:47

Следующая секция начнется через 15:47

Термы. Формулы

Определение терма, примеры термов. Определение атомарной формулы, примеры атомарных формул. Определение формулы, примеры формул. Определение связанных и свободных переменных (вхождений переменных), определение замкнутой и незамкнутой формул.

33:31

Следующая секция начнется через 15:47

Значения термов и формул

Определение интерпретации и оценки. Задание значений термов и формул.

54:05

Следующая секция начнется через 15:47

Зависимость формулы только от значения свободных переменных

Определение параметров формулы. Формулировка и доказательство теоремы о зависимости значений формулы только от значений ее параметров .

00:00

00:00

00:00

Следующая секция начнется через 15:47

Кванторы. Синтаксис языков первого порядка

Кванторы существования и всеобщности, примеры их применения. Символы языков первого порядка (индивидные переменные, предикатные символы, функциональные символы, константные символы). Определение сигнатуры, логические операции, кванторы, служебные символы.

15:47

Следующая секция начнется через 15:47

Термы. Формулы

Определение терма, примеры термов. Определение атомарной формулы, примеры атомарных формул. Определение формулы, примеры формул. Определение связанных и свободных переменных (вхождений переменных), определение замкнутой и незамкнутой формул.

33:31

Следующая секция начнется через 15:47

Значения термов и формул

Определение интерпретации и оценки. Задание значений термов и формул.

54:05

Следующая секция начнется через 15:47

Зависимость формулы только от значения свободных переменных

Определение параметров формулы. Формулировка и доказательство теоремы о зависимости значений формулы только от значений ее параметров .

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

Лекторы

Мусатов Даниил Владимирович

кандидат физико-математических наук

Кандидат физико-математических наук. Сотрудник кафедры дискретной математики МФТИ

Конспекты

Следующая лекция

МАТЕМАТИКА01:03:07

Выразимость предикатов

8-я лекция из курса:

Математическая логика и теория алгоритмов

Предыдущая лекция

МАТЕМАТИКА01:09:46

Теорема о полноте исчисления высказываний. Теорема о компактности

6-я лекция из курса:

Математическая логика и теория алгоритмов

Московский физико-технический институт

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

Скачайте наше мобильное приложение

iTunes

Google Play