Секорин Всеслав Станиславович

Доклады и лекции в базе данных Math-Net.Ru

1. Выразительные возможности операторов частичной неподвижной точки для конечных и бесконечных систем
   В. С. Секорин
   Российский гибридный семинар STEP-2023 по фундаментальным вопросам программной инженерии теории и экспериментальному программированию
   28 февраля 2024 г. 19:00   
2. Выразительные возможности оператора частичной неподвижной точки для конечных и бесконечных систем
   В. С. Секорин
   Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
   26 февраля 2024 г. 18:30