|
Семинар посвящён изучению теории категорий и обзору её применений в различных областях знания: информатике, математике, физике. Заседания проходят по субботам в 15:45, ауд. 318. >>> Блог семинара >>> Форум семинара >>> Файловый архив
|
|
Категория плетений. Введение (20.02.10) |
|
Определения плетения, диаграммы плетения, категории плетений.
Литература: К. Кассель, Квантовые группы.
Докладчик: Шамраев Н. Г. |
|
Теория категорий и теория вычислений, продолжение (16.01.10) |
|
Классификация систем типизированного лямбда-исчисления на базе «лямбда-куба»; типизированное лямбда-исчисление и декартово замкнутые категории; типизированное лямбда-исчисление и замкнутые моноидальные категории; типизированное линейное комбина́торное исчисление и замкнутые симметричные моноидальные категории.
Докладчик: Батальщиков А.А.
Время начала семинара: 16-30. |
|
Теория категорий и теория вычислений, продолжение (12.12.09) |
|
Комбинатор неподвижной точки. Связь типизированного лямбда-исчисления с декартово замкнутыми категориями.
Дополнительная литература: Awodey, Bauer «Categorical Logic». Докладчик: Батальщиков А.А. |
|
Теория узлов: полином Джонса (5.12.2009) |
|
Теория категорий и теория вычислений (28.11.2009) |
|
Первый доклад в минисерии посвящён комбинаторной логике. Литература: четвёртая часть знаменитой статьи Rosetta Stone; В. Э. Вольфенгаген «Комбинаторная логика в программировании». Докладчик: Батальщиков А. А. >>> Отчёт о докладе в блоге семинара |
|
<< Начало < Предыдущая 1 2 3 4 Следующая > Последняя >>
|
|
Страница 1 из 4 |