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

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

01:02:26
22

Математический аппарат концептуального анализа и проектирования. Язык родов структур

00:59:34
148
00:41:07
45

Введение в конструкты и концептуальные схемы

01:06:14
54

Введение и основные понятия. Аксиома экстенсиональности. Парадокс Рассела.

01:03:22
67

Введение. Схема конструкции ступени. Ступень, М-граф. Канонические распространения функций по схеме конструкции ступени. Теорема об основных свойствах канонических распространений. Перенос.

01:08:49
9

Неизоморфность упорядоченных множеств Z×N, N×Z и Z×Z. Упорядоченность и фундированность произвольного множества ординалов. Несуществование множества всех ординалов. Парадокс Бурали-Форти и ещё раз о парадоксах Кантора и Рассела. Трансфинитная индукция. Доказательство сравнимости любых двух ординалов с помощью трансфинитной индукции. Предельные и последующие ординалы. Критерий предельности ординала. Представимость любого ординала в виде суммы предельного и натурального числа.

00:54:33
8

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

01:07:59
16

Арифметика кардиналов. Теорема о квадрате. Мощность суммы и декартова произведения множеств. Конфинальность. Теорема Кёнига. Возведение в степень для кардиналов в системе с обобщённой континуум-гипотезой.

Категории

Лекторы

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