RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
 
Пентус Мати Рейнович

В базах данных Math-Net.Ru
Публикаций: 10
Научных статей: 9
в MathSciNet: 8
в zbMATH: 7
в Web of Science: 1
в Scopus: 4
Цитированных статей: 4
Ссылок в Math-Net.Ru: 7
Лекций и докладов: 5

Статистика просмотров:
Эта страница:1069
Страницы публикаций:5922
Полные тексты:1042
Списки литературы:166
профессор
доктор физико-математических наук (2000)
Сайт: http://lpcs.math.msu.su/~pentus/

Основные темы научной работы

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


http://www.mathnet.ru/rus/person20343
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
http://www.ams.org/mathscinet/search/author.html?return=viewitems&mrauthid=341304
http://elibrary.ru/author_items.asp?authorid=195

Публикации в базе данных Math-Net.Ru
1. Атомарная теория деления и пересечения двусторонних идеалов полуколец
А. Е. Пентус, М. Р. Пентус
Фундамент. и прикл. матем., 21:1 (2016),  181–191
2. Атомарная теория левого деления двусторонних идеалов полуколец с единицей
А. Е. Пентус, М. Р. Пентус
Фундамент. и прикл. матем., 17:5 (2012),  129–146
3. Атомарная теория умножения и деления двусторонних идеалов полуколец
А. Е. Пентус, М. Р. Пентус
Фундамент. и прикл. матем., 15:2 (2009),  169–189
4. Атомарная теория деления двусторонних идеалов полуколец
А. Е. Пентус, М. Р. Пентус
Фундамент. и прикл. матем., 12:2 (2006),  201–208
5. Объектно-ориентированное представление иерархических графов
А. Е. Пентус, М. Р. Пентус
Фундамент. и прикл. матем., 10:4 (2004),  159–170
6. Объектно-ориентированное представление иерархических сетей Петри
А. Е. Пентус, М. Р. Пентус
Фундамент. и прикл. матем., 6:3 (2000),  831–840
7. Атомарные теории семейств полугрупп с делением
М. Р. Пентус
Фундамент. и прикл. матем., 6:2 (2000),  627–632
8. Полнота синтаксического исчисления Ламбека
М. Р. Пентус
Фундамент. и прикл. матем., 5:1 (1999),  193–219
9. Исчисление Ламбека и формальные грамматики
М. Р. Пентус
Фундамент. и прикл. матем., 1:3 (1995),  729–751

10. Сергей Иванович Адян (к 75-летию со дня рождения)
Л. Д. Беклемишев, И. Г. Лысёнок, А. А. Мальцев, С. П. Новиков, М. Р. Пентус, А. А. Разборов, А. Л. Семёнов, В. А. Успенский
УМН, 61:3(369) (2006),  179–191

Доклады и лекции в базе данных Math-Net.Ru
1. Межфакультетский курс «Категориальные грамматики». Лекция 11
М. Р. Пентус
Межфакультетский курс «Категориальные грамматики»
27 апреля 2016 г. 17:00   
2. Межфакультетский курс «Категориальные грамматики». Лекция 8
М. Р. Пентус, С. Л. Кузнецов
Межфакультетский курс «Категориальные грамматики»
6 апреля 2016 г. 17:00   
3. Межфакультетский курс «Категориальные грамматики». Лекция 7
М. Р. Пентус
Межфакультетский курс «Категориальные грамматики»
30 марта 2016 г. 17:00   
4. Межфакультетский курс «Категориальные грамматики». Лекция 6
С. Л. Кузнецов, М. Р. Пентус
Межфакультетский курс «Категориальные грамматики»
23 марта 2016 г. 17:00   
5. Complexity of the Lambek calculus and its fragments
Mati Pentus
Восьмая Международная конференция серии «Advances in Modal Logic» (AiML 2010)
27 августа 2010 г. 10:45   

Организации
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2017