Пшеницын Тихон Григорьевич

Доклады и лекции в базе данных Math-Net.Ru

1. Лекция 14. Алгоритмические вопросы для формальных грамматик
   С. Л. Кузнецов, Т. Г. Пшеницын
   Курс С. Л. Кузнецова и Т. Г. Пшеницына "Алгоритмические вопросы для формальных грамматик"
   18 декабря 2025 г. 18:00   
2. Лекция 13. Алгоритмические вопросы для формальных грамматик
   С. Л. Кузнецов, Т. Г. Пшеницын
   Курс С. Л. Кузнецова и Т. Г. Пшеницына "Алгоритмические вопросы для формальных грамматик"
   11 декабря 2025 г. 18:00   
3. Лекция 12. Алгоритмические вопросы для формальных грамматик
   С. Л. Кузнецов, Т. Г. Пшеницын
   Курс С. Л. Кузнецова и Т. Г. Пшеницына "Алгоритмические вопросы для формальных грамматик"
   4 декабря 2025 г. 18:00   
4. Сложность релевантной логики и её разновидностей — 2
   Т. Г. Пшеницын
   Рабочий семинар по математической логике
   4 декабря 2025 г. 16:00
5. Лекция 11. Алгоритмические вопросы для формальных грамматик
   С. Л. Кузнецов, Т. Г. Пшеницын
   Курс С. Л. Кузнецова и Т. Г. Пшеницына "Алгоритмические вопросы для формальных грамматик"
   27 ноября 2025 г. 18:00   
6. Сложность релевантной логики и её разновидностей — 1
   Т. Г. Пшеницын
   Рабочий семинар по математической логике
   27 ноября 2025 г. 16:00
7. Лекция 10. Алгоритмические вопросы для формальных грамматик
   С. Л. Кузнецов, Т. Г. Пшеницын
   Курс С. Л. Кузнецова и Т. Г. Пшеницына "Алгоритмические вопросы для формальных грамматик"
   20 ноября 2025 г. 18:00   
8. Лекция 9. Алгоритмические вопросы для формальных грамматик
   С. Л. Кузнецов, Т. Г. Пшеницын
   Курс С. Л. Кузнецова и Т. Г. Пшеницына "Алгоритмические вопросы для формальных грамматик"
   13 ноября 2025 г. 18:00   
9. Лекция 8. Алгоритмические вопросы для формальных грамматик
   С. Л. Кузнецов, Т. Г. Пшеницын
   Курс С. Л. Кузнецова и Т. Г. Пшеницына "Алгоритмические вопросы для формальных грамматик"
   6 ноября 2025 г. 18:00   
10. Лекция 7. Алгоритмические вопросы для формальных грамматик
    С. Л. Кузнецов, Т. Г. Пшеницын
    Курс С. Л. Кузнецова и Т. Г. Пшеницына "Алгоритмические вопросы для формальных грамматик"
    30 октября 2025 г. 18:00   
11. Лекция 6. Алгоритмические вопросы для формальных грамматик
    С. Л. Кузнецов, Т. Г. Пшеницын
    Курс С. Л. Кузнецова и Т. Г. Пшеницына "Алгоритмические вопросы для формальных грамматик"
    23 октября 2025 г. 18:00   
12. Лекция 5. Алгоритмические вопросы для формальных грамматик
    С. Л. Кузнецов, Т. Г. Пшеницын
    Курс С. Л. Кузнецова и Т. Г. Пшеницына "Алгоритмические вопросы для формальных грамматик"
    16 октября 2025 г. 18:00   
13. Лекция 4. Алгоритмические вопросы для формальных грамматик
    С. Л. Кузнецов, Т. Г. Пшеницын
    Курс С. Л. Кузнецова и Т. Г. Пшеницына "Алгоритмические вопросы для формальных грамматик"
    9 октября 2025 г. 18:00   
14. Лекция 3. Алгоритмические вопросы для формальных грамматик
    С. Л. Кузнецов, Т. Г. Пшеницын
    Курс С. Л. Кузнецова и Т. Г. Пшеницына "Алгоритмические вопросы для формальных грамматик"
    2 октября 2025 г. 18:00   
15. Лекция 2. Алгоритмические вопросы для формальных грамматик
    С. Л. Кузнецов, Т. Г. Пшеницын
    Курс С. Л. Кузнецова и Т. Г. Пшеницына "Алгоритмические вопросы для формальных грамматик"
    25 сентября 2025 г. 18:00   
16. Лекция 1. Алгоритмические вопросы для формальных грамматик
    С. Л. Кузнецов, Т. Г. Пшеницын
    Курс С. Л. Кузнецова и Т. Г. Пшеницына "Алгоритмические вопросы для формальных грамматик"
    18 сентября 2025 г. 18:00   
17. Лекция 13. Субструктурные логики
    С. Л. Кузнецов, Т. Г. Пшеницын
    Курс С. Л. Кузнецова и Т. Г. Пшеницына "Субструктурные логики"
    22 мая 2025 г. 16:00   
18. Лекция 12. Субструктурные логики
    С. Л. Кузнецов, Т. Г. Пшеницын
    Курс С. Л. Кузнецова и Т. Г. Пшеницына "Субструктурные логики"
    15 мая 2025 г. 16:00   
