Лекция 11
"Введение в математическую логику и теорию алгоритмов" (Л. Д. Беклемишев, мехмат МГУ)
Лекция 11 (13.11.2020)
00:00 Начало лекции
0:35 Теория в сигнатуре
2:55 Модель теории. Примеры
8:00 Нормальная модель
8:48 Аксиомы равенства
12:04 Теория с равенством
13:20 Теорема о существовании нормальной модели у выполнимой теории с равенством
23:04 Формальная арифметика Пеано
33:00 Теория множеств ZFC
42:35 Элементарная геометрия (аксиоматика Тарского)
54:26 Теорема Тарского о полноте и разрешимости элементарной геометрии
56:53 Исчисление предикатов
58:29 Аксиомы исчисления предикатов
1:02:52 Правила вывода исчисления предикатов
1:17:34 Вывод в исчислении предикатов
1:19:41 Выводимая в исчислении предикатов формула (теория исчисления предикатов)
1:20:42 Вывод в теории
1:21:59 Выводимая (доказуемая) в теории формула (теорема в теории). Опровержимая, независимая формулы
1:22:44 Свойства выводимости
1:24:53 Дедуктивно эквивалентные теории
Что делает видео по-настоящему запоминающимся? Наверное, та самая атмосфера, которая заставляет забыть о времени. Когда вы заходите на RUVIDEO, чтобы посмотреть онлайн «Лекция 11», вы рассчитываете на нечто большее, чем просто загрузку плеера. И мы это понимаем. Контент такого уровня заслуживает того, чтобы его смотрели в HD 1080, без дрожания картинки и бесконечного буферизации.
Честно говоря, Rutube сегодня — это кладезь уникальных находок, которые часто теряются в общем шуме. Мы же вытаскиваем на поверхность самое интересное. Будь то динамичный экшн, глубокий разбор темы от любимого автора или просто уютное видео для настроения — всё это доступно здесь бесплатно и без лишних формальностей. Никаких «заполните анкету, чтобы продолжить». Только вы, ваш экран и качественный поток.
Если вас зацепило это видео, не забудьте взглянуть на похожие материалы в блоке справа. Мы откалибровали наши алгоритмы так, чтобы они подбирали контент не просто «по тегам», а по настроению и смыслу. Ведь в конечном итоге, онлайн-кинотеатр — это не склад файлов, а место, где каждый вечер можно найти свою историю. Приятного вам отдыха на RUVIDEO!
Видео взято из открытых источников Rutube. Если вы правообладатель, обратитесь к первоисточнику.