ИСТИНА

Пентус Мати Рейнович пользователь

МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов, профессор, с 15 ноября 1995

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

доцент по кафедре математической логики и теории алгоритмов с 16 февраля 2000 г.

Соавторы: Пентус А.Е., Беклемишев Л.Д., Семёнов А.Л., Новиков С.П., Успенский В.А., Адян С.И., Андреев Н.Н., Гончаров С.С., Лысёнок И.Г., Матиясевич Ю.В., Осипов Ю.С., Плунгян В.А., Рахилина Е.В. показать полностью..., Садовничий В.А., Татевосов С.Г., Тихомиров В.М., Шень А.

31 статья, 3 книги, 4 доклада на конференциях, 1 тезисы доклада, 6 НИР, 1 стажировка, 1 членство в редколлегии журнала, 2 членства в программных комитетах, 3 диссертации, 9 дипломных работ, 1 курсовая работа, 23 учебных курса

Количество цитирований статей в журналах по данным Web of Science: 54, Scopus: 168
РИНЦ:

IstinaResearcherID (IRID): 1545603

ResearcherID: K-2779-2018

Scopus Author ID: 16414824700

ORCID: 0000-0002-9483-7594

Деятельность стиль:  обычный | ГОСТ | plain | abbrv | acm | alpha | amsalpha | amsplain | apalike | ieeetr | siam

---

