Пентус Мати Рейнович

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

1. Лекция 12. Контекстно-свободные языки. Теорема Парика
   М. Р. Пентус
   Курс М. Р. Пентуса "Контекстно-свободные языки"
   21 мая 2024 г. 18:00   
2. Лекция 11. Контекстно-свободные языки. Разрешимость проблемы пустоты языка, проблемы бесконечности языка и проблемы выводимости слова. Автоматность контекстно-свободного языка над однобуквенным алфавитом
   М. Р. Пентус
   Курс М. Р. Пентуса "Контекстно-свободные языки"
   23 апреля 2024 г. 18:00   
3. Лекция 10. Контекстно-свободные языки. Неразрешимость проблемы эквивалентности грамматик и проблемы автоматности
   М. Р. Пентус
   Курс М. Р. Пентуса "Контекстно-свободные языки"
   16 апреля 2024 г. 18:00   
4. Лекция 9. Контекстно-свободные языки. Проблема соответствий Поста
   М. Р. Пентус
   Курс М. Р. Пентуса "Контекстно-свободные языки"
   9 апреля 2024 г. 18:00   
5. Лекция 8. Контекстно-свободные языки. Дополнение детерминированного контекстно-свободного языка
   М. Р. Пентус
   Курс М. Р. Пентуса "Контекстно-свободные языки"
   2 апреля 2024 г. 18:00   
6. Лекция 7. Контекстно-свободные языки. Детерминированные автоматы с магазинной памятью
   М. Р. Пентус
   Курс М. Р. Пентуса "Контекстно-свободные языки"
   26 марта 2024 г. 18:00   
7. Лекция 6. Контекстно-свободные языки. Теорема Хомского-Шютценберже
   М. Р. Пентус
   Курс М. Р. Пентуса "Контекстно-свободные языки"
   19 марта 2024 г. 18:00   
8. Лекция 5. Контекстно-свободные языки. Пересечение контекстно-свободного языка с автоматным языком
   М. Р. Пентус
   Курс М. Р. Пентуса "Контекстно-свободные языки"
   12 марта 2024 г. 18:00   
9. Лекция 4. Контекстно-свободные языки. Автоматы с магазинной памятью
   М. Р. Пентус
   Курс М. Р. Пентуса "Контекстно-свободные языки"
   5 марта 2024 г. 18:00   
10. Лекция 3. Контекстно-свободные языки. Лемма о разрастании
    М. Р. Пентус
    Курс М. Р. Пентуса "Контекстно-свободные языки"
    27 февраля 2024 г. 18:00   
11. Лекция 2. Контекстно-свободные языки. Нормальные формы Хомского и Грейбах
    М. Р. Пентус
    Курс М. Р. Пентуса "Контекстно-свободные языки"
    20 февраля 2024 г. 18:00   
12. Лекция 1. Контекстно-свободные языки. Языки Дика и Лукасевича
    М. Р. Пентус
    Курс М. Р. Пентуса "Контекстно-свободные языки"
    13 февраля 2024 г. 18:00   
13. Синтаксическое исчисление Ламбека
    М. Р. Пентус
    Семинар С. Л. Кузнецова и С. О. Сперанского "Логические и алгебраические методы в языкознании"
    15 февраля 2023 г. 18:00   
14. Лекция 10. Критерий выводимости для $L^*(\backslash,/,\cdot)$
    М. Р. Пентус
    Спецкурс «Сложность исчисления Ламбека»
    7 декабря 2018 г. 16:45   
15. Лекция 9. Завершение доказательства критерия выводимости для $L^*(\backslash,/)$
    М. Р. Пентус
    Спецкурс «Сложность исчисления Ламбека»
    23 ноября 2018 г. 16:45   
16. Лекция 8. Начало доказательства критерия выводимости для $L^*(\backslash,/)$
    М. Р. Пентус
    Спецкурс «Сложность исчисления Ламбека»
    16 ноября 2018 г. 16:45   
17. Лекция 7. Формулировка критерия выводимости для $L^*(\backslash,/)$
    М. Р. Пентус
    Спецкурс «Сложность исчисления Ламбека»
    9 ноября 2018 г. 16:45   
18. Лекция 6. Быстрый алгоритм поиска сети доказательства для $L(\backslash)$
    М. Р. Пентус
    Спецкурс «Сложность исчисления Ламбека»
    2 ноября 2018 г. 16:45   
19. Лекция 5. Последняя часть доказательства критерия выводимости для $L(\backslash)$ (полнота $S$ относительно сетей доказательства)
    М. Р. Пентус
    Спецкурс «Сложность исчисления Ламбека»
    26 октября 2018 г. 16:45   
20. Лекция 4. Вторая часть доказательства критерия выводимости для $L(\backslash)$ (корректность $S$ относительно $L(\backslash)$)
    М. Р. Пентус
    Спецкурс «Сложность исчисления Ламбека»
    19 октября 2018 г. 16:45   
21. Лекция 3. Первая часть доказательства критерия выводимости для $L(\backslash)$ (полнота $S$ относительно $L(\backslash)$)
    М. Р. Пентус
    Спецкурс «Сложность исчисления Ламбека»
    12 октября 2018 г. 16:45   
22. Лекция 2. Критерий выводимости для $L(\backslash)$
    М. Р. Пентус
    Спецкурс «Сложность исчисления Ламбека»
    5 октября 2018 г. 16:45   
23. Лекция 1. Исчисление Ламбека
    М. Р. Пентус
    Спецкурс «Сложность исчисления Ламбека»
    21 сентября 2018 г. 16:45
24. Межфакультетский курс «Категориальные грамматики». Лекция 11
    М. Р. Пентус
    Межфакультетский курс «Категориальные грамматики»
    27 апреля 2016 г. 17:00   
25. Межфакультетский курс «Категориальные грамматики». Лекция 8
    М. Р. Пентус, С. Л. Кузнецов
    Межфакультетский курс «Категориальные грамматики»
    6 апреля 2016 г. 17:00   
26. Межфакультетский курс «Категориальные грамматики». Лекция 7
    М. Р. Пентус
    Межфакультетский курс «Категориальные грамматики»
    30 марта 2016 г. 17:00   
27. Межфакультетский курс «Категориальные грамматики». Лекция 6
    С. Л. Кузнецов, М. Р. Пентус
    Межфакультетский курс «Категориальные грамматики»
    23 марта 2016 г. 17:00   
28. Complexity of the Lambek calculus and its fragments
    Mati Pentus
    Восьмая Международная конференция серии «Advances in Modal Logic» (AiML 2010)
    27 августа 2010 г. 10:45