ИСТИНА

Плиско Валерий Егорович пользователь

МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов, доцент, с 20 января 1986

кандидат физико-математических наук с 1974 года

доцент по кафедре математической логики и теории алгоритмов с 26 июля 1995 г.

Соавторы: Успенский В.А., Коновалов А.Ю., Витер Д.А., Канторович Л.В., Крупский В.Н., Верещагин Н.К., Patlasov M.V., Ногина Е.Ю., Хаханян В.Х., Tibua L., Chankvetadze G., Rukhaia K., Pak B.

69 статей, 5 книг, 13 докладов на конференциях, 12 тезисов докладов, 4 НИР, 1 членство в редколлегии журнала, 3 диссертации, 7 дипломных работ, 7 учебных курсов

Количество цитирований статей в журналах по данным Scopus: 11, Web of Science: 42
РИНЦ:

IstinaResearcherID (IRID): 2569465

Деятельность стиль:  обычный | ГОСТ | plain | abbrv | acm | alpha | amsalpha | amsplain | apalike | ieeetr | siam

• Статьи в журналах

  • 
    • 2017 Constructive theory of enumerable species
    • Plisko V.E.
    • в журнале Moscow University Mathematics Bulletin, издательство Allerton Press Inc. (United States), том 72, № 2, с. 55-60 DOI
  • • 2017 О конструктивной теории перечислимых видов
    • Плиско В.Е.
    • в журнале Вестник Московского университета. Серия 1: Математика. Механика, издательство Изд-во Моск. ун-та (М.), № 2, с. 13-19
  • 
    • 2015 On hyperarithmetical realizability
    • Konovalov A.Yu, Plisko V.E.
    • в журнале Mathematical Notes, издательство Consultants Bureau (United States), том 98, № 5, с. 778-797 DOI
  • 
    • 2015 О гиперарифметической реализуемости
    • Коновалов Александр Юрьевич, Плиско Валерий Егорович
    • в журнале Математические заметки, том 98, № 5, с. 725-746 DOI
  • 
    • 2011 A survey of predicate realizability logic
    • Plisko V.E.
    • в журнале Proceedings of the Steklov Institute of Mathematics, издательство Springer Verlag (Germany), том 274, с. 204-230 DOI
  • 
    • 2011 On two attempts of describing propositional realizability logic
    • Plisko V.
    • в журнале Journal of Logic and Computation, издательство Oxford University Press (United Kingdom), том 21, с. 639-663 DOI
  • 
    • 2009 A survey of propositional realizability logic
    • Plisko V.
    • в журнале Bulletin of Symbolic Logic, издательство Association for Symbolic Logic (United States), том 15, № 1, с. 1-42 DOI
  • • 2008 A modified theory M\tauSR
    • Rukhaia K., Tibua L., Chankvetadze G., Plisko V.
    • в журнале Seminar of I.Vekua Institute of Applied Mathematics. Reports, том 34, с. 65-73
  • • 2007 Primitive recursive realizability and basic propositional logic
    • Plisko V.
    • в журнале Utrecht University, Logic Group Preprint Series, том 261, с. 27-27
  • • 2007 Review of Classical Mathematical Logic: The Semantic Foundations of Logic, by Richard L. Epstein, With contributions by Lesław W .Szczerba
    • Plisko V.
    • в журнале Journal of Logic and Computation, издательство Oxford University Press (United Kingdom), том 17, № 3, с. 609-609
  • • 2006 A relation between two concepts of primitive recursive realizability
    • Plisko V.E.
    • в журнале Moscow University Mathematics Bulletin, издательство Allerton Press Inc. (United States), том 61, № 1, с. 5-10
  • • 2006 О соотношении двух понятий примитивно рекурсивной реализуемости
    • Плиско В.Е.
    • в журнале Вестник Московского университета. Серия 1: Математика. Механика, издательство Изд-во Моск. ун-та (М.), № 1, с. 6-10
  • • 2003 Предикатные логики конструктивных математических теорий
    • Плиско В.Е.
    • в журнале Чебышевский сборник, издательство Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования "Тульский государственный педагогический университет им. Л.Н. Толстого" (Тула), том 4, № 4 (8), с. 121-136
  • 
    • 2002 Arithmetic complexity of the predicate logics of certain complete arithmetic theories
    • Plisko V.E.
    • в журнале Annals of Pure and Applied Logic, издательство Elsevier BV (Netherlands), том 113, с. 243-259
  • • 2002 Начала конструктивной теории моделей
    • Плиско В.Е.
    • в журнале Фундаментальная и прикладная математика, издательство Интуит (М.), том 8, № 3, с. 783-828
  • • 2001 A predicate logic based on the Goedel interpretation and the system of hereditary effective operations
    • Plisko V.E.
    • в журнале Bulletin of Symbolic Logic, издательство Association for Symbolic Logic (United States), том 7, № 1, с. 142-142
  • • 2001 Equality from the constructive point of view
    • Plisko V.E., Viter D.A.
    • в журнале Bulletin of Symbolic Logic, издательство Association for Symbolic Logic (United States), том 7, № 1, с. 143-143
  • • 1999 The elements of the constructive model theory
    • Plisko V.E.
    • в журнале Reports of Enlarged Sessions of the Seminar of I.Vekua Institute of Applied Mathematics, том 14, № 4, с. 63-66
  • • 1999 Об арифметической сложности предикатных логик полных конструктивных арифметических теорий
    • Плиско В.Е.
    • в журнале Фундаментальная и прикладная математика, издательство Интуит (М.), том 5, № 1, с. 221-255
  • 
    • 1997 Modified realizability and predicate logic
    • Plisko V.E.
    • в журнале Mathematical Notes, издательство Consultants Bureau (United States), том 61, № 2, с. 212-220 DOI
  • • 1997 Модифицированная реализуемость и логика предикатов
    • Плиско В.Е.
    • в журнале Математические заметки, том 61, № 2, с. 259-269 DOI
  • 
    • 1995 Raymond M Smullyan. Gödel's incompleteness theorems
    • Uspensky V., Plisko V.
    • в журнале Journal of Symbolic Logic, издательство Association for Symbolic Logic (United States), том 60, № 4, с. 1320-1324 DOI
  • 
    • 1993 О логиках, имеющих диагностические формулы относительно минимального исчисления
    • Плиско В.Е.
    • в журнале Вестник Московского университета. Серия 1: Математика. Механика, издательство Изд-во Моск. ун-та (М.), № 6, с. 18-22
  • 
    • 1992 On arithmetic complexity of certain constructive logics
    • Plisko V.E.
    • в журнале Mathematical Notes, издательство Consultants Bureau (United States), том 52, с. 701-709 DOI
  • • 1992 On the concept of relatively uniform realizability of propositional formulas
    • Plisko V.E.
    • в журнале Moscow University Mathematics Bulletin, издательство Allerton Press Inc. (United States), том 47, с. 41-42
  • 
    • 1992 О понятии относительно равномерной реализуемости пропозициональных формул
    • Плиско В.Е.
    • в журнале Вестник Московского университета. Серия 1: Математика. Механика, издательство Изд-во Моск. ун-та (М.), № 2, с. 77-79
  • • 1992 Об арифметической сложности некоторых конструктивных логик
    • Плиско В.Е.
    • в журнале Математические заметки, том 52, № 1, с. 94-104
  • 
    • 1991 Диагностические пропозициональные формулы
    • Успенский В.А., Плиско В.Е.
    • в журнале Вестник Московского университета. Серия 1: Математика. Механика, издательство Изд-во Моск. ун-та (М.), № 3, с. 7-12
  • 
    • 1991 О соотношении некоторых понятий конструктивной теории моделей
    • Плиско В.Е.
    • в журнале Вестник Московского университета. Серия 1: Математика. Механика, издательство Изд-во Моск. ун-та (М.), № 4, с. 38-41
  • 
    • 1990 Constructive formalization of Tennenbaum's theorem and its applications
    • Plisko V.E.
    • в журнале Mathematical Notes, издательство Consultants Bureau (United States), том 48, с. 950-957 DOI
  • • 1990 Конструктивная формализация теоремы Тенненбаума и ее применения
    • Плиско В.Е.
    • в журнале Математические заметки, том 48, № 3, с. 108-118
  • 
    • 1988 The Kolmogorov calculus as a part of minimal calculus
    • Plisko V.E.
    • в журнале Russian Mathematical Surveys, издательство Turpion - Moscow Ltd. (United Kingdom), том 43, № 6, с. 95-110 DOI
  • • 1988 Исчисление А.Н.Колмогорова как фрагмент минимального исчисления
    • Плиско В.Е.
    • в журнале Успехи математических наук, издательство Наука (М.), том 43, № 6, с. 79-91
  • • 1987 On languages with constructive logical connectives
    • Plisko V.E.
    • в журнале Doklady Mathematics, издательство Maik Nauka/Interperiodica Publishing (Russian Federation), том 36, с. 236-239
  • 
    • 1987 О языках с конструктивными логическими связками
    • Плиско В.Е.
    • в журнале Доклады Академии наук, издательство Наука (М.), том 296, № 1, с. 35-38
  • 
    • 1983 Absolute realizability of predicate formulas
    • Plisko V.E.
    • в журнале Mathematics of the USSR - Izvestiya, том 22, с. 291-308
  • • 1983 Абсолютная реализуемость предикатных формул
    • Плиско В.Е.
    • в журнале Известия АН СССР. Серия математическая, том 47, № 2, с. 315-334
  • • 1979 Kaaz В.Е. Elemente der mathematischen Logik fur den Gebrauch in Physik und Technik
    • Плиско В.Е.
    • в журнале Новые книги за рубежом. Сер. А, № 2, с. 33-35
  • • 1978 Monk J.D. Mathematical Logic
    • Плиско В.Е.
    • в журнале Новые книги за рубежом. Сер. А, № 2, с. 7-9
  • 
    • 1978 Some variants of the notion of realizability for predicate formulas
    • Plisko V.E.
    • в журнале Mathematics of the USSR - Izvestiya, том 12, с. 588-604
  • • 1978 Некоторые варианты понятия реализуемости для предикатных формул
    • Плиско В.Е.
    • в журнале Известия АН СССР. Серия математическая, том 42, № 3, с. 636-653
  • 
    • 1977 The nonarithmeticity of the class of realizable predicate formulas
    • Plisko V.E.
    • в журнале Mathematics of the USSR - Izvestiya, том 11, с. 453-471
  • • 1977 Неарифметичность класса реализуемых предикатных формул
    • Плиско В.Е.
    • в журнале Известия АН СССР. Серия математическая, том 41, № 3, с. 483-502
  • • 1976 Some variants of the notion of realizability for predicate formulas
    • Plisko V.E.
    • в журнале Doklady Mathematics, издательство Maik Nauka/Interperiodica Publishing (Russian Federation), том 17, № 1, с. 59-63
  • 
    • 1976 Некоторые варианты понятия реализуемости для предикатных формул
    • Плиско В.Е.
    • в журнале Доклады Академии наук, издательство Наука (М.), том 226, № 1, с. 61-64
  • • 1974 Recursive realizability and constructive predicate logic
    • Plisko V.E.
    • в журнале Doklady Mathematics, издательство Maik Nauka/Interperiodica Publishing (Russian Federation), том 15, с. 193-197
  • 
    • 1974 Рекурсивная реализуемость и конструктивная логика предикатов
    • Плиско В.Е.
    • в журнале Доклады Академии наук, издательство Наука (М.), том 214, № 3, с. 520-523
  • • 1973 On realizable predicate formulae
    • Plisko V.E.
    • в журнале Doklady Mathematics, издательство Maik Nauka/Interperiodica Publishing (Russian Federation), том 14, с. 1420-1424
  • 
    • 1973 О реализуемых предикатных формулах
    • Плиско В.Е.
    • в журнале Доклады Академии наук, издательство Наука (М.), том 212, № 3, с. 553-556

