Архив рубрики: Математика

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

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

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


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

Алгебра

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

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


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

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

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

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

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

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

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

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

Иванов М.Г. Геометрические методы в классической теории поля

Геометрические методы в классической теории поля
Иванов М.Г. Геометрические методы в классической теории поля. Лекции МФТИ
Рекомендуемая литература
Лекция 1: Вводная

Читать далее Иванов М.Г. Геометрические методы в классической теории поля →

Случайные процессы

Ю.А.Давыдов. Точечные процессы и устойчивые законы

Ю.А.Давыдов. Точечные процессы и устойчивые законы

Ю.А.Давыдов. Циклы лекций на тему:
Точечные процессы и устойчивые законы

Осень 2011, лекции 1-6

Содержание лекции 1

Читать далее Ю.А.Давыдов. Точечные процессы и устойчивые законы →