• Статьи в журналах

  • • 2019 Владимир Андреевич Успенский (27.11.1930–27.06.2018)
    • Адян С.И., Андреев Н.Н., Беклемишев Л.Д., Гончаров С.С., Ершов Ю.Л., Матиясевич Ю.В., Осипов Ю.С., Пентус М.Р., Плунгян В.А., Рахилина Е.В., Садовничий В.А., Семёнов А.Л., Татевосов С.Г., Тихомиров В.М., Шень А.Х.
    • в журнале Успехи математических наук, издательство Наука (М.), том 74, № 4(448), с. 165-180
  • • 2019 Сети доказательства для исчисления Ламбека с одним делением и модальностью для ослабления, используемой только при отрицательной полярности
    • Пентус А.Е., Пентус М.Р.
    • в журнале ArXiv e-prints, № 1912.03739, с. 1-11
  • 
    • 2018 The atomic theory of division and intersection of semiring ideals
    • Pentus A.E., Pentus M.R.
    • в журнале Journal of Mathematical Sciences, издательство Plenum Publishers (United States), том 233, № 5, с. 724-731 DOI
  • • 2016 Атомарная теория деления и пересечения двусторонних идеалов полуколец
    • Пентус А.Е., Пентус М.Р.
    • в журнале Фундаментальная и прикладная математика, издательство Интуит (М.), том 21, № 1, с. 179-188
  • 
    • 2013 The atomic theory of left division of two-sided ideals of semirings with unit
    • Pentus A.E., Pentus M.R.
    • в журнале Journal of Mathematical Sciences, издательство Plenum Publishers (United States), том 193, № 4, с. 566-579 DOI
  • 
    • 2012 Атомарная теория левого деления двусторонних идеалов полуколец с единицей
    • Пентус А., Пентус М.
    • в журнале Фундаментальная и прикладная математика, издательство Интуит (М.), том 17, № 5, с. 129-146
  • • 2010 A polynomial-time algorithm for Lambek grammars of bounded order
    • Pentus M.
    • в журнале Linguistic Analysis, том 36, № 1-4, с. 441-471
  • 
    • 2010 The atomic theory of multiplication and division of semiring ideals
    • Pentus A., Pentus M.
    • в журнале Journal of Mathematical Sciences, издательство Plenum Publishers (United States), том 167, № 6, с. 841-856 DOI
  • 
    • 2009 Атомарная теория умножения и деления двусторонних идеалов полуколец
    • Пентус А.Е., Пентус М.Р.
    • в журнале Фундаментальная и прикладная математика, издательство Интуит (М.), том 15, № 2, с. 169-189
  • 
    • 2008 The atomic theory of division of semiring ideals
    • Pentus A., Pentus M.
    • в журнале Journal of Mathematical Sciences, издательство Plenum Publishers (United States), том 149, № 2, с. 1176-1181 DOI
  • 
    • 2007 Object-oriented representation of hierarchical graphs
    • Pentus A., Pentus M.
    • в журнале Journal of Mathematical Sciences, издательство Plenum Publishers (United States), том 140, № 2, с. 286-294 DOI
  • 
    • 2006 Lambek calculus is NP-complete
    • Pentus Mati
    • в журнале Theoretical Computer Science, издательство Elsevier BV (Netherlands), том 357, № 1-3, с. 186-201 DOI
  • 
    • 2006 Sergei Ivanovich Adian (on his 75th birthday)
    • Beklemishev L.D., Lysenok I.G., Mal'tsev A.A., Novikov S.P., Pentus M.R., Razborov A.A., Semenov A.L., Uspenskii V.A.
    • в журнале Russian Mathematical Surveys, издательство Turpion - Moscow Ltd. (United Kingdom), том 61, № 3, с. 575-588
  • • 2006 Атомарная теория деления двусторонних идеалов полуколец
    • Пентус А.Е., Пентус М.Р.
    • в журнале Фундаментальная и прикладная математика, издательство Интуит (М.), том 12, № 2, с. 201-208
  • • 2006 Сергей Иванович Адян (к 75-летию со дня рождения)
    • Беклемишев Л.Д., Лысенок И.Г., Мальцев А.А., Новиков С.П., Пентус М.Р., Разборов А.А., Семенов А.Л., Успенский В.А.
    • в журнале Успехи математических наук, издательство Наука (М.), том 61, № 3, с. 179-191
  • • 2004 Объектно-ориентированное представление иерархических графов
    • Пентус А.Е., Пентус М.Р.
    • в журнале Фундаментальная и прикладная математика, издательство Интуит (М.), том 10, № 4, с. 159-170
  • • 2000 Атомарные теории семейств полугрупп с делением
    • Пентус М.Р.
    • в журнале Фундаментальная и прикладная математика, издательство Интуит (М.), том 6, № 2, с. 627-632
  • • 2000 Объектно-ориентированное представление иерархических сетей Петри
    • Пентус А.Е., Пентус М.Р.
    • в журнале Фундаментальная и прикладная математика, издательство Интуит (М.), том 6, № 3, с. 831-840
  • • 1999 Полнота синтаксического исчисления Ламбека
    • Пентус М.Р.
    • в журнале Фундаментальная и прикладная математика, издательство Интуит (М.), том 5, № 1, с. 193-219
  • 
    • 1997 Product-free Lambek calculus and context-free grammars
    • Pentus Mati
    • в журнале Journal of Symbolic Logic, издательство Association for Symbolic Logic (United States), том 62, № 2, с. 648-660 DOI
  • 
    • 1995 Models for the Lambek calculus
    • Pentus Mati
    • в журнале Annals of Pure and Applied Logic, издательство Elsevier BV (Netherlands), том 75, № 1-2, с. 179-213 DOI
  • • 1995 Исчисление Ламбека и формальные грамматики
    • Пентус М.Р.
    • в журнале Фундаментальная и прикладная математика, издательство Интуит (М.), том 1, № 3, с. 729-751
  • 
    • 1994 The conjoinability relation in Lambek calculus and linear logic
    • Pentus Mati
    • в журнале Journal of Logic, Language and Information, издательство Springer Nature (Switzerland), том 3, № 2, с. 121-140 DOI

