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

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






Однодневный семинар по математической логике
24 июня 2024 г. 14:00–14:30, г. Москва, Покровский бульвар 11, аудитория R205
 


Кодирование проблем укладки домино логическими средствами

Д. А. Серова
Видеозаписи:
MP4 193.1 Mb
MP4 323.8 Mb
Дополнительные материалы:
Adobe PDF 1.3 Mb

Количество просмотров:
Эта страница:67
Видеофайлы:13
Материалы:8



Аннотация: Будет рассказано о том, как с помощью укладки домино можно кодировать вычисления на машинах Тьюринга. Затем будет показано, как с помощью логических средств можно описывать проблемы укладки домино и получать нижние оценки алгоритмической сложности задач, возникающих в логике.

Дополнительные материалы: Серова.pdf (1.3 Mb)
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024