Математическая логика и теория алгоритмов 7. Теорема о полноте исчисления высказываний
00:00:00 - Теоремы о корректности и полноте
00:13:15 - Правило исчерпывающего разбора случаев
00:15:37 - Примеры
00:21:42 - Обратная контрапозиция
00:24:50 - Закон де Моргана
00:31:16 - Доказательство теоремы о полноте
00:41:29 - Основная лемма
00:50:36 - Доказательство теоремы о полноте
00:56:11 - Другой способ доказательства
Дата лекции:
Лектор: Мусатов Даниил Владимирович
Оператор: Карплюк Ксения
Монтажёр: Сиомаш Иван
Плейлист:
1 view
416
99
1 month ago 00:23:12 1
Образование будущего - кто будет востребован в новом мире Энвер Измайлов и Андрей Фурсов
1 month ago 00:06:13 1
Почему политики ни за что не отвечают Энвер Измайлов
1 month ago 00:18:47 1
ТАБЛИЦА УМНОЖЕНИЯ БОЛЬШЕ НЕ НУЖНА. УМНОЖЕНИЕ ЛЮБЫХ ЧИСЕЛ БЕЗ КАЛЬКУЛЯТОРА РАЗВИТЕ ЛОГИКИ. МАТЕМАТИКА
1 month ago 00:00:51 1
Задача про орехи и хитрое решение #математика #репетитор #задача #логика
1 month ago 01:33:56 1
Музыка и математика, Пифагор, Бах и научные предсказания. Роман Олейников || GlumOFF
1 month ago 00:21:51 1
Секрет доверия народа: почему политики нуждаются в философах Энвер Измайлов и Владимир Лепехин
1 month ago 00:00:04 1
Переставь одну цифру №39 | Задача на логику
1 month ago 00:25:10 1
Обучение EXCEL. УРОК 19: РАБОТА С ДАТАМИ И ВРЕМЕНЕМ В EXCEL (РАЗНДАТ, ДОЛЯГОДА, ЧИСТРАБДНИ, ТДАТА)
1 month ago 00:46:08 1
Гомеопат Болотова Оксана Васильевна - Гомеопатия - это математика
1 month ago 00:00:55 1
Когда приходит мудрость Энвер Измайлов
1 month ago 00:01:00 1
Философ не изобретает велосипед Энвер Измайлов
1 month ago 01:32:12 1
Алексей Семихатов - Квантовая Механика, Квантовый компьютер и Квантовая реальность
1 month ago 00:00:46 1
Преданность в отношениях Энвер Измайлов
1 month ago 00:15:55 5
Есть ли физика в теории симуляции?
1 month ago 00:00:55 1
Опасность восточной идеологии для России Энвер Измайлов
1 month ago 00:01:54 1
Математика: Таблица умножения на пальцах
1 month ago 00:00:04 1
Переставь одну цифру №30 | Задача на логику
1 month ago 00:06:27 1
Музыкальное мышление. Какой вид интеллекта у музыканта?
1 month ago 00:01:00 1
Не ведитесь на негатив Энвер Измайлов
1 month ago 01:10:49 1
Эстетика христианского средневековья, лекция 5/12 Пустовит Александр лекция про срелневековье
2 months ago 00:00:59 6
Люди хотят быть запрограммированными Энвер Измайлов