Математическая логика, Программирование и алгоритмы

Лямбда-исчисление, или вычислительная теория доказательств

Лямбда-исчисление, или вычислительная теория доказательств
Спецкурс МИАН, 2015 Лектор: Кузнецов Степан Львович
http://www.mathnet.ru/conf664
1. λ-термы. Бестиповое λ-исчисление. α-конверсия и β-редукция.


Читать далее Лямбда-исчисление, или вычислительная теория доказательств →

Алгебра

Теория представлений и физика

Теория представлений и физика
Игорь Борисович Френкель (Йельский университет, США). Теория представлений и физика
Лекция 1
Бесконечномерное представление группы монстра, вёртексные операторные алгебры, суммы Радемахера и трёхмерная квантовая гравитация


Читать далее Теория представлений и физика →

Дифференциальная геометрия, Теория поля

Общая теория относительности и геометрическая теория дефектов

Общая теория относительности и геометрическая теория дефектов

Катанаев М.О. Спецкурс «Общая теория относительности и геометрическая теория дефектов», 2015 (МИАН)

Лекция 1. Основные понятия дифференциальной геометрии: метрика, связность, ковариантная производная, кручение, неметричность и кривизна

Читать далее Общая теория относительности и геометрическая теория дефектов →

Физика, Физика атомного ядра

В.Ф. Дмитриев.
Физика атомного ядра

Физика атомного ядра

Семестровый курс НГУ (16 лекций)

Лекция 1

Читать далее В.Ф. Дмитриев. Физика атомного ядра →

Учебные материалы по физ-мат наукам и их приложениям