• Статьи в сборниках

  • • 2011 Обзор предикатной логики реализуемости
    • Плиско В.Е.
    • в сборнике Алгоритмические вопросы алгебры и логики. Сборник статей. К 80-летию со дня рождения академика Сергея Ивановича Адяна, серия Труды Математического Института им. В.А.Стеклова, издательство МАИК "Наука/Интерпериодика" (Москва), том 274, с. 222-251
  • • 2010 Transfinite Sequences of Constructive Predicate Logics
    • Plisko V.
    • в сборнике Computer Science – Theory and Applications, 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings, серия Lecture Notes in Computer Science, издательство SPRINGER-VERLAG BERLIN (HEIDELBERGER PLATZ 3, BERLIN, GERMANY,D-14197), том 6072, с. 315-326 DOI
  • • 2009 The Varpakhovskii calculus and Markov arithmetic
    • Plisko V.E.
    • в сборнике Logic Group Preprint Series, место издания Utrecht University, том 271, с. 1-43
  • 
    • 2006 On primitive recursive realizabilities
    • Plisko V.
    • в сборнике Computer Science – Theory and Applications, 1st International Computer Science Symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings, серия Lecture Notes in Computer Science, место издания Springer, том 3967, с. 304-312
  • • 2005 Закон исключенного третьего и закон двойного отрицания. Комментарий 2005 г. к работе "О принципе tertium non datur"
    • Успенский В.А., Плиско В.Е.
    • в сборнике А. Н. Колмогоров. Избранные труды. Том 1. Математика и механика, место издания Наука Москва, с. 445-454
  • • 2005 Интуиционистская логика
    • Успенский В.А., Плиско В.Е.
    • в сборнике А. Н. Колмогоров. Избранные труды. Том 1. Математика и механика, место издания Наука Москва, с. 435-444
  • 
    • 2003 Arithmetic complexity of the predicate logics of complete arithmetic theories
    • Plisko V.
    • в сборнике Philosophical Dimensions of Logic and Science, серия Synthese Library, место издания Springer, том 320, с. 57-66 DOI
  • • 1997 Two semantics and logics based on the Gödel interpretation
    • Plisko V.
    • в сборнике Computational Logic and Proof Theory, 5th Kurt Godel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings, серия Lecture Notes in Computer Science, место издания Springer, том 1289, с. 233-240 DOI
  • • 1996 Язык математики
    • Ногина Е.Ю., Плиско В.Е.
    • в сборнике Программы и учебный план отделения теоретической и прикладной лингвистики, место издания Филологический факультет МГУ Москва, с. 125-128
  • • 1995 Конструктивные семантики, основанные на гёделевской интерпретации арифметических суждений
    • Плиско В.Е.
    • в сборнике Актуальные проблемы современной математики, место издания НИИ МИОО НГУ Новосибирск, том 1, с. 114-120
  • • 1994 Диагностические пропозициональные формулы
    • Успенский В.А., Плиско В.Е.
    • в сборнике Фундаментальные проблемы математики и механики. Математика, место издания Издательство МГУ г. Москва, с. 283-285
  • • 1992 Формализация теоремы Тенненбаума и ее применения
    • Плиско В.Е.
    • в сборнике Рукопись депонирована в ВИНИТИ 04.06.92, № 1853-В92, место издания Москва, с. 1-52
  • • 1991 Intuitionistic logic
    • Uspenskii V.A., Plisko V.E.
    • в сборнике Selected Works of A.N. Kolmogorov: Mathematics and Mechanics. V.M. Tikhomirov (Editor), место издания Kluwer Academic Pub Dordrecht, Netherlands ; Boston ; London, Netherlands, с. 452-465
  • • 1986 The problem of semantic construction of constructive logic
    • Plisko V.E.
    • в сборнике Algebra, Combinatorics and Logic in Computer Science , vol. II, серия Colloquia Mathematica Societatis Janos Bolyai, место издания North-Holland Amsterdam, Netherlands, том 42, с. 661-666
  • • 1985 Интуиционистская логика
    • Успенский В.А., Плиско В.Е.
    • в сборнике А.Н. Колмогоров. Избранные труды. Математика и механика, издательство Академиздатцентр "Наука" (Москва), с. 394-404
  • • 1985 Теорема
    • Плиско В.Е.
    • в сборнике Математическая энциклопедия, место издания Советская энциклопедия Москва, том 5, с. 334-335
  • • 1983 Системные идеи в математике
    • Канторович Л.В., Плиско В.Е.
    • в сборнике Философско-методологические основания системных исследований, место издания Наука Москва, с. 56-82
  • • 1983 Системный подход в методологии математики
    • Канторович Л.В., Плиско В.Е.
    • в сборнике Системные исследования. Методологические проблемы. Ежегодник 1983, место издания М.: Наука, с. 27-41
  • • 1974 A certain formal system that is connected with realizability
    • Plisko V.E.
    • в сборнике Teoriya Algorifmov i Matematicheskaya Logika, место издания Vychislitelnyi Centr AN SSSR Москва, с. 148-158
  • • 1974 Об одной формальной системе, связанной с реализуемостью
    • Плиско В.Е.
    • в сборнике Теория алгорифмов и математическая логика, место издания ВЦ АН СССР Москва, с. 148-158

