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

В базах данных Math-Net.Ru
Публикаций: 14
Научных статей: 11
Лекций и докладов: 28

Статистика просмотров:
Эта страница:4277
Страницы публикаций:10724
Полные тексты:3344
Списки литературы:480
профессор
доктор физико-математических наук (2000)
Сайт: https://fervo.ru/mr/

Основные темы научной работы

компьютерная логика, неклассическая логика, теория доказательств, математическая лингвистика.


https://www.mathnet.ru/rus/person20343
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
https://mathscinet.ams.org/mathscinet/MRAuthorID/341304
https://elibrary.ru/author_items.asp?authorid=195
ИСТИНА https://istina.msu.ru/workers/1545603
https://orcid.org/0000-0002-9483-7594
https://www.webofscience.com/wos/author/record/K-2779-2018
https://www.scopus.com/authid/detail.url?authorId=16414824700

Публикации в базе данных Math-Net.Ru Цитирования
2021
1. А. Е. Пентус, М. Р. Пентус, “Сложность исчисления Ламбека с одним делением и модальностью для ослабления, используемой только при отрицательной полярности”, Фундамент. и прикл. матем., 23:4 (2021),  143–162  mathnet; A. E. Pentus, M. R. Pentus, “Complexity of the Lambek calculus with one division and a negative-polarity modality for weakening”, J. Math. Sci., 269:4 (2023), 544–557
2020
2. А. Е. Пентус, М. Р. Пентус, “Сети доказательства для исчисления Ламбека с одним делением и модальностью для ослабления, используемой только при отрицательной полярности”, Фундамент. и прикл. матем., 23:2 (2020),  247–257  mathnet; A. E. Pentus, M. R. Pentus, “Proof nets for the Lambek calculus with one division and a negative-polarity modality for weakening”, J. Math. Sci., 262:5 (2022), 759–766 1
2016
3. А. Е. Пентус, М. Р. Пентус, “Атомарная теория деления и пересечения двусторонних идеалов полуколец”, Фундамент. и прикл. матем., 21:1 (2016),  181–191  mathnet  mathscinet; A. E. Pentus, M. R. Pentus, “The atomic theory of division and intersection of semiring ideals”, J. Math. Sci., 233:5 (2018), 724–731  scopus
2012
4. А. Е. Пентус, М. Р. Пентус, “Атомарная теория левого деления двусторонних идеалов полуколец с единицей”, Фундамент. и прикл. матем., 17:5 (2012),  129–146  mathnet; A. E. Pentus, M. R. Pentus, “The atomic theory of left division of two-sided ideals of semirings with unit”, J. Math. Sci., 193:4 (2013), 566–579  scopus 3
2009
5. А. Е. Пентус, М. Р. Пентус, “Атомарная теория умножения и деления двусторонних идеалов полуколец”, Фундамент. и прикл. матем., 15:2 (2009),  169–189  mathnet  mathscinet; A. E. Pentus, M. R. Pentus, “The atomic theory of multiplication and division of semiring ideals”, J. Math. Sci., 167:6 (2010), 841–856  scopus
2006
6. А. Е. Пентус, М. Р. Пентус, “Атомарная теория деления двусторонних идеалов полуколец”, Фундамент. и прикл. матем., 12:2 (2006),  201–208  mathnet  mathscinet  zmath; A. E. Pentus, M. R. Pentus, “The atomic theory of division of semiring ideals”, J. Math. Sci., 149:2 (2008), 1176–1181  scopus 3
2004
7. А. Е. Пентус, М. Р. Пентус, “Объектно-ориентированное представление иерархических графов”, Фундамент. и прикл. матем., 10:4 (2004),  159–170  mathnet  mathscinet  zmath; A. E. Pentus, M. R. Pentus, “Object-oriented representation of hierarchical graphs”, J. Math. Sci., 140:2 (2007), 286–294  scopus
2000
8. А. Е. Пентус, М. Р. Пентус, “Объектно-ориентированное представление иерархических сетей Петри”, Фундамент. и прикл. матем., 6:3 (2000),  831–840  mathnet  mathscinet  zmath 1
9. М. Р. Пентус, “Атомарные теории семейств полугрупп с делением”, Фундамент. и прикл. матем., 6:2 (2000),  627–632  mathnet  mathscinet  zmath
1999
10. М. Р. Пентус, “Полнота синтаксического исчисления Ламбека”, Фундамент. и прикл. матем., 5:1 (1999),  193–219  mathnet  mathscinet  zmath 2
1995
11. М. Р. Пентус, “Исчисление Ламбека и формальные грамматики”, Фундамент. и прикл. матем., 1:3 (1995),  729–751  mathnet  mathscinet  zmath 4

