Видеотека: Архив докладов 2025

RUS ENG

Полная версия

ВИДЕОТЕКА

Архив докладов

Курс С. Л. Кузнецова и Т. Г. Пшеницына "Субструктурные логики", г. Москва, 13 февраля–22 мая 2025 г.

Лекция 1. Решётки с делениями и субструктурные исчисления С. Л. Кузнецов, Т. Г. Пшеницын 13 февраля 2025 г. 16:00 г. Москва
Лекция 2. Класс сложности PSPACE: теорема Сэвича и PSPACE-полнота задачи TQBF С. Л. Кузнецов, Т. Г. Пшеницын 20 февраля 2025 г. 16:00 г. Москва
Лекция 3. PSPACE-трудность логик между FL и Int. Теорема об устранении сечения С. Л. Кузнецов, Т. Г. Пшеницын 27 февраля 2025 г. 16:00 г. Москва
Лекция 4. Грамматики Ламбека и контекстно-свободные грамматики С. Л. Кузнецов, Т. Г. Пшеницын 6 марта 2025 г. 16:00 г. Москва
Лекция 5. Построение грамматики Ламбека по контекстно-свободной грамматике С. Л. Кузнецов, Т. Г. Пшеницын 13 марта 2025 г. 16:00 г. Москва
Лекция 6. Интерполяционная лемма Роорды. Теорема Пентуса С. Л. Кузнецов, Т. Г. Пшеницын 20 марта 2025 г. 16:00 г. Москва
Лекция 7. L-модели и R-модели для исчисления Ламбека С. Л. Кузнецов, Т. Г. Пшеницын 27 марта 2025 г. 16:00 г. Москва
Лекция 8. Линейная логика С. Л. Кузнецов, Т. Г. Пшеницын 3 апреля 2025 г. 16:00 г. Москва
Лекция 9. Неразрешимость линейной логики С. Л. Кузнецов, Т. Г. Пшеницын 10 апреля 2025 г. 16:00 г. Москва
Лекция 10. Субструктурные логики С. Л. Кузнецов, Т. Г. Пшеницын 17 апреля 2025 г. 16:00 г. Москва
Лекция 11. Субструктурные логики С. Л. Кузнецов, Т. Г. Пшеницын 24 апреля 2025 г. 16:00 г. Москва
Лекция 12. Субструктурные логики С. Л. Кузнецов, Т. Г. Пшеницын 15 мая 2025 г. 16:00 г. Москва
Лекция 13. Субструктурные логики С. Л. Кузнецов, Т. Г. Пшеницын 22 мая 2025 г. 16:00 г. Москва