Кафедра математической логики и теории алгоритмов

Плиско Валерий Егорович

Доцент кафедры, к. ф.-м. н.
E-mail адресveplisko at yandex.ru
Научные интересыКонструктивная логика.

h1 { font-size: 2rem; }
.sparse li { margin-top: 10px; }


Профили: MathNet | ИСТИНА | DBLP | Math Genealogy | eLibrary | YouTube


Преподавание

 

Механико-математический факультет
  • Введение в математическую логику (лекции и семинары, вечернее отделение, 2 курс, весенний семестр) понедельник 18:30– 21:50, дистанционно (Zoom), начало 7 февраля
  • Спецкурс «Интуиционистская логика» (полугодовой, осенний семестр)
    вторник 16:45–18:20, дистанционно (Zoom), начало 21 сентября.
  • Спецкурс «Конструктивная логика» (полугодовой, весенний семестр) вторник 16:45–18:20, дистанционно (Zoom), начало 15 февраля.
  • Спецсеминар Вычислимость и неклассические логики (совместно с В.Н.Крупским и А.Ю.Коноваловым)                                                                                                                            понедельник 16:45–18:20, дистанционно (Zoom), начало 14 февраля.

Плиско Валерий Егорович

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

Доцент кафедры математической логики и теории алгоритмов Механико-математического факультета
Московского государственного университета имени М.В.Ломоносова.

Краткая биография

  • Родился 1 августа 1947 года в деревне Горяне Лепельского района Витебской области БССР.
  • 1963-1965 Учился в школе-интернате № 18 физико-математического профиля при МГУ им. М.В.Ломоносова.
  • 1965-1970 Студент Механико-математического факультета МГУ им. М.В.Ломоносова.
  • 1970-1973 Аспирант Механико-математического факультета МГУ им. М.В.Ломоносова.
  • 1973-1978 Работал во Всесоюзном аэрофотолесоустроительном объединении «Леспроект».
  • 1978-1986 Работал во Всесоюзном научно-исследовательском институте системных исследований (ВНИИСИ).
  • С 1986 года работаю на кафедре математической логики и теории алгоритмов Механико-математического факультета Московского государственного университета имени М.В.Ломоносова.

Основные публикации

Работы по математической логике

Книги

  1. Вводный курс математической логики. М: МГУ, 1991. 136 с. (совместно с В.А.Успенским и Н.К.Верещагиным)
  2. Вводный курс математической логики. 2-е издание. М: ФИЗМАТЛИТ, 2002. 128 с. (совместно с В.А.Успенским и Н.К.Верещагиным)
  3. Теория алгоритмов. М.: Академия, 2009. 208 c. (совместно с В.Н.Крупским).
  4. Интуиционистская логика. М.:Изд-во при мехмате МГУ, 2009, 160 стр. (совместно с В.Х. Хаханяном)
  5. Математическая логика и теория алгоритмов. М.: Академия, 2013. 416 c. (совместно с В.Н.Крупским).
  6. Лекции по конструктивной логике. М.: Луч, 2021. 247 с.

