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

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

01:06:23
263

Натуральные числа. Счетная индукция и рекурсия. Арифметика. Целые, рациональные, действительные числа

01:08:40
335

Условия биективной переносимости термов и соотношений.

Определение рода структуры. Сигма-объект. Класс сигма-объектов. Изоморфизм сигма-объектов. Теоремы родов структур. Непротиворечивость родов структур.

00:59:19
297
01:00:46
287

Концепты "регион" и "развитие" и их синтез с концептом "управления"

00:41:12
261
00:38:56
303

Бинарные отношения. Функции (инъекции, сюръекции, биекции). Образы и прообразы множеств. Основные свойства образов множеств относительно операций над множествами.

01:07:50
295

Выводимость и эквивалентность родов структур. Примеры. Эквивалентная представимость рода структуры с помощью заданной типовой характеристи.

Категории

Лекторы

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