19. Лекция 11. Субструктурные логики
    С. Л. Кузнецов, Т. Г. Пшеницын
    Курс С. Л. Кузнецова и Т. Г. Пшеницына "Субструктурные логики"
    24 апреля 2025 г. 16:00   
20. Лекция 10. Субструктурные логики
    С. Л. Кузнецов, Т. Г. Пшеницын
    Курс С. Л. Кузнецова и Т. Г. Пшеницына "Субструктурные логики"
    17 апреля 2025 г. 16:00   
21. Лекция 9. Неразрешимость линейной логики
    С. Л. Кузнецов, Т. Г. Пшеницын
    Курс С. Л. Кузнецова и Т. Г. Пшеницына "Субструктурные логики"
    10 апреля 2025 г. 16:00   
22. Лекция 8. Линейная логика
    С. Л. Кузнецов, Т. Г. Пшеницын
    Курс С. Л. Кузнецова и Т. Г. Пшеницына "Субструктурные логики"
    3 апреля 2025 г. 16:00   
23. Лекция 7. L-модели и R-модели для исчисления Ламбека
    С. Л. Кузнецов, Т. Г. Пшеницын
    Курс С. Л. Кузнецова и Т. Г. Пшеницына "Субструктурные логики"
    27 марта 2025 г. 16:00   
24. Лекция 6. Интерполяционная лемма Роорды. Теорема Пентуса
    С. Л. Кузнецов, Т. Г. Пшеницын
    Курс С. Л. Кузнецова и Т. Г. Пшеницына "Субструктурные логики"
    20 марта 2025 г. 16:00   
25. Лекция 5. Построение грамматики Ламбека по контекстно-свободной грамматике
    С. Л. Кузнецов, Т. Г. Пшеницын
    Курс С. Л. Кузнецова и Т. Г. Пшеницына "Субструктурные логики"
    13 марта 2025 г. 16:00   
26. Интуиционистская линейная логика первого порядка и гиперграфовые языки
    Т. Г. Пшеницын
    Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
    10 марта 2025 г. 16:00   
27. Лекция 4. Грамматики Ламбека и контекстно-свободные грамматики
    С. Л. Кузнецов, Т. Г. Пшеницын
    Курс С. Л. Кузнецова и Т. Г. Пшеницына "Субструктурные логики"
    6 марта 2025 г. 16:00   
28. Лекция 3. PSPACE-трудность логик между FL и Int. Теорема об устранении сечения
    С. Л. Кузнецов, Т. Г. Пшеницын
    Курс С. Л. Кузнецова и Т. Г. Пшеницына "Субструктурные логики"
    27 февраля 2025 г. 16:00   
29. Исчисление Ламбека с операцией круллева пересечения — 3
    С. Л. Кузнецов, Т. Г. Пшеницын
    Рабочий семинар по математической логике
    25 февраля 2025 г. 16:00   
30. Лекция 2. Класс сложности PSPACE: теорема Сэвича и PSPACE-полнота задачи TQBF
    С. Л. Кузнецов, Т. Г. Пшеницын
    Курс С. Л. Кузнецова и Т. Г. Пшеницына "Субструктурные логики"
    20 февраля 2025 г. 16:00   
31. Исчисление Ламбека с операцией круллева пересечения — 2
    С. Л. Кузнецов, Т. Г. Пшеницын
    Рабочий семинар по математической логике
    18 февраля 2025 г. 16:00   
32. Лекция 1. Решётки с делениями и субструктурные исчисления
    С. Л. Кузнецов, Т. Г. Пшеницын
    Курс С. Л. Кузнецова и Т. Г. Пшеницына "Субструктурные логики"
    13 февраля 2025 г. 16:00   
33. Исчисление Ламбека с операцией круллева пересечения — 1
    С. Л. Кузнецов, Т. Г. Пшеницын
    Рабочий семинар по математической логике
    11 февраля 2025 г. 16:00   
34. Сложность фрагмента инфинитарной логики действий с экспоненциальной модальностью
    Т. Г. Пшеницын
    Семинар С. Л. Кузнецова и С. О. Сперанского "Вероятностные и субструктурные логические системы"
    20 марта 2024 г. 18:15
35. Инфинитарная логика действий с экспоненциальной модальностью: замыкающие ординалы и сложность
    Т. Г. Пшеницын
    Семинар С. Л. Кузнецова и С. О. Сперанского "Вероятностные и субструктурные логические системы"
    13 марта 2024 г. 18:15
36. Графовые грамматики
    Т. Г. Пшеницын
    Однодневный семинар по математической логике
    29 июня 2023 г. 17:00   
37. Algebraic semantics for hypergraph Lambek calculus
    Tikhon Pshenitsyn
    Workshop "Semantical and Computational Aspects of Non-Classical Logics" (SCAN 2023)
    15 июня 2023 г. 15:30   
38. Семинар 9. Алгебраический взгляд на неклассические логики
    Т. Г. Пшеницын
    Семинар С. Л. Кузнецова и С. О. Сперанского "Неклассические логики"
    16 ноября 2022 г. 18:00   
39. Commutative Lambek grammars are not context-free
    Т. Г. Пшеницын
    Вторая конференция Математических центров России. Секция «Математическая логика и теоретическая информатика»
    9 ноября 2022 г. 16:30