Рукописи и статьи в журналах и сборниках

  1. Рекурсивная реализуемость и конструктивная логика предикатов. Диссертация на соискание ученой степени кандидата физико-математических наук. М.: МГУ, 1973. 86 с.
  2. Рекурсивная реализуемость и конструктивная логика предикатов. Автореферат диссертации на соискание ученой степени кандидата физико-математических наук. М.: МГУ, 1973. 10 с.
  3. О реализуемых предикатных формулах. Доклады Академии наук СССР, 1973, 212, N 3, 553-556.
  4. Рекурсивная реализуемость и конструктивная логика предикатов. Доклады Академии наук СССР, 1974, 214, № 3, 520-523.
  5. Об одной формальной системе, связанной с реализуемостью. В книге: Теория алгорифмов и математическая логика: сборник статей. М.: ВЦ АН СССР, 1974, 148-158.
  6. Некоторые варианты понятия реализуемости для предикатных формул. Доклады Академии наук СССР, 1976, 226, № 1, 61-64.
  7. Неарифметичность класса реализуемых предикатных формул. Известия Академии наук СССР. Серия математическая, 1977, 41, № 3, 483-502.
  8. Некоторые варианты понятия реализуемости для предикатных формул. Известия Академии наук СССР. Серия математическая, 1978, 42, № 3, 636-653.
  9. Абсолютная реализуемость предикатных формул. Известия Академии наук СССР. Серия математическая, 1983, 47, № 2, 315-334.
  10. Интуиционистская логика. В книге: А.Н.Колмогоров. Избранные труды. Математика и механика. М.: Наука, 1985, 394-404 (совместно с В.А.Успенским).
  11. The problems of semantic construction of constructive logic. In: Algebra, Combinatorics and Logic in Computer Science, vol. II. North-Holland, Amsterdam et al. (Colloquia Mathematica Societatis Janos Bolyai, 42), 1986, p. 661-666.
  12. О языках с конструктивными логическими связками. Доклады Академии наук СССР, 1987, 296, № 3, 35-38.
  13. Исчисление А.Н.Колмогорова как фрагмент минимального исчисления. Успехи математических наук, 1988, 43, № 6, 79-91.
  14. Конструктивная формализация теоремы Тенненбаума и ее применения. Математические заметки, 1990, 48, № 3, 108-118.
  15. Диагностические пропозициональные формулы. Вестник Московского университета. Серия 1. Математика. Механика. 1991, № 3, 7-12 (совместно с В.А.Успенским).
  16. О соотношении некоторых понятий конструктивной теории моделей. Вестник Московского университета. Серия 1. Математика. Механика. 1991, № 4, 38-41.
  17. О понятии относительно равномерной реализуемости пропозициональных логик. Вестник Московского университета. Серия 1. Математика. Механика. 1992, № 2, 77-79.
  18. Об арифметической сложности некоторых конструктивных логик. Математические заметки, 1992, 52, № 1, 94-104.
  19. Формализация теоремы Тенненбаума и ее применения. Рукопись депонирована в ВИНИТИ 04.06.92, № 1853-B92. М., 1992. 52 с.
  20. О логиках, имеющих диагностические формулы относительно минимального исчисления. Вестник Московского университета. Серия 1. Математика. Механика. 1993, № 6, 18-22.
  21. Диагностические пропозициональные формулы. В книге: Фундаментальные проблемы математики и механики. Математика. М.: МГУ, 1994, 283-285 (совместно с В.А.Успенским).
  22. Конструктивные семантики, основанные на гёделевской интерпретации арифметических суждений. В книге: Актуальные проблемы современной математики. Том 1. Новосибирск: НИИ МИОО НГУ, 1995, с. 114-120.
  23. Raymond M. Smullyan. Goedel’s incompleteness theorems. Journal of Symbolic Logic, 1995, 60, № 4, 1320-1324 (совместно с В.А.Успенским).
  24. Predicate logic of modified realizability. In: Fundamental Problems in Mathematics and Mechanics. Moscow: Universities of Russia, 1996, p. 38-39.
  25. Модифицированная реализуемость и логика предикатов. Математические заметки, 1997, 61, № 2, 259-269.
  26. Two semantics and logics based on the Goedel interpretation. In: Computational Logic and Proof Theory. Proc. 5th Kurt Goedel Colloquium, KGC’97, Vienna, Austria, August 1997 (Lecture Notes in Computer Science, 1289), 233-240.
  27. Об арифметической сложности предикатных логик полных конструктивных арифметических теорий. Фундаментальная и прикладная математика, 1999, 5, № 1, 221-255.
  28. The elements of the constructive model theory. Reports of Enlarged Sessions of the Seminar of I.Vekua Institute of Applied Mathematics, 1999, 14, № 4, 63-66.
  29. Arithmetic comlexity of the predicate logics of certain complete arithmetic theories. Annals of Pure and Applied Logic, 2002, 113, 243-259.
  30. Элементы конструктивной теории моделей. Фундаментальная и прикладная математика, 2002, 8, № 3, 783-828.
  31. Arithmetic complexity of the predicate logics of complete arithmetic theories. In: Philosophical Dimensions of Logic and Science. Kluwer Academic Publishers. Dordrecht, Boston, London. 2003, 57-66.
  32. Предикатные логики конструктивных математических теорий. Чебышевский сборник, 2003, том IV, выпуск 4(8), 121-136.
  33. Интуиционистская логика. В книге: А.Н.Колмогоров. Избранные труды. Том 1. Математика и механика. М.: Наука, 2005, 435-444 (совместно с В.А.Успенским).
  34. Закон исключенного третьего и закон двойного отрицания (комментарий 2005 г.). В книге: А.Н.Колмогоров. Избранные труды. Том 1. Математика и механика. М.: Наука, 2005, 445-454 (совместно с В.А.Успенским).
  35. О соотношении двух понятий примитивно рекурсивной реализуемости. Вестник Московского университета. Серия 1. Математика. Механика, 2006, № 1, 6-11.
  36. On primitive recursive realizabilities. In: Computer Science — Theory and Applications. Proc. First International Computer Science Symposium in Russia, CSR 2006, St. Petersburg, Russia, June 2006 (Lecture Notes in Computer Science, 3967), 304-312.
  37. Primitive recursive realizability and basic propositional logic. Utrecht University, Logic Group Preprint Series, № 261, October 2007, 27 pp.
  38. A survey of propositional realizability logic. The Bulletin of Symbolic Logic, 2009, 15, № 1, 1-42.
  39. The Varpakhovskii calculus and Markov arithmetic. Utrecht University, Logic Group Preprint Series, № 271, February 2009, 43 pp.
  40. On two attempts of describing propositional realizability logic. Journal of Logic and Computation, 2009; doi: 10.1093/logcom/exp045
  41. Transfinite Sequences of Constructive Predicate Logics. 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, 2010, 6072, 315-326.
  42. Обзор предикатной логики реализуемости. Труды Математического института им.В.А.Стеклова РАН, 2011, 274, 222-251.
  43. On two attempts of describing propositional realizability logic. Journal of Logic and Computation, 2011, 21, 639-663.
  44. О гиперарифметической реализуемости. Математические заметки, 2015, 98, № 5, 725-746 (совместно с А.Ю.Коноваловым).
  45. О конструктивной теории перечислимых видов. Вестник Московского университета. Серия 1: Математика. Механика, 2017, № 2, с. 13-19
  46. Constructive theory of enumerable species. Moscow University Mathematics Bulletin, 2017, том 72, № 2, с. 55-60 DOI
  47. The nonarithmeticity of the predicate logic of strictly primitive recursive realizability. Review of Symbolic Logic, 2021, с. 1-29 DOI: https://doi.org/10.1017/S1755020321000174

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

  1. Об интерпретациях предикатных формул, связанных с конструктивной логикой. Третья Всесоюзная конференция по математической логике (тезисы докладов). Новосибирск, 1974, 170-172.
  2. К теории моделей для языков с конструктивной семантикой. IV всесоюзная конференция «Применение методов математической логики». Тезисы докладов. Таллин, 1986, с. 154-156.
  3. О логиках конструктивных арифметических теорий. Девятая всесоюзная конференция по математической логике. Тезисы докладов. Ленинград: Наука, 1988, с. 130.
  4. О логиках, основанных на гёделевской интерпретации. In: COLOG-88. Papers presented at the International Conference in Computer Logic. Part 1. Tallinn, December 12-16, 1988.
  5. О логической сложности некоторых конструктивных логик. I Всероссийская школа по основаниям математики и теории функций. Тезисы докладов. Саратов, 1989.
  6. Модифицированная реализуемость и логика предикатов. Десятая всесоюзная конференция по математической логике. Тезисы докладов. Новосибирск, 1990.
  7. A formalization of the Tennenbaum theorem and its applications to modified realizability and Goedel interpretation. 10th International Congress of Logic, Methodology and Philosophy of Science. Volume of Abstracts. August 19-25, 1995, Florence, Italy, p. 57.
  8. Arithmetic complexity of the predicate logics of complete arithmetic theories.11th International Congress of Logic, Methodology and Philosophy of Science. Volume of Abstracts. August 20-26, 1999, Cracow, Poland, p. 89.
  9. $\Sigma_n$-realizability and its predicate logic. First St. Petersburg Days of Logic and Computability. Abstracts. St. Petersburg, 1999, p.33-34.
  10. A predicate logic based on the Goedel interpretation and the system of hereditary effective operations. Abstracts of Contributed Papers LC2000 and ELSS 2000, Paris, La Sorbonne, 23-31 juillet 2000, p. 32.
  11. Equality from the constructive point of view. Abstracts of Contributed Papers LC2000 and ELSS 2000, Paris, La Sorbonne, 23-31 juillet 2000, p. 33 (совместно с Д.А.Витером).
  12. A predicate logic based on the Goedel interpretation and the system of hereditary effective operations. Bulletin of Symbolic Logic, 2001, 7, 142.
  13. Eauality from the constructive point of view. Bulletin of Symbolic Logic, 2001, 7, 143 (совместно с Д.А.Витером).
  14. Diagnostic formulas for intuitionistic and minimal propositional calculi. International conference «Kolmogorov and Contemporary Mathematics» (Moscow, June 6-21, 2003), p. 691 (совместно с М.В.Патласовым).
  15. Primitive recursive realizability and the predicate logic.12th International Congress of Logic, Methodology and Philosophy of Science. Volume of Abstracts. August 7-13, 2003, Oviedo, Spain, p. 67-68 (совместно с Д.А.Витером и Пак Бён Ха).
  16. Интуиционистское исчисление высказываний с эквиваленцией и конъюнкцией. Девятые Смирновские чтения по логике. Материалы Международной научной конференции, М., Современные тетради, 2015, 28-30.
  17. On a constructive theory of enumerable species. VII International Joint Conference of Georgian Mathematical Union & Georgian Mechanical Union: Continuum Mechanics and Related Problems of Analysis. Book of abstracts, Batumi, 2016, 207-208.
  18. Realizability semantics for the predicate formulas based on generalized computability.  Десятые Смирновские чтения по логике. Материалы Международной научной конференции. 15-17 июня 2017 года, тезисы, с. 26-27 (совместно с А.Ю.Коноваловым)
  19. A remark on the Friedman translation. Одиннадцатые Смирновские чтения по логике. Материалы Международной научной конференции. 19-21 июня 2019 год, тезисы, с. 37-39