• Статьи в сборниках

  • 
    • 2014 The Monotone Lambek Calculus Is NP-Complete
    • Pentus Mati
    • в сборнике Categories and Types in Logic, Language, and Physics, серия Lecture Notes in Computer Science, место издания Springer Berlin, Heidelberg, том 8222, с. 368-380 DOI
  • 
    • 2010 Complexity of the Lambek calculus and its fragments
    • Pentus M.
    • в сборнике Advances in Modal Logic, серия Advances in Modal Logic, место издания College Publications London, том 8, с. 310-329
    • редакторы Goranko Valentin, Беклемишев Лев Дмитриевич, Шехтман Валентин Борисович
  • • 2005 Characterization of atomicity in Lambek calculus and bilinear logic
    • Pentus Mati
    • в сборнике Language & grammar, серия CSLI Lecture Notes, место издания CSLI Publications Stanford, CA, том 168, с. 55-76
  • • 1999 Lambek calculus and formal grammars
    • Pentus Mati
    • в сборнике Provability, Complexity, Grammars, серия American Mathematical Society Translations, Series 2, место издания Amer. Math. Soc Providence, RI, том 192, с. 57-86
  • • 1998 Free monoid completeness of the Lambek calculus allowing empty premises
    • Pentus Mati
    • в сборнике Logic Colloquium '96, San Sebastián, Spain, 1996, серия Lecture Notes in Logic, место издания Springer Berlin, том 12, с. 171-209
  • • 1997 Equivalence of multiplicative fragments of cyclic linear logic and noncommutative linear logic
    • Pentus Mati
    • в сборнике Logical Foundations of Computer Science, 4th International Symposium, LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings, серия Lecture Notes in Computer Science, место издания Springer-Verlag Berlin, том 1234, с. 306-311 DOI
    • редактор Адян Сергей Иванович
  • 
    • 1994 Language completeness of the Lambek calculus
    • Pentus Mati
    • в сборнике Proceedings of the 9th Annual Symposium on Logic in Computer Science (LICS'94), Paris, France, July 4-7, 1994, серия LICS, издательство IEEE Computer Society (United States), с. 487-496 DOI
  • 
    • 1993 Lambek grammars are context free
    • Pentus M.
    • в сборнике 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, с. 429-433

• Книги

  • • 2019 Задачи по комбинаторике для лингвистов
    • Пентус А.Е., Пентус М.Р.
    • издательство Московский центр непрерывного математического образования (МЦНМО) (Москва) , ISBN 978-5-4439-1383-4, 32 с.
  • • 2016 Контекстно-свободные языки. Сборник задач
    • Пентус А.Е., Пентус М.Р.
    • место издания РГГУ Москва, ISBN 978-5-7281-2012-4, 75 с.
  • • 2015 Конечные автоматы и регулярные выражения. Сборник задач
    • Пентус А.Е., Пентус М.Р.
    • место издания Издательство попечительского совета механико-математического факультета МГУ Москва, 72 с.

• Доклады на конференциях

  • • 2018 Какая математика нужна лингвистам? (Устный)
    • Авторы: Сорокин Алексей Андреевич, Пентус Мати Рейнович
    • Подготовка специалистов по фундаментальной и прикладной лингвистике: проблемы и решения, Москва, Россия, 19-20 апреля 2018
  • • 2013 Фрагменты монотонного исчисления Ламбека
    • Автор: Пентус М.Р.
    • Конференция в честь 60-летия В. Б. Шехтмана, Москва, Россия, 2013
  • • 2010 Complexity of the Lambek calculus and its fragments (Устный)
    • Автор: Pentus Mati
    • Advances in Modal Logic, Математический институт им. В.А. Стеклова Российской академии наук, г. Москва, Россия, 24-27 августа 2010
  • • 2004 NP-полнота исчисления Ламбека (Устный)
    • Автор: Пентус Мати Рейнович
    • Ломоносовские чтения - 2004. Секция математики, МГУ им. М.В. Ломоносова, Механико-математический факультет, Россия, 19-26 апреля 2004

• Тезисы докладов

  • 
    • 1998 Lambek calculus and formal languages
    • Pentus Mati
    • в сборнике Logic Colloquium '95, Haifa, Israel, 1995, серия Lecture Notes in Logic, место издания Springer Berlin, том 11, тезисы, с. 269-272

• НИРы

  • • 1 января 2016 - 31 декабря 2020 Алгоритмические и семантические вопросы математической логики. 2016-2020
    • Кафедра математической логики и теории алгоритмов
    • Руководители: Семёнов А.Л., Успенский В.А. Ответственные исполнители: Золин Е.Е., Пентус М.Р. Участники НИР: Адян С.И., Беклемишев Л.Д., Верещагин Н.К., Крупский В.Н., Кузнецов С.Л., Любецкий В.А., Плиско В.Е., Семёнов А.Л., Сорокин А.А., Шехтман В.Б., Яворская Т.Л.
  • • 1 января 2016 - 31 декабря 2018 Теоретико-модельные и алгоритмические проблемы в модальных и алгебраических логиках
    • Негосударственное образовательное учреждение Московский Центр непрерывного математического образования
    • Руководитель: Шехтман В.Б. Участники НИР: Владимиров А.Г., Золин Е.Е., Кудинов А.В., Осипов И.И., Пентус М.Р., Савельев Д.И., Скворцов Д.П., Чижов А.С., Шапировский И.Б.
  • • 1 января 2014 - 31 декабря 2016 Модальные и лингвистические аспекты математической логики
    • Кафедра математической логики и теории алгоритмов
    • Руководитель: Успенский В.А. Участники НИР: Золин Е.Е., Коновалов А.Ю., Крупский В.Н., Кузнецов С.Л., Пентус М.Р., Плиско В.Е., Чистякова Р.А., Шехтман В.Б., Яворская Т.Л.
  • • 1 января 2011 - 31 декабря 2015 Исследование логических проблем информатики
    • Кафедра математической логики и теории алгоритмов
    • Руководитель: Успенский В.А. Участники НИР: Золин Е.Е., Крупский В.Н., Пентус М.Р., Яворская Т.Л.
  • • 1 января 2011 - 31 декабря 2013 Исследование разрешимых фрагментов модальных и алгебраических логик
    • Негосударственное образовательное учреждение Московский Центр непрерывного математического образования
    • Руководитель: Шехтман В.Б. Участники НИР: Золин Е.Е., Измайлов М.М., Кикоть С.П., Кудинов А.В., Осипов И.И., Пентус М.Р., Сорокин А.А., Чижов А.С., Шапировский И.Б.
  • • 1 января 2011 - 31 декабря 2013 Математические проблемы логической семантики неклассических дедуктивных систем
    • Кафедра математической логики и теории алгоритмов
    • Руководитель: Успенский В.А. Участники НИР: Золин Е.Е., Крупский В.Н., Кузнецов С.Л., Пентус М.Р., Плиско В.Е., Чистякова Р.А., Шамканов Д.С., Шехтман В.Б., Яворская Т.Л.

• Стажировки в организациях

  • • 19 сентября 2016 - 31 декабря 2016 Управление учебно-методической деятельности и дополнительного образования МГУ, Россия

• Участие в редколлегии журналов

  • • с 1 января 2015 Фундаментальная и прикладная математика
    • издательство Интуит (М.)

• Участие в программных комитетах конференций

  • • 2013 Symposium on Logical Foundations of Computer Science
    • Член программного комитета
    • Сан-Диего, США, США
  • • 2012 Logical Aspects of Computational Linguistics
    • Член программного комитета
    • Нант, Франция, Франция

• Руководство диссертациями

  • • 2014 Об отношении совместимости в исчислении Ламбека и в его варианте с операциями замещения
    • Кандидатская диссертация по специальности 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
    • Автор: Сорокин Алексей Андреевич, к.ф.-м.н., МГУ имени М.В. Ломоносова
    • Научный руководитель: Пентус М.Р., д.ф.-м.н., доц., МГУ имени М.В. Ломоносова
    • Защищена в совете Д 501.001.84 при МГУ имени М.В. Ломоносова, Механико-математический факультет
    • Организация, в которой выполнялась работа: МГУ имени М.В. Ломоносова
  • • 2012 Категориальные грамматики, основанные на вариантах исчисления Ламбека
    • Кандидатская диссертация по специальности 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
    • Автор: Кузнецов Степан Львович, к.ф.-м.н., МГУ имени М.В. Ломоносова
    • Научный руководитель: Пентус М.Р., д.ф.-м.н., доц., МГУ имени М.В. Ломоносова
    • Защищена в совете Д 501.001.84 при МГУ имени М.В. Ломоносова, Механико-математический факультет
  • • 2009 Алгоритмическая сложность фрагментов исчисления Ламбека
    • Кандидатская диссертация по специальности 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
    • Автор: Саватеев Юрий Вячеславович
    • Научный руководитель: Пентус М.Р., д.ф.-м.н., доц., МГУ имени М.В. Ломоносова
    • Защищена в совете Д 501.001.84 при МГУ имени М.В. Ломоносова, Механико-математический факультет

• Руководство дипломными работами

  • • 2017 Исчисление Ламбека с константой 0
    • Научный руководитель: Пентус М.Р.
    • Автор: Александрова Анастасия Сергеевна (Магистр)
  • • 2014 Различные аксиоматизации фрагментов исчисления Ламбека
    • Научный руководитель: Пентус М.Р.
    • Автор: Натали Аларкон Лопэс (Специалист)
  • • 2013 Свойства категориального исчисления зависимостей
    • Научный руководитель: Пентус М.Р.
    • Автор: Рыжкова Надежда Сергеевна (Специалист)
  • • 2012 Языковые модели фрагментов исчисления Ламбека с операциями объединения и пересечения
    • Научный руководитель: Пентус М.Р.
    • Автор: Звонкин Михаил Михайлович (Специалист)
  • • 2012 Сложность проблемы распознавания выводимости в исчислении Ламбека без умножения при ограничении на количество вхождений одной из связок
    • Научный руководитель: Пентус М.Р.
    • Автор: Макеев Станислав Сергеевич (Специалист)
  • • 2012 Предынтерполянты и постинтерполянты в исчислении Ламбека без умножения
    • Научный руководитель: Пентус М.Р.
    • Автор: Смуров Иван Михайлович (Специалист)
  • • 2011 О сетях доказательства для различных вариантов исчисления Ламбека
    • Научный руководитель: Пентус М.Р.
    • Автор: Сорокин Алексей Андреевич (Специалист)
  • • 2009 О построении сжатого суффиксного автомата в скользящем окне
    • Научный руководитель: Пентус М.Р.
    • Автор: Харитонов Александр Валентинович (Специалист)
  • • 2009 О грамматиках, основанных на двух вариантах исчисления Ламбека
    • Научный руководитель: Пентус М.Р.
    • Автор: Кузнецов Степан Львович (Специалист)

• Руководство курсовыми работами

  • • 2017 Категориальные грамматики с одним делением, допускающие пустое слово в лексиконе
    • Научный руководитель: Пентус М.Р.
    • Автор: Кузнецова Екатерина Александровна (Бакалавр)

• Авторство учебных курсов

  • • 2019 Морфология эстонского языка
    • Автор: Пентус М.Р.
  • • 2019 Конечные автоматы
    • Автор: Пентус М.Р.
  • • 2018 Сложность исчисления Ламбека
    • Автор: Пентус М.Р.
  • • 2017 Категориальные грамматики Ламбека
    • Автор: Пентус Мати Рейнович
  • • 2016 Категориальные грамматики
    • Авторы: Пентус М.Р., Кузнецов С.Л., Сорокин А.А.
  • • 2016 Иностранный язык: методика подготовки научных докладов и ведения дискуссий
    • Автор: Пентус М.Р.
  • • 2015 Математический анализ
    • Автор: Пентус М.Р.
  • • 2014 Логические проблемы информатики
    • Авторы: Крупский В.Н., Беклемишев Л.Д., Пентус М.Р., Яворская Т.Л.
  • • 2013 Словообразование в эсперанто
    • Автор: Пентус М.Р.
  • • 2010 Модальная и алгебраическая логика
    • Авторы: Пентус М.Р., Шехтман В.Б., Шапировский И.Б.
  • • 2009 Словообразование в эстонском языке
    • Автор: Пентус М.Р.
  • • 2008 Эстонский язык
    • Автор: Пентус М.Р.
  • • 2008 Полнота исчисления Ламбека
    • Автор: Пентус М.Р.
  • • 2008 Морфология и синтаксис эсперанто
    • Автор: Пентус М.Р.
  • • 2005 Исчисление Ламбека
    • Автор: Пентус М.Р.
  • • 2004 Теория формальных языков
    • Автор: Пентус М.Р.
  • • 1995 Математическая теория грамматик
    • Автор: Пентус М.Р.

• Преподавание учебных курсов

  • • 7 февраля 2020 - 31 мая 2020 Категориальные грамматики
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, по выбору (межфакультетский курс), лекции, 8 часов
  • • 1 сентября 2019 - 31 декабря 2019 Конечные автоматы
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, по выбору (спецкурс), лекции, 36 часов
  • • 1 сентября 2019 - 31 декабря 2019 Английский язык: методика подготовки научных докладов и ведения дискуссий
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, вариативной части, семинары, 36 часов
  • • 1 сентября 2019 - 31 декабря 2019 Морфология эстонского языка
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, по выбору (спецкурс), лекции, 36 часов
  • • 1 сентября 2019 - 31 декабря 2019 Математическая теория грамматик
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, лекции, 18 часов
  • • 1 сентября 2019 - 31 декабря 2019 Математическая теория грамматик
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, семинары, 54 часов
  • • 7 февраля 2019 - 30 июня 2019 Математическая теория грамматик
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, семинары, 51 часов
  • • 7 февраля 2019 - 30 июня 2019 Математическая теория грамматик
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, лекции, 17 часов
  • • 1 сентября 2018 - 31 мая 2019 Иностранный язык: методика подготовки научных докладов и ведения дискуссий
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, вариативной части, семинары, 70 часов
  • • 1 сентября 2018 - 26 января 2019 Сложность исчисления Ламбека
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), лекции, 36 часов
  • • 1 сентября 2018 - 31 декабря 2018 Математическая теория грамматик
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, лекции, 18 часов
  • • 1 сентября 2018 - 31 декабря 2018 Математическая теория грамматик
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, семинары, 54 часов
  • • 14 февраля 2018 - 30 мая 2018 Категориальные грамматики
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, по выбору (межфакультетский курс), лекции, 8 часов
  • • 7 февраля 2018 - 30 июня 2018 Математическая теория грамматик
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, семинары, 51 часов
  • • 7 февраля 2018 - 30 июня 2018 Эстонский язык
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, по выбору (спецкурс), лекции, 34 часов
  • • 7 февраля 2018 - 30 июня 2018 Математическая теория грамматик
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, лекции, 17 часов
  • • 1 сентября 2017 - 31 мая 2018 Категориальные грамматики Ламбека
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), лекции, 68 часов
  • • 1 сентября 2017 - 19 мая 2018 Иностранный язык: методика подготовки научных докладов и ведения дискуссий
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, вариативной части, семинары, 70 часов
  • • 1 сентября 2017 - 19 мая 2018 Модальная и алгебраическая логика
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), семинары, 70 часов
  • • 1 сентября 2017 - 31 декабря 2017 Математическая теория грамматик
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, семинары, 54 часов
  • • 1 сентября 2017 - 31 декабря 2017 Математическая теория грамматик
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, лекции, 18 часов
  • • 1 сентября 2017 - 31 декабря 2017 Математические модели в лингвистике
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, по выбору (межфакультетский курс), лекции, 6 часов
  • • 8 февраля 2017 - 30 июня 2017 Математическая теория грамматик
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, семинары, 51 часов
  • • 8 февраля 2017 - 30 июня 2017 Математическая теория грамматик
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, лекции, 17 часов
  • • 1 сентября 2016 - 19 мая 2017 Иностранный язык: методика подготовки научных докладов и ведения дискуссий
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, вариативной части, семинары, 70 часов
  • • 1 сентября 2016 - 19 мая 2017 Модальная и алгебраическая логика
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), семинары, 70 часов
  • • 1 сентября 2016 - 26 января 2017 Полнота исчисления Ламбека
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), лекции, 36 часов
  • • 1 сентября 2016 - 31 декабря 2016 Математическая теория грамматик
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, семинары, 54 часов
  • • 1 сентября 2016 - 31 декабря 2016 Математическая теория грамматик
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, лекции, 18 часов
  • • 15 февраля 2016 - 31 мая 2016 Категориальные грамматики
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, по выбору (межфакультетский курс), лекции, 10 часов
  • • 8 февраля 2016 - 28 июня 2016 Математическая теория грамматик
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, семинары, 51 часов
  • • 8 февраля 2016 - 28 июня 2016 Математическая теория грамматик
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, лекции, 17 часов
  • • 8 февраля 2016 - 18 июня 2016 Иностранный язык: методика подготовки научных докладов и ведения дискуссий
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, вариативной части, семинары, 34 часов
  • • 8 февраля 2016 - 3 июня 2016 Теория формальных языков
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), лекции, 34 часов
  • • 1 сентября 2015 - 31 мая 2016 Модальная и алгебраическая логика
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), семинары, 68 часов
  • • 1 сентября 2015 - 31 декабря 2015 Математическая теория грамматик
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, семинары, 54 часов
  • • 1 сентября 2015 - 31 декабря 2015 Основы LaTeXа
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • факультативная, лекции, 32 часов
  • • 1 сентября 2015 - 31 декабря 2015 Эстонский язык
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, по выбору (спецкурс), лекции, 32 часов
  • • 1 сентября 2015 - 31 декабря 2015 Математические модели в лингвистике
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, по выбору (межфакультетский курс), лекции, 8 часов
  • • 1 сентября 2015 - 31 декабря 2015 Математическая теория грамматик
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, лекции, 18 часов
  • • 7 февраля 2015 - 30 мая 2015 Математический анализ
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • факультативная, лекции, 16 часов
  • • 7 февраля 2015 - 30 мая 2015 Математические методы современной лингвистики
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, по выбору (спецкурс), лекции, 16 часов
  • • 1 сентября 2014 - 31 мая 2015 Модальная и алгебраическая логика
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), семинары, 68 часов
  • • 1 сентября 2014 - 20 мая 2015 Логические проблемы информатики
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), семинары, 17 часов
  • • 7 февраля 2014 - 31 декабря 2014 Математическая теория грамматик
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, лекции, 70 часов
  • • 7 февраля 2014 - 31 мая 2014 Основы прикладной математики
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, вариативной части, лекции, 34 часов
  • • 1 сентября 2013 - 31 мая 2014 Теория формальных языков
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), лекции, 68 часов
  • • 1 сентября 2013 - 20 мая 2014 Логические проблемы информатики
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), семинары, 17 часов
  • • 1 сентября 2013 - 31 декабря 2013 Математическая теория грамматик
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, лекции, 34 часов
  • • 7 февраля 2013 - 31 мая 2013 Словообразование в эсперанто
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, по выбору (спецкурс), лекции, 32 часов
  • • 1 сентября 2012 - 20 мая 2013 Математическая теория грамматик
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, лекции, 66 часов
  • • 1 сентября 2011 - 31 мая 2012 Математическая теория грамматик
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, лекции, 66 часов
  • • 1 сентября 2011 - 31 декабря 2011 Эстонский язык
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, по выбору (спецкурс), лекции, 32 часов
  • • 1 сентября 2010 - 31 мая 2011 Математическая теория грамматик
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, лекции, 66 часов
  • • 1 сентября 2010 - 31 декабря 2010 Морфология и синтаксис эсперанто
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, по выбору (спецкурс), лекции, 32 часов
  • • 1 сентября 2009 - 31 мая 2010 Математическая теория грамматик
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, лекции, 66 часов
  • • 1 сентября 2009 - 31 мая 2010 Исчисление Ламбека
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), лекции, 68 часов
  • • 1 сентября 2009 - 31 декабря 2009 Словообразование в эстонском языке
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, по выбору (спецкурс), лекции, 32 часов
  • • 1 сентября 2008 - 31 мая 2009 Математическая теория грамматик
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, лекции, 66 часов
  • • 1 сентября 2008 - 31 мая 2009 Полнота исчисления Ламбека
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), лекции, 68 часов
  • • 1 сентября 2008 - 31 декабря 2008 Морфология и синтаксис эсперанто
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, по выбору (спецкурс), лекции, 32 часов

---