2021
12. В. С. Атабекян, Л. Д. Беклемишев, В. М. Бухштабер, С. С. Гончаров, В. С. Губа, Ю. Л. Ершов, В. В. Козлов, И. Г. Лысёнок, С. П. Новиков, Ю. С. Осипов, М. Р. Пентус, В. В. Подольский, А. А. Разборов, В. А. Садовничий, А. Л. Семенов, А. Л. Таламбуца, Д. В. Трещев, Л. Н. Шеврин, “Сергей Иванович Адян (некролог)”, УМН, 76:1(457) (2021),  191–194  mathnet  mathscinet  zmath; V. S. Atabekyan, L. D. Beklemishev, V. M. Buchstaber, S. S. Goncharov, V. S. Guba, Yu. L. Ershov, V. V. Kozlov, I. G. Lysenok, S. P. Novikov, Yu. S. Osipov, M. R. Pentus, V. V. Podolskii, A. A. Razborov, V. A. Sadovnichii, A. L. Semenov, A. L. Talambutsa, D. V. Treschev, L. N. Shevrin, “Sergei Ivanovich Adian (obituary)”, Russian Math. Surveys, 76:1 (2021), 177–181  isi
2019
13. С. И. Адян, Н. Н. Андреев, Л. Д. Беклемишев, С. С. Гончаров, Ю. Л. Ершов, Ю. В. Матиясевич, Ю. С. Осипов, М. Р. Пентус, В. А. Плунгян, Е. В. Рахилина, В. А. Садовничий, А. Л. Семёнов, С. Г. Татевосов, В. М. Тихомиров, А. Х. Шень, “Владимир Андреевич Успенский (27.11.1930–27.06.2018)”, УМН, 74:4(448) (2019),  165–180  mathnet  mathscinet  zmath  elib; S. I. Adian, N. N. Andreev, L. D. Beklemishev, S. S. Goncharov, Yu. L. Ershov, Yu. V. Matiyasevich, Yu. S. Osipov, M. R. Pentus, V. A. Plungyan, E. V. Rakhilina, V. A. Sadovnichii, A. L. Semenov, S. G. Tatevosov, V. M. Tikhomirov, A. Kh. Shen, “Vladimir Andreevich Uspensky (27/11/1930–27/6/2018)”, Russian Math. Surveys, 74:4 (2019), 735–753  isi 1
2006
14. Л. Д. Беклемишев, И. Г. Лысёнок, А. А. Мальцев, С. П. Новиков, М. Р. Пентус, А. А. Разборов, А. Л. Семёнов, В. А. Успенский, “Сергей Иванович Адян (к 75-летию со дня рождения)”, УМН, 61:3(369) (2006),  179–191  mathnet  mathscinet  zmath  elib; L. D. Beklemishev, I. G. Lysenok, A. A. Mal'tsev, S. P. Novikov, M. R. Pentus, A. A. Razborov, A. L. Semenov, V. A. Uspenskii, “Sergei Ivanovich Adian (on his 75th birthday)”, Russian Math. Surveys, 61:3 (2006), 575–588  isi 1

Доклады и лекции в базе данных 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   

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