Заседания семинаров
к.ф.-м.н. Дмитрий Кондратьев
Проверка логических способностей LLM в решении 2-SAT задач.
Алексей Ильич Стукачев
Обобщенно конструктивные процессы и структуры (докторская диссертация).
П. А. Кайдаш
Исследование полинома супердоминирования графов.
А. Р. Углев и М. В. Швидефски
Реферат статьи D. Spreen "Domains, information frames, rough sets: an equivalence of categories" (продолжение).
С. Ф. Адлай (Москва)
Построение правильных многоугольников минимальной секцией угла.
Ж. О. Рузимов
Реферат статьи (продолжение):
D. Kalocinski, Luca San Mauro, M. Wroclawski
Punctual Presentability in Certain Classes of Algebraic Structures.
85 лет академику Юрию Леонидовичу Ершову
В программе заседания научные доклады:
- Серикжан Агыбаевич Бадаев (Алматы, Казахстан)
Вычислимые нумерации в иерархии Ершова.
- Андрей Сергеевич Морозов
Конструктивные структуры над вещественными числами.
- Юрий Леонидович Ершов, Марина Владимировна Швидефски
Два аспекта теории Т0-пространств.
Романов В. Г.
Обратная задача для уравнений электродинамики с нелинейной зависимостью тока от электрического напряжения (продолжение).