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

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

01:07:50
1024

Теорема Гёделя о неполноте. Теорема Тарского. Вторая теорема Гёделя. Доказуемо различные программы. Теорема Лёба.

01:02:24
2294
Теорема Гёделя о полноте исчисления предикатов. Теорема о следствии совместности теории из ее непротиворечивости, доказательство этой теоремы.
01:17:52
9894
Теорема Кёнига. Центр инерции. Приведенная масса. Абсолютно упругий удар. Неупругий удар. Пороговая энергия. Специальная теория относительности (начало). Основы специальной теории относительности. Событие. Интервал. Инвариантность интервала
01:09:05
1023
00:57:47
3267
Формулировка и доказательство теоремы Нётер. Применение теоремы Нётер для поиска интегралов системы. Примеры использования теоремы Нётер
01:07:53
985
Понятия простого и максимального идеалов (повторение). Теорема о гомеоморфизме колец. Поле частных. Доказательство корректности определения поля частных.
01:13:04
1218

Доказательство теоремы о двух вполне упорядоченных множествах. Теорема Цернело, аксиома выбора.

01:07:22
1842
Окончание доказательства теоремы Гёделя о полноте. Теорема о компактности. Аксиомы равенства, нормальная модель, теорема Гёделя о полноте для нормальных моделей

Категории

Лекторы

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