• Книги

  • • 2013 Математическая логика и теория алгоритмов
    • Крупский В.Н., Плиско В.Е.
    • место издания Издательский центр "Академия" Москва, ISBN 978-5-7695-9559-2, 416 с.
  • • 2009 Интуиционистская логика
    • Плиско В.Е., Хаханян В.Х.
    • место издания Мехмат МГУ Москва, 159 с.
  • • 2009 Теория алгоритмов
    • Крупский В.Н., Плиско В.Е.
    • место издания Академия Москва, ISBN 978-5-7695-5293-9, 208 с.
  • • 2004 Вводный курс математической логики
    • Успенский В.А., Верещагин Н.К., Плиско В.Е.
    • место издания Наука Москва, 136 с.
  • • 2002 Вводный курс математической логики
    • Успенский В.А., Верещагин Н.К., Плиско В.Е.
    • место издания Физматлит Москва, ISBN 5-9221-0278-8, 128 с.

• Доклады на конференциях

  • • 2017 Realizability semantics for the predicate formulas based on generalized computability (Устный)
    • Авторы: Konovalov A.Yu, Plisko V.E.
    • Десятые Смирновские чтения по логике. Международная научная конференция. 15-17 июня 2017 года, Философский факультет, МГУ имени М. В. Ломоносова, Россия, 15-17 июня 2017
  • • 2017 О конструктивной теории перечислимых видов. (Устный)
    • Автор: Плиско В.Е.
    • Ломоносовские чтения - 2017, МГУ имени М.В. Ломоносова, Россия, 17-26 апреля 2017
  • • 2016 On a constructive theory of enumerable species (Стендовый)
    • Автор: Valerii Plisko
    • VII International Joint Conference of the Georgian Mathematical Union & Georgian Mechanical Union: Continuum Mechanics and Related Problems of Analysis, Batumi (Georgia), September 5-9, 2016, Батуми, Грузия, 5 сентября - 9 октября 2016
  • • 2015 Интуиционистское исчисление высказываний с эквиваленцией и конъюнкцией (Устный)
    • Автор: Плиско В.Е.
    • Девятые Смирновские чтения по логике. Международная научная конференция. 17-19 июня 2015 года, Москва, Россия, 17-19 июня 2015
  • • 2014 Интерпретации типа реализуемости для базисной логики (Устный)
    • Авторы: Коновалов А.Ю., Плиско В.Е.
    • Конструктивная теория доказательств. Международная конференция, посвященная памяти А.Г.Драгалина, Москва, Россия, 20 февраля 2014
  • • 2006 О примитивно рекурсивной реализуемости (Устный)
    • Автор: Плиско Валерий Егорович
    • Ломоносовские чтения - 2006. Секция математики, МГУ им. М.В. Ломоносова, Механико-математический факультет, Россия, 17-26 апреля 2006
  • • 2003 Primitive recursive realizability and the predicate logic (Стендовый)
    • Авторы: Plisko V., Viter D., Park B.H.
    • 12th International Congress of Logic, Methodology and Philosophy of Science (Oviedo, Spain), Овьедо, Испания, 7-13 августа 2003
  • • 2003 Diagnostic formulas for intuitionistic and minimal propositional calculi (Устный)
    • Авторы: Patlasov M.V., Plisko V.E.
    • International Conference "Kolmogorov and Contemporary Mathematics, Moscow, 2003, June 16-21, Moscow, Россия, 16-21 июня 2003
  • • 2000 A predicate logic based on the Goedel interpretation and the system of hereditary effective operations (Устный)
    • Автор: Plisko V.E.
    • LC 2000 and ELSS 2000, Париж, Франция, 23-31 июля 2000
  • • 2000 Equality from the constructive point of view (Устный)
    • Авторы: Plisko V.E., Viter D.A.
    • LC 2000 and ELSS 2000, Париж, Франция, 23-31 июля 2000
  • • 1999 Arithmetic complexity of the predicate logics of complete arithmetic theories (Устный)
    • Автор: Plisko V.E.
    • 11th International Congress of Logic, Methodology and Philosophy of Science, Краков, Польша, 23-28 августа 1999
  • • 1999 $\Sigma_n$-realizability and its predicate logic (Устный)
    • Автор: Plisko V.E.
    • First St. Petersburg Days of Logic and Computability, Санкт-Петербург, Россия, 26-29 мая 1999
  • • 1995 A formalization of the Tennenbaum theorem and its applications to modified realizability and Goedel interpretation (Устный)
    • Автор: Plisko V.E.
    • 10th International Congress of Logic, Methodology and Philosophy of Science, Флоренция, Италия, 19-25 августа 1995

