проф. Михалёв А.В.

Теория категорий в информатике и инженерии

Предлагается краткий (4 лекции) специальный курс по современным приложениям теории категорий. Курс подготовлен и читается совместно с Институтом проблем управления. лекции будут проходить в рамках спецсеминара "Теоретическая информатика". 

Год: 
Семестр: 
Тип спецкурса: 

Проблема Рисса-Радона-Фреше характеризации радоновских интегралов как линейных функционалов

-- Доказательство исходной теоремы Рисса характеризации интегралов Римана-Стилтьеса как линейных функционалов (доказательство Рисса 1911года).

-- Доказательство исходной теоремы Рисса характеризации интегралов Римана-Стилтьеса как линейных функционалов в изложении Банаха (книга 1932).

-- Доказательство исходной теоремы Рисса характеризации интегралов Римана-Стилтьеса как линейных функционалов в изложении Натансона (и Хелли).

Год: 
Семестр: