Оноприенко Анастасия Александровна

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

1. О логиках задач
   В. Б. Шехтман, А. А. Оноприенко
   Семинар по многомерному комплексному анализу (Семинар Витушкина)
   20 марта 2024 г. 16:45
2. От интуиционистской логики к логике задач
   Анастасия Оноприенко
   Математический семинар ФКН ВШЭ
   15 марта 2024 г. 18:10   
3. Приветственное слово
   А. А. Оноприенко, А. Л. Семёнов
   Однодневный семинар по математической логике
   29 июня 2023 г. 11:15   
4. Completeness of the logic HC in a special space
   Anastasiia Onoprienko
   Workshop "Semantical and Computational Aspects of Non-Classical Logics" (SCAN 2023)
   15 июня 2023 г. 15:00   
5. On topological models of intuitionistic epistemic logic
   А. А. Оноприенко
   Вторая конференция Математических центров России. Секция «Математическая логика и теоретическая информатика»
   7 ноября 2022 г. 17:00   
6. О топологических моделях логик HC и H4
   А. А. Оноприенко
   Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
   21 февраля 2022 г. 18:30   
7. A joint logic of problems and propositions
   A. A. Onoprienko
   Logical Perspectives 2021: Summer School and Workshop
   17 июня 2021 г. 11:00   
8. Предикатный вариант совместной логики задач и высказываний
   А. А. Оноприенко
   Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
   16 марта 2020 г. 18:30