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

В базах данных Math-Net.Ru
Публикаций: 11
Научных статей: 9
Лекций и докладов: 15

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

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

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


http://www.mathnet.ru/rus/person20343
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
https://mathscinet.ams.org/mathscinet/MRAuthorID/341304
http://elibrary.ru/author_items.asp?authorid=195
ИСТИНА http://istina.msu.ru/workers/1545603
http://orcid.org/0000-0002-9483-7594
http://www.researcherid.com/rid/K-2779-2018
http://www.scopus.com/authid/detail.url?authorId=16414824700

Публикации в базе данных Math-Net.Ru
2016
1. А. Е. Пентус, М. Р. Пентус, “Атомарная теория деления и пересечения двусторонних идеалов полуколец”, Фундамент. и прикл. матем., 21:1 (2016),  181–191  mathnet  mathscinet; A. E. Pentus, M. R. Pentus, “The atomic theory of division and intersection of semiring ideals”, J. Math. Sci., 233:5 (2018), 724–731  scopus
2012
2. А. Е. Пентус, М. Р. Пентус, “Атомарная теория левого деления двусторонних идеалов полуколец с единицей”, Фундамент. и прикл. матем., 17:5 (2012),  129–146  mathnet; A. E. Pentus, M. R. Pentus, “The atomic theory of left division of two-sided ideals of semirings with unit”, J. Math. Sci., 193:4 (2013), 566–579  scopus
2009
3. А. Е. Пентус, М. Р. Пентус, “Атомарная теория умножения и деления двусторонних идеалов полуколец”, Фундамент. и прикл. матем., 15:2 (2009),  169–189  mathnet  mathscinet; A. E. Pentus, M. R. Pentus, “The atomic theory of multiplication and division of semiring ideals”, J. Math. Sci., 167:6 (2010), 841–856  scopus
2006
4. А. Е. Пентус, М. Р. Пентус, “Атомарная теория деления двусторонних идеалов полуколец”, Фундамент. и прикл. матем., 12:2 (2006),  201–208  mathnet  mathscinet  zmath; A. E. Pentus, M. R. Pentus, “The atomic theory of division of semiring ideals”, J. Math. Sci., 149:2 (2008), 1176–1181  scopus
2004
5. А. Е. Пентус, М. Р. Пентус, “Объектно-ориентированное представление иерархических графов”, Фундамент. и прикл. матем., 10:4 (2004),  159–170  mathnet  mathscinet  zmath; A. E. Pentus, M. R. Pentus, “Object-oriented representation of hierarchical graphs”, J. Math. Sci., 140:2 (2007), 286–294  scopus
2000
6. А. Е. Пентус, М. Р. Пентус, “Объектно-ориентированное представление иерархических сетей Петри”, Фундамент. и прикл. матем., 6:3 (2000),  831–840  mathnet  mathscinet  zmath
7. М. Р. Пентус, “Атомарные теории семейств полугрупп с делением”, Фундамент. и прикл. матем., 6:2 (2000),  627–632  mathnet  mathscinet  zmath
1999
8. М. Р. Пентус, “Полнота синтаксического исчисления Ламбека”, Фундамент. и прикл. матем., 5:1 (1999),  193–219  mathnet  mathscinet  zmath
1995
9. М. Р. Пентус, “Исчисление Ламбека и формальные грамматики”, Фундамент. и прикл. матем., 1:3 (1995),  729–751  mathnet  mathscinet  zmath