Работы в области оптимального планирования и системных исследований

  1. Метод определения оптимального размера главного пользования лесом. Лесное хозяйство, 1978, № 4, 61-67 (совместно с И.М.Бочковым).
  2. Определение размера главного пользования лесом с применением линейного программирования и ЕС ЭВМ в лесоустройстве. М: ЦБНТИ Гослесхоза СССР, 1978 (совместно с И.М.Бочковым и С.Г.Синицыным).
  3. Использование методов оптимизации в лесоустроительном проектировании. В книге: Использование методов оптимизации в текущем планировании и оперативном управлении производством. М., 1979 (совместно с Е.Г.Соколовой).
  4. Построение целевой функции для одной задачи наиболее полного использования ресурсов. В книге: Математические модели и статистический анализ научно-технического прогресса. Сборник трудов. Выпуск 8. Москва: Всесоюзный научно-исследовательский институт системных исследований, 1982, с. 66-71.
  5. Системные идеи в математике. В книге: Философско-методологические основания системных исследований. М.: Наука, 1983, с. 56-82 (совместно с Л.В.Канторовичем).
  6. Системный подход в методологии математики. В книге: Системные исследования. Методологические проблемы. Ежегодник 1983. М.: Наука, 1983, с. 27-41 (совместно с Л.В.Канторовичем).
  7. Математические системы и моделирование. Сборник трудов ВНИИСИ. Выпуск 9. Москва: Всесоюзный научно-исследовательский институт системных исследований, 1983 (совместно с Л.В.Канторовичем).