|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Пентус Мати Рейнович пользователь
МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов, профессор, с 15 ноября 1995
доктор физико-математических наук с 2001 года
доцент по кафедре математической логики и теории алгоритмов с 16 февраля 2000 г.
Соавторы: Пентус А.Е., Семёнов А.Л., Успенский В.А., Беклемишев Л.Д., Новиков С.П., Лысёнок И.Г.
29 статей, 2 книги, 4 доклада на конференциях, 1 тезисы доклада, 6 НИР, 1 стажировка, 1 членство в редколлегии журнала, 2 членства в программных комитетах, 3 диссертации, 9 дипломных работ, 1 курсовая работа, 20 учебных курсов
Количество цитирований статей в журналах по данным
Scopus: 149,
Web of Science: 47
РИНЦ:
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
-
Статьи в журналах
-
- 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, издательство Kluwer Academic Publishers (Netherlands), том 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
-
-
Книги
- 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 Категориальные грамматики с одним делением, допускающие пустое слово в лексиконе
- Научный руководитель: Пентус М.Р.
- Автор: Кузнецова Екатерина Александровна (Бакалавр)
-
-
Авторство учебных курсов
-
- 2018 Сложность исчисления Ламбека
- Автор: Пентус М.Р.
-
- 2016 Категориальные грамматики
- Авторы: Пентус М.Р., Кузнецов С.Л., Сорокин А.А.
-
- 2015 Математический анализ
- Автор: Пентус М.Р.
-
- 2013 Словообразование в эсперанто
- Автор: Пентус М.Р.
-
- 2010 Модальная и алгебраическая логика
- Авторы: Пентус М.Р., Шехтман В.Б., Шапировский И.Б.
-
- 2009 Словообразование в эстонском языке
- Автор: Пентус М.Р.
-
- 2008 Эстонский язык
- Автор: Пентус М.Р.
-
- 2008 Полнота исчисления Ламбека
- Автор: Пентус М.Р.
-
- 2008 Морфология и синтаксис эсперанто
- Автор: Пентус М.Р.
-
- 2005 Исчисление Ламбека
- Автор: Пентус М.Р.
-
- 2004 Теория формальных языков
- Автор: Пентус М.Р.
-
- 1995 Математическая теория грамматик
- Автор: Пентус М.Р.
-
-
Преподавание учебных курсов
-
- 1 сентября 2018 - 31 мая 2019 Иностранный язык: методика подготовки научных докладов и ведения дискуссий
- МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
- обязательная, вариативной части, семинары, 70 часов
-
- 1 сентября 2018 - 26 января 2019 Сложность исчисления Ламбека
- МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
- обязательная, по выбору (спецкурс), лекции, 36 часов
-
- 1 сентября 2018 - 31 декабря 2018 Математическая теория грамматик
- МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
- обязательная, базовой части, семинары, 54 часов
-
- 1 сентября 2018 - 31 декабря 2018 Математическая теория грамматик
- МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
- обязательная, базовой части, лекции, 18 часов
-
- 14 февраля 2018 - 30 мая 2018 Категориальные грамматики
- МГУ имени М.В. Ломоносова, Механико-математический факультет
- обязательная, по выбору (межфакультетский курс), лекции, 8 часов
-
- 7 февраля 2018 - 30 июня 2018 Эстонский язык
- МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
- обязательная, по выбору (спецкурс), лекции, 34 часов
-
- 7 февраля 2018 - 30 июня 2018 Математическая теория грамматик
- МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
- обязательная, базовой части, лекции, 17 часов
-
- 7 февраля 2018 - 30 июня 2018 Математическая теория грамматик
- МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
- обязательная, базовой части, семинары, 51 часов
-
- 1 сентября 2017 - 31 мая 2018 Категориальные грамматики Ламбека
- МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
- обязательная, по выбору (спецкурс), лекции, 68 часов
-
- 1 сентября 2017 - 19 мая 2018 Иностранный язык: методика подготовки научных докладов и ведения дискуссий
- МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
- обязательная, вариативной части, семинары, 70 часов
-
- 1 сентября 2017 - 19 мая 2018 Модальная и алгебраическая логика
- МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
- обязательная, по выбору (спецкурс), семинары, 70 часов
-
- 1 сентября 2017 - 31 декабря 2017 Математическая теория грамматик
- МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
- обязательная, базовой части, лекции, 18 часов
-
- 1 сентября 2017 - 31 декабря 2017 Математические модели в лингвистике
- МГУ имени М.В. Ломоносова, Механико-математический факультет
- обязательная, по выбору (межфакультетский курс), лекции, 6 часов
-
- 1 сентября 2017 - 31 декабря 2017 Математическая теория грамматик
- МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
- обязательная, базовой части, семинары, 54 часов
-
- 8 февраля 2017 - 30 июня 2017 Математическая теория грамматик
- МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
- обязательная, базовой части, лекции, 17 часов
-
- 8 февраля 2017 - 30 июня 2017 Математическая теория грамматик
- МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
- обязательная, базовой части, семинары, 51 часов
-
- 1 сентября 2016 - 19 мая 2017 Иностранный язык: методика подготовки научных докладов и ведения дискуссий
- МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
- обязательная, вариативной части, семинары, 70 часов
-
- 1 сентября 2016 - 19 мая 2017 Модальная и алгебраическая логика
- МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
- обязательная, по выбору (спецкурс), семинары, 70 часов
-
- 1 сентября 2016 - 26 января 2017 Полнота исчисления Ламбека
- МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
- обязательная, по выбору (спецкурс), лекции, 36 часов
-
- 1 сентября 2016 - 31 декабря 2016 Математическая теория грамматик
- МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
- обязательная, базовой части, лекции, 18 часов
-
- 1 сентября 2016 - 31 декабря 2016 Математическая теория грамматик
- МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
- обязательная, базовой части, семинары, 54 часов
-
- 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 Математическая теория грамматик
- МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
- обязательная, базовой части, лекции, 18 часов
-
- 1 сентября 2015 - 31 декабря 2015 Математическая теория грамматик
- МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
- обязательная, базовой части, семинары, 54 часов
-
- 1 сентября 2015 - 31 декабря 2015 Математические модели в лингвистике
- МГУ имени М.В. Ломоносова, Механико-математический факультет
- обязательная, по выбору (межфакультетский курс), лекции, 8 часов
-
- 1 сентября 2015 - 31 декабря 2015 Основы LaTeXа
- МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
- факультативная, лекции, 32 часов
-
- 1 сентября 2015 - 31 декабря 2015 Эстонский язык
- МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
- обязательная, по выбору (спецкурс), лекции, 32 часов
-
- 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 часов
-