2019
10. С. И. Адян, Н. Н. Андреев, Л. Д. Беклемишев, С. С. Гончаров, Ю. Л. Ершов, Ю. В. Матиясевич, Ю. С. Осипов, М. Р. Пентус, В. А. Плунгян, Е. В. Рахилина, В. А. Садовничий, А. Л. Семёнов, С. Г. Татевосов, В. М. Тихомиров, А. Х. Шень, “Владимир Андреевич Успенский (27.11.1930–27.06.2018)”, УМН, 74:4(448) (2019),  165–180  mathnet  elib; S. I. Adian, N. N. Andreev, L. D. Beklemishev, S. S. Goncharov, Yu. L. Ershov, Yu. V. Matiyasevich, Yu. S. Osipov, M. R. Pentus, V. A. Plungyan, E. V. Rakhilina, V. A. Sadovnichii, A. L. Semenov, S. G. Tatevosov, V. M. Tikhomirov, A. Kh. Shen, “Vladimir Andreevich Uspensky (27/11/1930–27/6/2018)”, Russian Math. Surveys, 74:4 (2019), 735–753  isi
2006
11. Л. Д. Беклемишев, И. Г. Лысёнок, А. А. Мальцев, С. П. Новиков, М. Р. Пентус, А. А. Разборов, А. Л. Семёнов, В. А. Успенский, “Сергей Иванович Адян (к 75-летию со дня рождения)”, УМН, 61:3(369) (2006),  179–191  mathnet  mathscinet  zmath  elib; L. D. Beklemishev, I. G. Lysenok, A. A. Mal'tsev, S. P. Novikov, M. R. Pentus, A. A. Razborov, A. L. Semenov, V. A. Uspenskii, “Sergei Ivanovich Adian (on his 75th birthday)”, Russian Math. Surveys, 61:3 (2006), 575–588  isi

Доклады и лекции в базе данных Math-Net.Ru
1. Лекция 10. Критерий выводимости для $L^*(\backslash,/,\cdot)$
М. Р. Пентус
Спецкурс «Сложность исчисления Ламбека»
7 декабря 2018 г. 16:45   
2. Лекция 9. Завершение доказательства критерия выводимости для $L^*(\backslash,/)$
М. Р. Пентус
Спецкурс «Сложность исчисления Ламбека»
23 ноября 2018 г. 16:45   
3. Лекция 8. Начало доказательства критерия выводимости для $L^*(\backslash,/)$
М. Р. Пентус
Спецкурс «Сложность исчисления Ламбека»
16 ноября 2018 г. 16:45   
4. Лекция 7. Формулировка критерия выводимости для $L^*(\backslash,/)$
М. Р. Пентус
Спецкурс «Сложность исчисления Ламбека»
9 ноября 2018 г. 16:45   
5. Лекция 6. Быстрый алгоритм поиска сети доказательства для $L(\backslash)$
М. Р. Пентус
Спецкурс «Сложность исчисления Ламбека»
2 ноября 2018 г. 16:45   
6. Лекция 5. Последняя часть доказательства критерия выводимости для $L(\backslash)$ (полнота $S$ относительно сетей доказательства)
М. Р. Пентус
Спецкурс «Сложность исчисления Ламбека»
26 октября 2018 г. 16:45   
7. Лекция 4. Вторая часть доказательства критерия выводимости для $L(\backslash)$ (корректность $S$ относительно $L(\backslash)$)
М. Р. Пентус
Спецкурс «Сложность исчисления Ламбека»
19 октября 2018 г. 16:45   
8. Лекция 3. Первая часть доказательства критерия выводимости для $L(\backslash)$ (полнота $S$ относительно $L(\backslash)$)
М. Р. Пентус
Спецкурс «Сложность исчисления Ламбека»
12 октября 2018 г. 16:45   
9. Лекция 2. Критерий выводимости для $L(\backslash)$
М. Р. Пентус
Спецкурс «Сложность исчисления Ламбека»
5 октября 2018 г. 16:45   
10. Лекция 1. Исчисление Ламбека
М. Р. Пентус
Спецкурс «Сложность исчисления Ламбека»
21 сентября 2018 г. 16:45
11. Межфакультетский курс «Категориальные грамматики». Лекция 11
М. Р. Пентус
Межфакультетский курс «Категориальные грамматики»
27 апреля 2016 г. 17:00   
12. Межфакультетский курс «Категориальные грамматики». Лекция 8
М. Р. Пентус, С. Л. Кузнецов
Межфакультетский курс «Категориальные грамматики»
6 апреля 2016 г. 17:00   
13. Межфакультетский курс «Категориальные грамматики». Лекция 7
М. Р. Пентус
Межфакультетский курс «Категориальные грамматики»
30 марта 2016 г. 17:00   
14. Межфакультетский курс «Категориальные грамматики». Лекция 6
С. Л. Кузнецов, М. Р. Пентус
Межфакультетский курс «Категориальные грамматики»
23 марта 2016 г. 17:00   
15. Complexity of the Lambek calculus and its fragments
Mati Pentus
Восьмая Международная конференция серии «Advances in Modal Logic» (AiML 2010)
27 августа 2010 г. 10:45   

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