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

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

Статистика просмотров:
Эта страница:1129
Страницы публикаций:2462
Полные тексты:776
Списки литературы:223
доцент
кандидат физико-математических наук (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
2017
1. В. Е. Плиско, “О конструктивной теории перечислимых видов”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2017, 2,  13–19  mathnet  mathscinet; V. E. Plisko, “Constructive theory of enumerable species”, Moscow University Mathematics Bulletin, 72:2 (2017), 55–60  isi  scopus
2015
2. А. Ю. Коновалов, В. Е. Плиско, “О гиперарифметической реализуемости”, Матем. заметки, 98:5 (2015),  725–746  mathnet  mathscinet  elib; A. Yu. Konovalov, V. E. Plisko, “On Hyperarithmetical Realizability”, Math. Notes, 98:5 (2015), 778–797  isi  scopus
2011
3. В. Е. Плиско, “Обзор предикатной логики реализуемости”, Тр. МИАН, 274 (2011),  222–251  mathnet  mathscinet  elib; Valerii E. Plisko, “A survey of predicate realizability logic”, Proc. Steklov Inst. Math., 274 (2011), 204–230  isi  elib  scopus
2002
4. В. Е. Плиско, “Начала конструктивной теории моделей”, Фундамент. и прикл. матем., 8:3 (2002),  783–828  mathnet  mathscinet  zmath
1999
5. В. Е. Плиско, “Об арифметической сложности предикатных логик полных конструктивных арифметических теорий”, Фундамент. и прикл. матем., 5:1 (1999),  221–255  mathnet  mathscinet  zmath
1997
6. В. Е. Плиско, “Модифицированная реализуемость и логика предикатов”, Матем. заметки, 61:2 (1997),  259–269  mathnet  mathscinet  zmath; V. E. Plisko, “Modified realizability and predicate logic”, Math. Notes, 61:2 (1997), 212–220  isi
1992
7. В. Е. Плиско, “Об арифметической сложности некоторых конструктивных логик”, Матем. заметки, 52:1 (1992),  94–104  mathnet  mathscinet  zmath; V. E. Plisko, “On arithmetic complexity of certain constructive logics”, Math. Notes, 52:1 (1992), 701–709  isi
1990
8. В. Е. Плиско, “Конструктивная формализация теоремы Тенненбаума и ее применения”, Матем. заметки, 48:3 (1990),  108–118  mathnet  mathscinet  zmath; V. E. Plisko, “Constructive formalization of the Tennenbaum theorem and its applications”, Math. Notes, 48:3 (1990), 950–957  isi
1988
9. В. Е. Плиско, “Исчисление А. Н. Колмогорова как фрагмент минимального исчисления”, УМН, 43:6(264) (1988),  79–91  mathnet  mathscinet  zmath; V. E. Plisko, “The Kolmogorov calculus as a part of minimal calculus”, Russian Math. Surveys, 43:6 (1988), 95–110
1983
10. В. Е. Плиско, “Абсолютная реализуемость предикатных формул”, Изв. АН СССР. Сер. матем., 47:2 (1983),  315–334  mathnet  mathscinet  zmath; V. E. Plisko, “Absolute realizability of predicate formulas”, Math. USSR-Izv., 22:2 (1984), 291–308
1978
11. В. Е. Плиско, “Некоторые варианты понятия реализуемости для предикатных формул”, Изв. АН СССР. Сер. матем., 42:3 (1978),  636–653  mathnet  mathscinet  zmath; V. E. Plisko, “Some variants of the notion of realizability for predicate formulas”, Math. USSR-Izv., 12:3 (1978), 588–604
1977
12. В. Е. Плиско, “Неарифметичность класса реализуемых предикатных формул”, Изв. АН СССР. Сер. матем., 41:3 (1977),  483–502  mathnet  mathscinet  zmath; V. E. Plisko, “The nonarithmeticity of the class of realizable predicate formulas”, Math. USSR-Izv., 11:3 (1977), 453–471
1976
13. В. Е. Плиско, “Некоторые варианты понятия реализуемости для предикатных формул”, Докл. АН СССР, 226:1 (1976),  61–64  mathnet  mathscinet  zmath
1974
14. В. Е. Плиско, “Рекурсивная реализуемость и конструктивная логика предикатов”, Докл. АН СССР, 214:3 (1974),  520–523  mathnet  mathscinet  zmath

1989
15. В. Е. Плиско, “Поправка”, УМН, 44:3(267) (1989),  205  mathnet  mathscinet; V. E. Plisko, “Errata”, Russian Math. Surveys, 44:3 (1989), 232  isi

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