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

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

Статистика просмотров:
Эта страница:1077
Страницы публикаций:2264
Полные тексты:721
Списки литературы:216
доцент
кандидат физико-математических наук (1974)
E-mail:
Сайт: http://lpcs.math.msu.su/~plisko/

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

Конструктивная логика.

Научная биография:

Родился 1 августа 1947 г. в деревне Горяне Лепельского района Витебской области БССР.
1963–1965 Учился в школе-интернате № 18 физико-математического профиля при МГУ им. М. В. Ломоносова.
1965–1970 Студент механико-математического факультета МГУ им. М. В. Ломоносова.
1970–1973 Аспирант механико-математического факультета МГУ им. М. В. Ломоносова.
1973–1978 Работал во Всесоюзном аэрофотолесоустроительном объединении "Леспроект".
1978–1986 Работал во Всесоюзном научно-исследовательском институте системных исследований (ВНИИСИ).
С 1986 года работаю на кафедре математической логики и теории алгоритмов механико-математического факультета Московского государственного университета им. М. В. Ломоносова.


http://www.mathnet.ru/rus/person19543
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
https://mathscinet.ams.org/mathscinet/MRAuthorID/190413

Публикации в базе данных Math-Net.Ru
1. О конструктивной теории перечислимых видов
В. Е. Плиско
Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2017, № 2,  13–19
2. О гиперарифметической реализуемости
А. Ю. Коновалов, В. Е. Плиско
Матем. заметки, 98:5 (2015),  725–746
3. Обзор предикатной логики реализуемости
В. Е. Плиско
Тр. МИАН, 274 (2011),  222–251
4. Начала конструктивной теории моделей
В. Е. Плиско
Фундамент. и прикл. матем., 8:3 (2002),  783–828
5. Об арифметической сложности предикатных логик полных конструктивных арифметических теорий
В. Е. Плиско
Фундамент. и прикл. матем., 5:1 (1999),  221–255
6. Модифицированная реализуемость и логика предикатов
В. Е. Плиско
Матем. заметки, 61:2 (1997),  259–269
7. Об арифметической сложности некоторых конструктивных логик
В. Е. Плиско
Матем. заметки, 52:1 (1992),  94–104
8. Конструктивная формализация теоремы Тенненбаума и ее применения
В. Е. Плиско
Матем. заметки, 48:3 (1990),  108–118
9. Исчисление А. Н. Колмогорова как фрагмент минимального исчисления
В. Е. Плиско
УМН, 43:6(264) (1988),  79–91
10. Абсолютная реализуемость предикатных формул
В. Е. Плиско
Изв. АН СССР. Сер. матем., 47:2 (1983),  315–334
11. Некоторые варианты понятия реализуемости для предикатных формул
В. Е. Плиско
Изв. АН СССР. Сер. матем., 42:3 (1978),  636–653
12. Неарифметичность класса реализуемых предикатных формул
В. Е. Плиско
Изв. АН СССР. Сер. матем., 41:3 (1977),  483–502
13. Некоторые варианты понятия реализуемости для предикатных формул
В. Е. Плиско
Докл. АН СССР, 226:1 (1976),  61–64
14. Рекурсивная реализуемость и конструктивная логика предикатов
В. Е. Плиско
Докл. АН СССР, 214:3 (1974),  520–523

15. Поправка
В. Е. Плиско
УМН, 44:3(267) (1989),  205

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