• Тезисы докладов

  • • 2017 Realizability semantics for the predicate formulas based on generalized computability
    • Konovalov A.Yu, Plisko V.E.
    • в сборнике Десятые Смирновские чтения по логике. Материалы Международной научной конференции. 15-17 июня 2017 года, серия Смирновские чтения по логике, издательство МГУ (Москва), тезисы, с. 26-27
    • редакторы Герасимова Ирина Алексеевна, Григорьев Олег Михайлович, Зайцев Дмитрий Владимирович, Ивлев Юрий Васильевич, Маркин Владимир Ильич, Шалак Владимир Иванович
  • • 2016 On a constructive theory of enumerable species
    • Valerii Plisko
    • в сборнике VII International Joint Conference of Georgian Mathematical Union & Georgian Mechanical Union: Continuum Mechanics and Related Problems of Analysis. Book of abstracts, место издания Batumi, тезисы, с. 207-208
  • • 2015 Интуиционистское исчисление высказываний с эквиваленцией и конъюнкцией
    • Плиско В.Е.
    • в сборнике Девятые Смирновские чтения по логике. Материалы международной научной конференции. 17-19 июня 2015 года, серия Смирновские чтения по логике, издательство МГУ (Москва), тезисы, с. 28-30
    • редакторы Григорьев Олег Михайлович, Зайцев Дмитрий Владимирович, Карпенко Александр Степанович, Маркин Владимир Ильич
  • • 2003 Diagnostic formulas for intuitionistic and minimal propositional calculi
    • Patlasov M.V., Plisko V.E.
    • в сборнике Proc. Internat. Conf. "Kolmogorov and Contemporary Mathematics" in commemoration of the Centenary Anniversary of A.N.Kolmogorov. Moscow. 16-21 June 2003, место издания Москва, тезисы, с. 691-692
  • • 2003 Primitive recursive realizability and the predicate logic
    • Plisko V., Viter D., Park B.H.
    • в сборнике 12 th International Congress of Logic, Methodology and Philosophy of Science, место издания Oviedo, тезисы, с. 67-68
  • • 2000 A predicate logic based on the Goedel interpretation and the system of hereditary effective operations
    • Plisko V.E.
    • в сборнике Abstracts of Contributed Papers LC 2000 and ELSS 2000, Paris, La Sorbonne, место издания Paris, тезисы, с. 32-32
  • • 2000 Equality from the constructive point of view
    • Plisko V.E., Viter D.A.
    • в сборнике Abstracts of Contributed Papers LC 2000 and ELSS 2000, Paris, La Sorbonne, место издания Paris, тезисы, с. 33-33
  • • 1999 $\Sigma_n$-realizability and its predicate logic
    • Plisko V.E.
    • в сборнике First St Petersburg Days of Logic and Computability. Abstracts, место издания St Petersburg, тезисы, с. 33-34
  • • 1999 Arithmetic complexity of the predicate logics of complete arithmetic theories
    • Plisko V.E.
    • в сборнике 11th International Congress of Logic, Methodology and Philosophy of Science. Volume of Abstracts, место издания Cracow, Poland, тезисы, с. 89
  • • 1996 Predicate logic of modified realizability
    • Plisko V.E.
    • в сборнике Fundamental Problems in Mathematics and Mechanics, место издания "Universities of Russia" Publishing House Moscow, тезисы, с. 38-39
  • • 1995 A formalization of the Tennenbaum theorem and its applications to modified realizability and Goedel interpretation
    • Plisko V.E.
    • в сборнике 10th International Congress of Logic, Methodology and Philosophy of Science. Volume of Abstracts, место издания Florence, Italy, тезисы, с. 57-57
  • • 1974 Об интерпретациях предикатных формул, связанных с конструктивной логикой
    • Плиско В.Е.
    • в сборнике Третья Всесоюзная конференция по математической логике. Тезисы докладов, серия Всесоюзная конференция по математической логике, место издания Новосибирск, тезисы, с. 170-172

