Все публикации

1:36:11

Лекция 1. Р.В. Шамин. Машинное обучение в теории игр

1:30:03

Лекция 1. Н.А. Тюрин. Введение в лагранжеву геометрию симплектических многообразий

1:26:08

Лекция 1. С.О. Сперанский. Нестандартные модели арифметики и анализа

1:30:21

Лекция 1. Т.В. Сальникова. Устойчивость и хаос системы гравитирующих тел

1:49:59

Лекция 1. И.Г. Лысёнок. Эквивалентность различных условий гиперболичности метрического пространства

1:32:57

Лекция 1. М.Р. Пентус. Синтаксическое исчисление Ламбека

1:59:40

Лекция 1. А.В. Комлов, С.П. Суетин. Основы теории аппроксимаций Паде и их обобщений

1:25:51

Лекция 1. И.В. Ермаков. Неравновесная динамика квантовых и классических многочастичных систем

1:46:49

Лекция 1. А.В. Дымов, С.Б. Куксин. Случайные динамические системы

2:03:05

Лекция 1. А.А. Гайфуллин. Триангулированные многообразия

1:40:42

Лекция 1. Г.Г. Амосов, В.И. Яшин. Модели вычислений на квантовых схемах

1:16:10

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

1:34:36

Е.Д. Косов. О задаче дискретизации интегральных норм по значениям в точках

1:11:02

М.В. Житлухин. Эволюционно оптимальные стратегии в динамических случайных играх

0:54:19

В.И. Афанасьев. Условные предельные теоремы для случайных блужданий и их локальных времен

1:26:01

С.Ю. Оревков. О расположении овалов плоских вещественных алгебраических кривых

1:03:44

А.А. Разборов. Об одном фазовом переходе в теории Рамсея

0:21:15

Н.А. Славнов. Алгебраический анзац Бете и корреляционные функции

0:18:32

А.С. Трушечкин. Новые кинетические уравнения для открытых квантовых систем

0:21:06

Д.В. Трещев. μ -норма и квантовая энтропия

0:01:44

Открытие сессии

0:55:24

J.A. Makowsky. Model theory in computer science: My own recurrent themes

1:54:57

Yu.Gurevich. Logic and foundations: A personal perspective

1:56:35

B.H. Partee. Language and logic: Ideas and controversies in the history of formal semantics