| Дата заседания |
Докладчик |
Тема доклада |
| 30.03.2021 |
Дадеркин Дмитрий Ольгердович |
Табличные уноиды, удовлетворяющие условиям Ужичина |
| 13.04.2021 |
Карлов Борис Николаевич |
Разрешимость теории слов с операциями возведения в степень |
| 27.04.2021 |
Совместное заседание с Тверским философским клубом |
Научно-философские проблемы искусственного интеллекта |
| 13.10.2021 |
Карлов Борис Николаевич |
Об элементарной эквивалентности некоторых уноидов и уноидов их
подмножеств |
| 20.10.2021 |
Карлов Борис Николаевич |
Об элементарной эквивалентности некоторых уноидов и уноидов их
подмножеств (продолжение) |
| 10.11.2021 |
Карлов Борис Николаевич |
Об элементарной эквивалентности некоторых уноидов и уноидов их
подмножеств (окончание) |
| 17.11.2021 |
Дудаков Сергей Михайлович |
Конечные фигуры в линейных пространствах над полями конечной
характеристики |
| 01.03.2022 |
Карлов Борис Николаевич |
О некоторых свойствах уноидов подмножеств |
| 29.03.2022 |
Авхимович Николь Вадимовна |
О теории конечных подмножеств плотных порядков |
| 19.04.2022 |
Дудаков Сергей Михайлович |
О теории подмножеств для групп кручения |
| 03.05.2022 |
Дудаков Сергей Михайлович |
О теории подмножеств для групп кручения (продолжение) |
| 14.10.2022 |
Оноприенко Анастасия Александровна |
Совместная логика задач и высказываний |
| 01.11.2022 |
Дудаков Сергей Михайлович |
О йонсоновских многообразиях |
| 15.11.2022 |
Карлов Борис Николаевич |
О представлении арифметических действий мультимодальными
категориальными грамматиками зависимостей |
| 29.11.2022 |
Секорин Всеслав Станиславович |
Моделирование оператора частичной фиксированной точки |
| 14.03.2023 |
Авхимович Николь Вадимовна |
Теория конечных подмножеств безатомных булевых алгебр |
| 28.03.2023 |
Запрягаев Александр Александрович |
Интерпретации в слабых арифметических теориях |
| 11.04.2023 |
Карлов Борис Николаевич |
О неразрешимости теорий подмножеств некоторых унаров |
| 26.10.2023 |
Авхимович Николь Вадимовна |
Конечные подмножества атомных булевых алгебр |
| 09.11.2023 |
Дудаков Сергей Михайлович |
Разрешимость теории конечных подмножеств атомных булевых
алгебр |
| 23.11.2023 |
Секорин Всеслав Станиславович |
Выразительные возможности оператора частичной неподвижной точки
для конечных и бесконечных систем |
| 21.12.2023 |
Дудаков Сергей Михайлович |
Использование линейных преобразований для представления
арифметики натуральных чисел |
/ 