• НИРы

  • • 1 января 2016 - 31 декабря 2020 Алгоритмические и семантические вопросы математической логики. 2016-2020
    • Кафедра математической логики и теории алгоритмов
  • • 1 января 2014 - 31 декабря 2016 Модальные и лингвистические аспекты математической логики
    • Кафедра математической логики и теории алгоритмов
    • Руководитель: Успенский В.А. Участники НИР: Золин Е.Е., Коновалов А.Ю., Крупский В.Н., Кузнецов С.Л., Пентус М.Р., Плиско В.Е., Чистякова Р.А., Шехтман В.Б., Яворская Т.Л.
  • • 1 января 2011 - 31 декабря 2015 Алгоритмические и семантические вопросы математической логики
    • Кафедра математической логики и теории алгоритмов
    • Руководитель: Успенский В.А. Участники НИР: Беклемишев Л.Д., Верещагин Н.К., Золин Е.Е., Кузнецов С.Л., Плиско В.Е., Сорокин А.А., Шехтман В.Б.
  • • 1 января 2011 - 31 декабря 2013 Математические проблемы логической семантики неклассических дедуктивных систем
    • Кафедра математической логики и теории алгоритмов
    • Руководитель: Успенский В.А. Участники НИР: Золин Е.Е., Крупский В.Н., Кузнецов С.Л., Пентус М.Р., Плиско В.Е., Чистякова Р.А., Шамканов Д.С., Шехтман В.Б., Яворская Т.Л.

