RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
Видеотека
Архив
Популярное видео

Поиск
RSS
Новые поступления





Для просмотра файлов Вам могут потребоваться






Традиционная новогодняя сессия МИАН-ПОМИ, 2009 «Логика и теоретическая информатика»
17 декабря 2009 г. 10:30, г. Москва
 


Алгебры флагов

А. А. Разборов
Видеозаписи:
Real Video 184.3 Mb
Windows Media 172.1 Mb
Flash Video 207.5 Mb

Количество просмотров:
Эта страница:467
Видеофайлы:254

А. А. Разборов


Видео не загружается в Ваш браузер:
  1. Установите Adobe Flash Player    

  2. Проверьте с Вашим администратором, что из Вашей сети разрешены исходящие соединения на порт 8080
  3. Сообщите администратору портала о данной ошибке

Аннотация: Значительная часть экстремальной комбинаторики посвящена изучению вопроса о том, чему, при определённых предположениях, может быть равна плотность вхождений фиксированных комбинаторных объектов (таких, как графы, орграфы или гиперграфы) в большие неизвестные объекты того же типа. Используя сравнительно простые идеи и конструкции из логики, алгебры и теории меры, мы строим общую теорию, позволяющую рассматривать все такие задачи в рамках единого подхода, а также выделить несколько общематематических структур, неявно используемых в большинстве ранее известных аргументов. Ядром этой структуры служат специальные коммутативные алгебры, определяемые в терминах конечных моделей рассматриваемой теории первого порядка. В настоящем докладе я попытаюсь дать общее представление об этой теории, уделив при этом особое внимание полученным с её помощью конкретным результатам.

ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2017