Myvideo

Guest

Login

Введение в математическую логику 2. Производные математические утверждения

Uploaded By: Myvideo
22 views
0
0 votes
0

00:00 - Начало 01:10 - Повторение предыдущей лекции 05:41 - Однозначность дерева разбора 06:58 - Лемма о количество открывающих и закрывающих скобок в формуле 09:48 - Скобочный итог 11:08 - Однозначность разбора 21:14 - Формула тавтология 22:34 - Выполнимая формула 27:00 - Modus ponens 37:26 - Типичное математическое высказывание 38:30 - Определение отношения на множестве 46:20 - Определение функции 52:23 - Навешивание кванторов 59:30 - Определение модели 01:05:38 - Алгебра Тарского 01:15:23 - Арифметика Дата лекции: Лектор: Михаил Николаевич Вялый Оператор: Семенов Вадим Монтажёр: Юдин Иван Плейлист:

Share with your friends

Link:

Embed:

Video Size:

Custom size:

x

Add to Playlist:

Favorites
My Playlist
Watch Later