Плиско Валерий Егорович
пользователь
кандидат физико-математических наук с 1974 года
доцент по кафедре математической логики и теории алгоритмов с 26 июля 1995 г.
Количество цитирований статей в журналах по данным
Web of Science: 46,
Scopus: 12
РИНЦ:
IstinaResearcherID (IRID): 2569465
Деятельность
-
Статьи в журналах
-
Статьи в сборниках
-
-
-
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
-
-
-
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
-
-
-
-
-
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
-
-
-
-
-
-
-
-
-
-
-
-
-
Книги
-
Доклады на конференциях
-
Тезисы докладов
-
-
-
2017
Realizability semantics for the predicate formulas based on generalized computability
-
Konovalov A.Yu,
Plisko V.E.
-
в сборнике Десятые Смирновские чтения по логике. Материалы Международной научной конференции. 15-17 июня 2017 года, серия Смирновские чтения по логике, издательство Изд-во Моск. ун-та (М.), тезисы, с. 26-27
-
редакторы
Герасимова Ирина Алексеевна,
Григорьев Олег Михайлович,
Зайцев Дмитрий Владимирович,
Ивлев Юрий Васильевич,
Маркин Владимир Ильич,
Шалак Владимир Иванович
-
-
-
-
-
-
-
-
-
-
-
-
НИРы
-
-
1 января 2021 - 31 декабря 2025
Алгоритмические и семантические вопросы математической логики. 2021-2025
-
Кафедра математической логики и теории алгоритмов
-
Руководитель:
Семёнов А.Л.
Ответственные исполнители:
Золин Е.Е.,
Пентус М.Р.
Участники НИР:
Беклемишев Л.Д.,
Белов А.Я.,
Верещагин Н.К.,
Крупский В.Н.,
Кузнецов С.Л.,
Любецкий В.А.,
Плиско В.Е.,
Сорокин А.А.,
Шехтман В.Б.,
Яворская Т.Л.
-
-
-
1 января 2016 - 31 декабря 2020
Алгоритмические и семантические вопросы математической логики. 2016-2020
-
Кафедра математической логики и теории алгоритмов
-
Руководители:
Семёнов А.Л.,
Успенский В.А.
Ответственные исполнители:
Золин Е.Е.,
Пентус М.Р.
Участники НИР:
Адян С.И.,
Беклемишев Л.Д.,
Верещагин Н.К.,
Крупский В.Н.,
Кузнецов С.Л.,
Любецкий В.А.,
Плиско В.Е.,
Семёнов А.Л.,
Сорокин А.А.,
Шехтман В.Б.,
Яворская Т.Л.
-
-
1 января 2014 - 31 декабря 2022
Разработка системы развития одаренных в области естественных и математических наук старшеклассников
-
Школа-интернат имени А.Н.Колмогорова (СУНЦ МГУ)
-
Руководители:
Вавилов В.В.,
Ильютко Д.П.
Ответственные исполнители:
Курышова Ю.В.,
Селиванова И.Ю.,
Шивринская Е.В.
Участники НИР:
Авилов К.К.,
Виноградов О.П.,
Воронин А.К.,
Гареев Т.Т.,
Гашков С.Б.,
Гвоздкова И.А.,
Горпынченко К.Д.,
Гусев А.С.,
Дубровский В.Н.,
Ильютко Д.П.,
Котельников Е.А.,
Курышова Ю.В.,
Левин А.А.,
Лобышев В.И.,
Могилевский Е.И.,
Морозов Н.В.,
Мухачев А.,
Нараленкова И.И.,
Натяганов В.Л.,
Некрасов В.А.,
Огородников Н.М.,
Оноприенко А.А.,
Ошемков А.А.,
Перадзе А.З.,
Пивнев Н.С.,
Плиско В.Е.,
Пономарев А.А.,
Попов Л.А.,
Пухов Д.Н.,
Савелов М.П.,
Свиридова Г.Ф.,
Селиванова И.Ю.,
Сергеев И.Н.,
Тароян Г.В.,
Тимохин Е.В.,
Тумайкин И.Н.,
Фалина И.Н.,
Шавгулидзе Н.Е.,
Шивринская Е.В.,
Янгирова А.В.
-
-
-
-
Участие в редколлегии журналов
-
Руководство диссертациями
-
-
2018
Конструктивные семантики логических языков, основанные на обобщенной вычислимости
- Кандидатская диссертация по специальности 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
- Автор:
Коновалов Александр Юрьевич, к.ф.-м.н., МГУ имени М.В. Ломоносова
-
Научный руководитель:
Плиско Валерий Егорович, к.ф.-м.н., доц., МГУ имени М.В. Ломоносова
-
Защищена в совете
МГУ.01.17
МГУ имени М.В. Ломоносова, Механико-математический факультет
-
Организация, в которой выполнялась работа:
МГУ имени М.В. Ломоносова
-
Оппоненты:
Кановей Владимир Григорьевич,
Чернов Алексей Вячеславович,
Одинцов Сергей Павлович
-
-
-
Руководство дипломными работами
-
Авторство учебных курсов
-
Преподавание учебных курсов