РОССИЙСКИЙ ГОСУДАРСТВЕННЫЙ ГУМАНИТАРНЫЙ УНИВЕРСИТЕТ

Научно-педагогическая деятельность

Читает курсы лекции "Математическая лингвистика", "Понятийный аппарат математики", "Математическая логика" и др.

Сфера научных интересов

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

Публикации

• А. Е. Пентус, М. Р. Пентус, “Атомарная теория деления и пересечения двусторонних идеалов полуколец”, Фундамент. и прикл. матем., 21:1 (2016), 181–191.
• А. Е. Пентус, М. Р. Пентус, Конечные автоматы и регулярные выражения. Сборник задач. Издательство попечительского совета механико-математического факультета МГУ Москва, 2015, 72 с.
• А. Е. Пентус, М. Р. Пентус, “Атомарная теория левого деления двусторонних идеалов полуколец с единицей”, Фундамент. и прикл. матем., 17:5 (2012), 129–146.
• А. Е. Пентус, М. Р. Пентус, “Атомарная теория умножения и деления двусторонних идеалов полуколец”, Фундамент. и прикл. матем., 15:2 (2009), 169–189.
• А. Е. Пентус, М. Р. Пентус, “Атомарная теория деления двусторонних идеалов полуколец”, Фундамент. и прикл. матем., 12:2 (2006), 201–208.
• Pentus M. Lambek calculus is NP-complete // Theoretical Computer Science, издательство Elsevier BV (Netherlands), том 357, 2006, № 1-3, с. 186-201.
• Pentus M. Characterization of atomicity in lambek calculus and bilinear logic // Language & grammar. — Vol. 168 of CSLI Lecture Notes. — CSLI Publications Stanford, CA, 2005. — P. 55–76.
• А. Е. Пентус, М. Р. Пентус, “Объектно-ориентированное представление иерархических графов”, Фундамент. и прикл. матем., 10:4 (2004), 159–170.
• А. Е. Пентус, М. Р. Пентус, “Объектно-ориентированное представление иерархических сетей Петри”, Фундамент. и прикл. матем., 6:3 (2000), 831–840.
• М. Р. Пентус, “Атомарные теории семейств полугрупп с делением”, Фундамент. и прикл. матем., 6:2 (2000), 627–632.
• М. Р. Пентус, “Полнота синтаксического исчисления Ламбека”, Фундамент. и прикл. матем., 5:1 (1999), 193–219.
• Pentus M., Product-free Lambek calculus and context-free grammars // Journal of Symbolic Logic, издательство Association for Symbolic Logic (United States), том 62, 1997, № 2, с. 648-660.
• М. Р. Пентус, “Исчисление Ламбека и формальные грамматики”, Фундамент. и прикл. матем., 1:3 (1995), 729–751.
• Pentus M. Models for the Lambek calculus // Annals of Pure and Applied Logic, издательство Elsevier BV (Netherlands), том 75, 1995, № 1-2, с. 179-213.
• Pentus M. The conjoinability relation in lambek calculus and linear logic // Journal of Logic, Language and Information. — 1994. — Vol. 3, no. 2. — P. 121–140.
• Pentus M. Lambek grammars are context free // Proceedings of the 8th Annual Symposium on Logic in Computer Science (LICS'93), Montreal, Canada, June 19-23, 1993. — LICS. — IEEE Computer Society Press Los Alamitos, California, 1993. — P. 429–433.

Участие в научных советах, комиссиях, редколлегиях

Член редколлегии журнала "Фундаментальная и прикладная математика"