• Участие в редколлегии журналов

  • • с 1 января 1995 Фундаментальная и прикладная математика
    • издательство Интуит (М.)

• Руководство диссертациями

  • • 2018 Конструктивные семантики логических языков, основанные на обобщенной вычислимости
    • Кандидатская диссертация по специальности 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
    • Автор: Коновалов Александр Юрьевич, к.ф.-м.н., МГУ имени М.В. Ломоносова
    • Научный руководитель: Плиско Валерий Егорович, к.ф.-м.н., доц., МГУ имени М.В. Ломоносова
    • Защищена в совете МГУ.01.17 МГУ имени М.В. Ломоносова, Механико-математический факультет
    • Организация, в которой выполнялась работа: МГУ имени М.В. Ломоносова
    • Оппоненты: Кановей Владимир Григорьевич, Чернов Алексей Вячеславович, Одинцов Сергей Павлович
    • Объявление о защите
  • • 2003 Субрекурсивная реализуемость и логика предикатов
    • Кандидатская диссертация по специальности 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
    • Автор: Пак Бён Ха
    • Научный руководитель: Плиско Валерий Егорович, к.ф.-м.н., доц., МГУ имени М.В. Ломоносова
    • Защищена в совете Д 501.001.84 при МГУ имени М.В. Ломоносова, Механико-математический факультет
    • Организация, в которой выполнялась работа: Московский государственный университет им. М.В.Ломоносова
    • Ведущая организация: Московский государственный университет путей сообщения
    • Оппоненты: Хомич Валентин Иванович, Витер Дмитрий Александрович
  • • 2002 Примитивно рекурсивная реализуемость и конструктивная теория моделей
    • Кандидатская диссертация по специальности 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
    • Автор: Витер Дмитрий Александрович
    • Научный руководитель: Плиско Валерий Егорович, к.ф.-м.н., доц., МГУ имени М.В. Ломоносова
    • Защищена в совете Д 501.001.84 при МГУ имени М.В. Ломоносова, Механико-математический факультет
    • Организация, в которой выполнялась работа: Московский государственный университет им. М.В.Ломоносова
    • Ведущая организация: Вычислительный центр им. А.А.Дородницына РАН
    • Оппоненты: Чагров Александр Васильевич, Хаханян Валерий Христофорович

