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

В базах данных Math-Net.Ru
Публикаций: 12
Научных статей: 11
Цитированных статей: 10
Ссылок в Math-Net.Ru: 36

Статистика просмотров:
Эта страница:934
Страницы публикаций:1824
Полные тексты:596
Списки литературы:155
доцент
кандидат физико-математических наук (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
http://www.ams.org/mathscinet/search/author.html?return=viewitems&mrauthid=190413

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

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

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