• Видеоуроки по математике для студентов
• МЦМУ МИАН
• Л.Д. Беклемишев. Алгебры рефлексии для предикативных расширений арифметики Пеано

Л.Д. Беклемишев. Алгебры рефлексии для предикативных расширений арифметики Пеано

Канал видеоролика: МЦМУ МИАН

Обложка видеоролика:

Смотреть видео:

С этим видео смотрят следующие ролики:

Л.Д. Беклемишев, Ф.Н. Пахомов. Алгебры рефлексии для предикативных расширений арифметики Пеано

МЦМУ МИАН

Представимые цилиндрические алгебры, ver.1. Даниил Рогозин (18.03.2021)

Математическая логика и теория алгоритмов

Представимые цилиндрические алгебры, ver.2. Даниил Рогозин (08.04.2021)

Математическая логика и теория алгоритмов

Предикаты доказуемости и связанные с ними алгебры. Евгений Колмаков

Математическая логика и теория алгоритмов

Группы и алгебры Ли, Лекция 6, В.С.Жгун.

Лекции Московского Университета

Группы и алгебры Ли, Лекция 7, В.С.Жгун.

Лекции Московского Университета

И.А. Яковлев. Доказательство Гаусса основной теоремы алгебры. Семинар 1

МЦМУ МИАН

 

Облегчи жизнь другим ученикам - поделись! (плюс тебе в карму):

22.02.2023 00:59