• Руководство дипломными работами

  • • 2013 Арифметическая реализуемость и базисная логика
    • Научный руководитель: Плиско Валерий Егорович
    • Автор: Коновалов Александр Юрьевич (Специалист)
  • • 2011 Формулы от одной переменной в исчислении Колмогорова
    • Научный руководитель: Плиско Валерий Егорович
    • Автор: Салманов Илья Анатольевич (Специалист)
  • • 2008 Базисное исчисление высказываний и диагностические формулы
    • Научный руководитель: Плиско Валерий Егорович
    • Автор: Захаров Петр Игоревич (Специалист)
  • • 2004 Классическая интерпретация интуиционистской теории типов
    • Научный руководитель: Плиско Валерий Егорович
    • Автор: Баров Станислав Владимирович (Специалист)
  • • 2000 Неразрешимость некоторых конструктивных теорий
    • Научный руководитель: Плиско Валерий Егорович
    • Автор: Дейнека Алексей Павлович (Специалист)
  • • 2000 Арифметика Пресбургера с конструктивной семантикой
    • Научный руководитель: Плиско Валерий Егорович
    • Автор: Горюнова Анна Евгеньевна (Специалист)
  • • 1997 Классическая и конструктивная теории равенства с точки зрения обобщенных моделей
    • Научный руководитель: Плиско Валерий Егорович
    • Автор: Витер Дмитрий Александрович (Специалист)

• Авторство учебных курсов

  • • 2013 Логика
    • Автор: Плиско В.Е.
  • • 2009 Конструктивность в математике и логике
    • Автор: Плиско В.Е.
  • • 2009 Конструктивная логика
    • Автор: Плиско В.Е.
  • • 2009 Вычислимость и неклассические логики
    • Авторы: Плиско В.Е., Крупский В.Н., Ногина Е.Ю., Коновалов А.Ю.
  • • 2009 Введение в математическую логику
    • Автор: Плиско В.Е.

