«И» «ИЛИ»  
© Публичная Библиотека
 -  - 
Универсальная библиотека, портал создателей электронных книг. Только для некоммерческого использования!
Пентус Мати Рейнович

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

(M. Pentus)

(16.07.1967)

  ◄  СМЕНИТЬ  ►  |▼ О СТРАНИЦЕ ▼
▼ ОЦИФРОВЩИКИ ▼|  ◄  СМЕНИТЬ  ►  
Википедия: Мати Рейнович Пентус (род. 1967) - российский математик, специалист в области математической логики и исчисления Ламбека. Биография: Мати Рейнович Пентус родился в 1967 году в Таллине. Окончил механико-математический факультет МГУ в 1992 году, защитив дипломную работу «Эквивалентные типы в исчислении Ламбека и линейной логике». В 1993 году доказал так называемую гипотезу Хомского, заключающуюся в том, что категориальные грамматики Ламбека задают в точности контекстно-свободные языки без пустого слова (на тот момент это был один из основных открытых вопросов в области исчисления Ламбека). В 1996 году защитил кандидатскую диссертацию на тему «Исчисление Ламбека и формальные грамматики». В 2001 году получил ученую степень доктора физико-математических наук, защитив докторскую диссертацию на тему «Полнота исчисления Ламбека». В этой работе Мати Рейновича Пентуса представлено доказательство полноты исчисления Ламбека относительно языковых моделей и относительно реляционных моделей. В 2003 году доказал NP-полноту проверки выводимости секвенций в исчислении Ламбека. С 2004 года является профессором кафедры математической логики и теории алгоритмов механико-математического факультета МГУ. Свою преподавательскую деятельность в настоящее время Мати Рейнович Пентус ведет на механико-математическом факультете МГУ, на отделении теоретической и прикладной лингвистики МГУ, в РГГУ. Он является автором курсов по математической логике, исчислению Ламбека, теории формальных грамматик, а также по эстонскому языку и эсперанто. Является одним из руководителей факультатива «Некоторые применения математических методов в языкознании», проходящего на отделении теоретической и прикладной лингвистики МГУ. Под руководством Мати Рейновича Пентуса были защищены 3 кандидатские диссертации.
:
...




  • Пентус А.Е., Пентус М.Р. Задачи по комбинаторике для лингвистов. [Djv-Fax- 396k] Учебное пособие. Издание 2-е, дополненное. Учебное издание для вузов. Авторы: Анна Евгеньевна Пентус, Мати Рейнович Пентус.
    (Москва: Издательство Московского центра непрерывного математического образования (МЦНМО), 2022)
    Скан, OCR, обработка, формат Djv-Fax: sad369, 2022
    • ОГЛАВЛЕНИЕ:
      Предисловие (3).
      1. Законы сложения и умножения (4).
      2. Перестановки и размещения (12).
      3. Сочетания (15).
      4. Сочетания с повторениями (24).
      5. Рекуррентные соотношения (27).
      6. Формула включений и исключений (32).
      7. Разбиения на классы (34).
      Ответы (37).
      Литература (39).
ИЗ ИЗДАНИЯ: Учебное пособие содержит более 300 математических задач, знакомящих студентов с простейшими методами комбинаторики. Приведены только задачи и ответы, теоретический материал можно найти в учебниках, перечисленных в списке литературы.
Для преподавателей математики студентам лингвистических направлений, а также для студентов бакалавриата и магистратуры. Пособие ориентировано на аудиторную работу и выполнение контрольных заданий промежуточной аттестации.