ИСТИНА

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

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

МГУ имени М.В. Ломоносова, Школа-интернат имени А.Н.Колмогорова (СУНЦ МГУ), Кафедра математики (СУНЦ), научный сотрудник, с 1 сентября 2020, по совместительству

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

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

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

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

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

IstinaResearcherID (IRID): 2569465

Деятельность

---

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

  • 
    • 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, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 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, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 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, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 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, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 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 с.

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

  • • 2019 A remark on the Friedman translation (Устный)
    • Автор: Плиско В.Е.
    • Одиннадцатые Смирновские чтения по логике. Международная научная конференция. 19-21 июня 2019 года, Философский факультет, МГУ имени М. В. Ломоносова, Россия, 19-21 июня 2019
  • • 2019 О некоторых конструктивных аспектах математической логики (Устный)
    • Авторы: Коновалов А.Ю., Плиско В.Е., Боков Г.В.
    • «Ломоносовские чтения - 2019». Секция «Математика», Москва, МГУ, Россия, 15-25 апреля 2019
  • • 2017 Realizability semantics for the predicate formulas based on generalized computability (Устный)
    • Авторы: Plisko V.E., Konovalov A.Yu
    • Десятые Смирновские чтения по логике. Международная научная конференция. 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 (Устный)
    • Авторы: Plisko V.E., Patlasov M.V.
    • 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

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

  • • 2019 A remark on the Friedman translation
    • Plisko V.E.
    • в сборнике Одиннадцатые Смирновские чтения по логике. Материалы Международной научной конференции. 19-21 июня 2019 года, серия Смирновские чтения по логике, место издания Современные тетради, Москва, тезисы, с. 37-39
  • • 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 января 2021 - 31 декабря 2025 Алгоритмические и семантические вопросы математической логики. 2021-2025
    • Кафедра математической логики и теории алгоритмов
    • Руководитель: Семёнов А.Л. Ответственные исполнители: Золин Е.Е., Пентус М.Р. Участники НИР: Беклемишев Л.Д., Белов А.Я., Верещагин Н.К., Крупский В.Н., Кузнецов С.Л., Любецкий В.А., Плиско В.Е., Сорокин А.А., Шехтман В.Б., Яворская Т.Л.
  • • 1 января 2020 - 31 декабря 2022 Неклассические семантики и исчисления
    • Кафедра математической логики и теории алгоритмов
    • Руководитель: Пентус М.Р. Ответственные исполнители: Золин Е.Е., Плиско В.Е. Участники НИР: Боков Г.В., Гершгорин Р.А., Коновалов А.Ю., Крупский В.Н., Пшеницын Т.Г.
  • • 1 января 2016 - 31 декабря 2020 Алгоритмические и семантические вопросы математической логики. 2016-2020
    • Кафедра математической логики и теории алгоритмов
    • Руководители: Семёнов А.Л., Успенский В.А. Ответственные исполнители: Золин Е.Е., Пентус М.Р. Участники НИР: Адян С.И., Беклемишев Л.Д., Верещагин Н.К., Крупский В.Н., Кузнецов С.Л., Любецкий В.А., Плиско В.Е., Семёнов А.Л., Сорокин А.А., Шехтман В.Б., Яворская Т.Л.
  • • 1 января 2014 - 31 декабря 2022 Разработка системы развития одаренных в области естественных и математических наук старшеклассников
    • Школа-интернат имени А.Н.Колмогорова (СУНЦ МГУ)
    • Руководители: Вавилов В.В., Ильютко Д.П. Ответственные исполнители: Курышова Ю.В., Селиванова И.Ю., Шивринская Е.В. Участники НИР: Авилов К.К., Виноградов О.П., Воронин А.К., Гареев Т.Т., Гашков С.Б., Гвоздкова И.А., Горпынченко К.Д., Гусев А.С., Дубровский В.Н., Ильютко Д.П., Котельников Е.А., Курышова Ю.В., Левин А.А., Лобышев В.И., Могилевский Е.И., Морозов Н.В., Мухачев А., Нараленкова И.И., Натяганов В.Л., Некрасов В.А., Огородников Н.М., Оноприенко А.А., Ошемков А.А., Перадзе А.З., Пивнев Н.С., Плиско В.Е., Пономарев А.А., Попов Л.А., Пухов Д.Н., Савелов М.П., Свиридова Г.Ф., Селиванова И.Ю., Сергеев И.Н., Тароян Г.В., Тимохин Е.В., Тумайкин И.Н., Фалина И.Н., Шавгулидзе Н.Е., Шивринская Е.В., Янгирова А.В.
  • • 1 января 2014 - 31 декабря 2016 Модальные и лингвистические аспекты математической логики
    • Кафедра математической логики и теории алгоритмов
    • Руководитель: Успенский В.А. Участники НИР: Золин Е.Е., Коновалов А.Ю., Крупский В.Н., Кузнецов С.Л., Пентус М.Р., Плиско В.Е., Чистякова Р.А., Шехтман В.Б., Яворская Т.Л.
  • • 1 января 2011 - 31 декабря 2015 Алгоритмические и семантические вопросы математической логики
    • Кафедра математической логики и теории алгоритмов
    • Руководитель: Успенский В.А. Участники НИР: Беклемишев Л.Д., Верещагин Н.К., Золин Е.Е., Кузнецов С.Л., Плиско В.Е., Сорокин А.А., Шехтман В.Б.
  • • 1 января 2011 - 31 декабря 2013 Математические проблемы логической семантики неклассических дедуктивных систем
    • Кафедра математической логики и теории алгоритмов
    • Руководитель: Успенский В.А. Участники НИР: Золин Е.Е., Крупский В.Н., Кузнецов С.Л., Пентус М.Р., Плиско В.Е., Чистякова Р.А., Шамканов Д.С., Шехтман В.Б., Яворская Т.Л.

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

  • • с 1 января 1995 Фундаментальная и прикладная математика
    • издательство Интуит (М.)
    • http://mech.math.msu.su/~fpm/eng/efpmosn.htm

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

  • • 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 Классическая и конструктивная теории равенства с точки зрения обобщенных моделей
    • Научный руководитель: Плиско Валерий Егорович
    • Автор: Витер Дмитрий Александрович (Специалист)

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

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

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

  • • 1 октября 2020 - 30 ноября 2020 Логика
    • МГУ имени М.В. Ломоносова, Филиал МГУ в г. Баку
    • в Филиал МГУ в Баку (государственная организация, университет, Азербайджан)
    • обязательная, базовой части, лекции, 36 часов
  • • 7 сентября 2020 - 19 декабря 2020 Конструктивность в логике и математике
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), лекции, 36 часов
  • • 7 сентября 2020 - 14 декабря 2020 Вычислимость и неклассические логики
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, вариативной части, семинары, 36 часов
  • • 1 сентября 2020 - 20 декабря 2020 Введение в математическую логику и теорию алгоритмов
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, базовой части, семинары, 72 часов
  • • 8 февраля 2020 - 21 мая 2020 Конструктивная логика
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), лекции, 36 часов
  • • 15 сентября 2019 - 29 сентября 2019 Логика
    • МГУ имени М.В. Ломоносова, Филиал МГУ в г. Баку
    • в Филиал МГУ в Баку (государственная организация, университет, Азербайджан)
    • обязательная, базовой части, лекции, 36 часов
  • • 2 сентября 2019 - 19 декабря 2019 Конструктивность в математике и логике
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), лекции, 36 часов
  • • 1 сентября 2019 - 31 мая 2020 Вычислимость и неклассические логики
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), семинары, 70 часов
  • • 1 сентября 2019 - 20 декабря 2019 Введение в математическую логику и теорию алгоритмов
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, базовой части, семинары, 72 часов
  • • 7 февраля 2019 - 25 мая 2019 Введение в математическую логику
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, базовой части, лекции, 34 часов
  • • 7 февраля 2019 - 25 мая 2019 Конструктивная логика
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), лекции, 34 часов
  • • 7 февраля 2019 - 25 мая 2019 Введение в математическую логику
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, базовой части, семинары, 34 часов
  • • 30 сентября 2018 - 13 октября 2018 Логика
    • МГУ имени М.В. Ломоносова, Филиал МГУ в г. Баку
    • в Филиал МГУ в Баку (государственная организация, университет, Азербайджан)
    • обязательная, базовой части, лекции, 36 часов
  • • 1 сентября 2018 - 31 мая 2019 Вычислимость и неклассические логики
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), семинары, 70 часов
  • • 1 сентября 2018 - 20 декабря 2018 Конструктивность в математике и логике
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, по выбору (спецкурс), лекции, 36 часов
  • • 1 сентября 2018 - 20 декабря 2018 Введение в математическую логику и теорию алгоритмов
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, базовой части, семинары, 72 часов
  • • 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 Конструктивность в математике и логике
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), лекции, 32 часов
  • • 1 сентября 2015 - 19 декабря 2015 Введение в математическую логику и теорию алгоритмов
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, базовой части, семинары, 72 часов
  • • 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 часов

---