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

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

Статистика просмотров:
Эта страница:1260
Страницы публикаций:3281
Полные тексты:1220
Списки литературы:284
доцент
кандидат физико-математических наук (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
2006
4. В. Е. Плиско, “О соотношении двух понятий примитивно рекурсивной реализуемости”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2006, 1,  6–11  mathnet  mathscinet  zmath
2002
5. В. Е. Плиско, “Начала конструктивной теории моделей”, Фундамент. и прикл. матем., 8:3 (2002),  783–828  mathnet  mathscinet  zmath
1999
6. В. Е. Плиско, “Об арифметической сложности предикатных логик полных конструктивных арифметических теорий”, Фундамент. и прикл. матем., 5:1 (1999),  221–255  mathnet  mathscinet  zmath
1997
7. В. Е. Плиско, “Модифицированная реализуемость и логика предикатов”, Матем. заметки, 61:2 (1997),  259–269  mathnet  mathscinet  zmath; V. E. Plisko, “Modified realizability and predicate logic”, Math. Notes, 61:2 (1997), 212–220  isi
1993
8. В. Е. Плиско, “О логиках, имеющих диагностические формулы относительно минимального исчисления”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1993, 6,  18–22  mathnet  mathscinet  zmath
1992
9. В. Е. Плиско, “Об арифметической сложности некоторых конструктивных логик”, Матем. заметки, 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
10. В. Е. Плиско, “О понятии относительно равномерной реализуемости пропозициональных формул”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1992, 2,  77–79  mathnet  mathscinet  zmath
1991
11. В. Е. Плиско, “О соотношении некоторых понятий конструктивной теории моделей”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1991, 4,  38–41  mathnet  mathscinet  zmath
12. В. А. Успенский, В. Е. Плиско, “Диагностические пропозициональные формулы”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1991, 3,  7–12  mathnet  mathscinet  zmath
1990
13. В. Е. Плиско, “Конструктивная формализация теоремы Тенненбаума и ее применения”, Матем. заметки, 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
14. В. Е. Плиско, “Исчисление А. Н. Колмогорова как фрагмент минимального исчисления”, УМН, 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
1987
15. В. Е. Плиско, “О языках с конструктивными логическими связками”, Докл. АН СССР, 296:1 (1987),  35–38  mathnet  mathscinet  zmath; V. E. Plisko, “Languages with constructive logical connectives”, Dokl. Math., 36:2 (1988), 236–239
1983
16. В. Е. Плиско, “Абсолютная реализуемость предикатных формул”, Изв. АН СССР. Сер. матем., 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
17. В. Е. Плиско, “Некоторые варианты понятия реализуемости для предикатных формул”, Изв. АН СССР. Сер. матем., 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
18. В. Е. Плиско, “Неарифметичность класса реализуемых предикатных формул”, Изв. АН СССР. Сер. матем., 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
19. В. Е. Плиско, “Некоторые варианты понятия реализуемости для предикатных формул”, Докл. АН СССР, 226:1 (1976),  61–64  mathnet  mathscinet  zmath
1974
20. В. Е. Плиско, “Рекурсивная реализуемость и конструктивная логика предикатов”, Докл. АН СССР, 214:3 (1974),  520–523  mathnet  mathscinet  zmath

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

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