• Преподавание учебных курсов

  • • 30 сентября 2018 - 13 октября 2018 Логика
    • МГУ имени М.В. Ломоносова, Филиал МГУ в г. Баку
    • в Филиал МГУ в Баку (государственная организация, университет, Азербайджан)
    • обязательная, базовой части, лекции, 36 часов
  • • 1 сентября 2018 - 20 декабря 2018 Введение в математическую логику и теорию алгоритмов
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, базовой части, семинары, 72 часов
  • • 1 сентября 2018 - 20 декабря 2018 Конструктивность в математике и логике
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, по выбору (спецкурс), лекции, 36 часов
  • • 1 сентября 2018 - 20 декабря 2018 Вычислимость и неклассические логики
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • факультативная, семинары, 36 часов
  • • 7 февраля 2018 - 25 мая 2018 Конструктивная логика
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), лекции, 34 часов
  • • 7 февраля 2018 - 25 мая 2018 Введение в математическую логику
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, базовой части, семинары, 34 часов
  • • 7 февраля 2018 - 25 мая 2018 Введение в математическую логику
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, базовой части, лекции, 34 часов
  • • 1 октября 2017 - 15 октября 2017 Логика
    • МГУ имени М.В. Ломоносова, Филиал МГУ в г. Баку
    • в Филиал МГУ в Баку (государственная организация, университет, Азербайджан)
    • обязательная, базовой части, лекции, 36 часов
  • • 1 сентября 2017 - 31 мая 2018 Вычислимость и неклассические логики
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), семинары, 70 часов
  • • 1 сентября 2017 - 20 декабря 2017 Введение в математическую логику и теорию алгоритмов
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, базовой части, семинары, 72 часов
  • • 1 сентября 2017 - 19 декабря 2017 Конструктивность в математике и логике
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), лекции, 36 часов
  • • 7 февраля 2017 - 25 мая 2017 Введение в математическую логику
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, базовой части, семинары, 34 часов
  • • 7 февраля 2017 - 25 мая 2017 Конструктивная логика
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), лекции, 34 часов
  • • 7 февраля 2017 - 25 мая 2017 Введение в математическую логику
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, базовой части, лекции, 34 часов
  • • 17 октября 2016 - 29 октября 2016 Логика
    • МГУ имени М.В. Ломоносова, Филиал МГУ в г. Баку
    • в Филиал МГУ в Баку (государственная организация, университет, Азербайджан)
    • обязательная, базовой части, лекции, 36 часов
  • • 1 сентября 2016 - 31 мая 2017 Вычислимость и неклассические логики
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), семинары, 70 часов
  • • 1 сентября 2016 - 20 декабря 2016 Введение в математическую логику и теорию алгоритмов
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, базовой части, семинары, 72 часов
  • • 1 сентября 2016 - 19 декабря 2016 Конструктивность в математике и логике
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), лекции, 32 часов
  • • 8 февраля 2016 - 20 мая 2016 Введение в математическую логику
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, базовой части, семинары, 32 часов
  • • 8 февраля 2016 - 20 мая 2016 Введение в математическую логику
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, базовой части, лекции, 32 часов
  • • 8 февраля 2016 - 19 мая 2016 Конструктивная логика
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), лекции, 32 часов
  • • 26 октября 2015 - 4 ноября 2015 Логика
    • МГУ имени М.В. Ломоносова, Филиал МГУ в г. Баку
    • в Филиал МГУ в Баку (государственная организация, университет, Азербайджан)
    • обязательная, базовой части, лекции, 36 часов
  • • 1 сентября 2015 - 31 мая 2016 Вычислимость и неклассические логики
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), семинары, 68 часов
  • • 1 сентября 2015 - 19 декабря 2015 Введение в математическую логику и теорию алгоритмов
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, базовой части, семинары, 72 часов
  • • 1 сентября 2015 - 19 декабря 2015 Конструктивность в математике и логике
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), лекции, 32 часов
  • • 7 февраля 2015 - 19 мая 2015 Конструктивная логика
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), лекции, 32 часов
  • • 7 февраля 2015 - 19 мая 2015 Введение в математическую логику
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, базовой части, семинары, 32 часов
  • • 7 февраля 2015 - 19 мая 2015 Введение в математическую логику
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, базовой части, лекции, 32 часов
  • • 27 октября 2014 - 5 ноября 2014 Логика
    • МГУ имени М.В. Ломоносова, Филиал МГУ в г. Баку
    • в Филиал МГУ в Баку (государственная организация, университет, Азербайджан)
    • обязательная, базовой части, семинары, 18 часов
  • • 27 октября 2014 - 5 ноября 2014 Логика
    • МГУ имени М.В. Ломоносова, Филиал МГУ в г. Баку
    • в Филиал МГУ в Баку (государственная организация, университет, Азербайджан)
    • обязательная, базовой части, лекции, 18 часов
  • • 1 сентября 2014 - 31 мая 2015 Вычислимость и неклассические логики
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), семинары, 68 часов
  • • 1 сентября 2014 - 19 декабря 2014 Конструктивность в математике и логике
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), лекции, 32 часов
  • • 1 сентября 2014 - 19 декабря 2014 Введение в математическую логику и теорию алгоритмов
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, базовой части, семинары, 72 часов
  • • 7 февраля 2014 - 19 мая 2014 Введение в математическую логику
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, базовой части, лекции, 32 часов
  • • 7 февраля 2014 - 19 мая 2014 Конструктивная логика
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), лекции, 32 часов
  • • 7 февраля 2014 - 19 мая 2014 Введение в математическую логику
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, базовой части, семинары, 32 часов
  • • 28 октября 2013 - 6 ноября 2013 Логика
    • МГУ имени М.В. Ломоносова, Филиал МГУ в г. Баку
    • в Филиал МГУ в Баку (государственная организация, университет, Азербайджан)
    • обязательная, базовой части, семинары, 18 часов
  • • 28 октября 2013 - 6 ноября 2013 Логика
    • МГУ имени М.В. Ломоносова, Филиал МГУ в г. Баку
    • в Филиал МГУ в Баку (государственная организация, университет, Азербайджан)
    • обязательная, базовой части, лекции, 18 часов
  • • 1 сентября 2013 - 31 мая 2014 Вычислимость и неклассические логики
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), семинары, 68 часов
  • • 1 сентября 2013 - 19 декабря 2013 Введение в математическую логику и теорию алгоритмов
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, базовой части, семинары, 72 часов
  • • 7 февраля 2013 - 19 мая 2013 Введение в математическую логику
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, базовой части, лекции, 34 часов
  • • 7 февраля 2013 - 19 мая 2013 Введение в математическую логику
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, базовой части, семинары, 34 часов
  • • 1 сентября 2012 - 31 мая 2013 Вычислимость и неклассические логики
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), семинары, 68 часов
  • • 1 сентября 2012 - 19 декабря 2012 Введение в математическую логику и теорию алгоритмов
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, базовой части, семинары, 72 часов
  • • 7 февраля 2012 - 19 мая 2012 Введение в математическую логику
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, базовой части, лекции, 34 часов
  • • 1 сентября 2011 - 31 мая 2012 Вычислимость и неклассические логики
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), семинары, 68 часов