Навигация по сайту

Мати Рейнович

Пентус

Образование

Докторантура: МГУ, 2000, специальность 01.01.06 - Математическая логика, алгебра и теория чисел
МГУ им. М.В. Ломоносова, 1992, механико-математический факультет

Тема кандидатской диссертации

"Исчисление Ламбека и формальные грамматики", 1996

Тема докторской диссертации

"Полнота исчисления Ламбека", 2000

Курсы текущего учебного года

Направление: Введение в математику
Уровень: магистратура
Институт: "Высшая школа образования"
Направление: 45.04.02 - Лингвистика
Курс: 1

Наименование: Математическая теория грамматик
Уровень: магистратура
Институт: "Высшая школа образования"
Направление: 45.04.02 - Лингвистика
Курс: 1

Направление: Основы математики для лингвистов
Уровень: магистратура
Институт: "Высшая школа образования"
Направление: 45.04.02 - Лингвистика
Курс: 2

Публикации

Монографии:

  1. Пентус А.Е., Пентус М.Р. Контекстно-свободные языки. Сборник задач. РГГУ Москва, 2016. ISBN 978-5-7281-2012-4, 75 с.
  2. Пентус А.Е., Пентус М.Р. Конечные автоматы и регулярные выражения. Сборник задач. Издательство попечительского совета механико-математического факультета МГУ Москва, 2015, 72 с.

Основные статьи:

  1. Пентус А.Е., Пентус М.Р. Атомарная теория деления и пересечения двусторонних идеалов полуколец // Фундаментальная и прикладная математика, издательство Интуит (М.), том 21, 2016, № 1, с. 179-188.
    Pentus A.E., Pentus M.R. The atomic theory of left division of two-sided ideals of semirings with unit // Journal of Mathematical Sciences, Plenum Publishers, том 193, 2013, № 4, с. 566-579 DOI
  2. Пентус А., Пентус М. Атомарная теория левого деления двусторонних идеалов полуколец с единицей // Фундаментальная и прикладная математика, издательство Интуит (М.), том 17, 2012, № 5, с. 129-146.
    Pentus M. A polynomial-time algorithm for Lambek grammars of bounded order // Linguistic Analysis, том 36, 2012, № 1-4, с. 441-471.
  3. Pentus A., Pentus M. The atomic theory of multiplication and division of semiring ideals // Journal of Mathematical Sciences, издательство Plenum Publishers (United States), том 167, 2010, № 6, с. 841-856 DOI
  4. Пентус А.Е., Пентус М.Р. Атомарная теория умножения и деления двусторонних идеалов полуколец // Фундаментальная и прикладная математика, издательство Интуит (М.), том 15, 2009, № 2, с. 169-189
    Pentus A., Pentus M. The atomic theory of division of semiring ideals // Journal of Mathematical Sciences, издательство Plenum Publishers (United States), том 149, 2008, № 2, с. 1176-1181 DOI
  5. Pentus A., Pentus M. Object-oriented representation of hierarchical graphs // Journal of Mathematical Sciences, издательство Plenum Publishers (United States), том 140, 2007, № 2, с. 286-294 DOI
  6. Pentus Mati Lambek calculus is NP-complete // Theoretical Computer Science, издательство Elsevier BV (Netherlands), том 357, 2006, № 1-3, с. 186-201 DOI
  7. Пентус А.Е., Пентус М.Р. Атомарная теория деления двусторонних идеалов полуколец // Фундаментальная и прикладная математика, издательство Интуит (М.), том 12, 2006, № 2, с. 201-208.
  8. Pentus Mati Product-free Lambek calculus and context-free grammars // Journal of Symbolic Logic, издательство Association for Symbolic Logic (United States), том 62, 1997, № 2, с. 648-660 DOI
  9. Pentus Mati Models for the Lambek calculus // Annals of Pure and Applied Logic, издательство Elsevier BV (Netherlands), том 75, 1995, № 1-2, с. 179-213 DOI

Повышение квалификации

Интенсивный курс обучения иностранному языку в профессиональной деятельности (модуль "Французский язык"), 2016

Профессиональная деятельность

2003 г. – по н/в Профессор кафедры математической логики и теории алгоритмов механико-математического факультета МГУ
2013 г. – по н/в Профессор кафедры математики, логики и интеллектуальных систем РГГУ (2013–н.вр.).

Участие в конференциях

  1. Конференция в честь 60-летия В. Б. Шехтмана, Москва, Россия, 2013.
  2. “Ломоносовские чтения – 2004”. Секция математики, МГУ им. М.В. Ломоносова, механико-математический факультет, Россия, 19-26 апреля 2004.

Профессор

Доцент

Доктор физико-математических наук


Профессиональные интересы

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


Контактная информация