Моделирование логических систем средствами их фрагментов
Рыбаков, Михаил Николаевич, 2025, докторская диссертация
«Национальный исследовательский университет «Высшая школа экономики» ; Диссовет Диссертационный совет по математике, Москва
432 стр.
Другие работы по этой специальности
- О гомологических свойствах нильпотентных алгебр Ли и лиевых функторов
Романовский, Владислав Романович · 2026 · Канд. наук · Санкт-Петербургское отделение Математического института им. В.А. Стеклова Российской академии наук ; Диссовет 24.1.207.01 (Д 002.202.XX)
- Полигоны с условиями на решётку конгруэнций
Пряничников, Алексей Михайлович · 2026 · Канд. наук · «Московский государственный университет имени М.В. Ломоносова» ; Диссовет МГУ.011.4-1
- Сложность проблемы сюръективного гомоморфизма для циклов
Корчагин, Никита Павлович · 2026 · Канд. наук · «Московский государственный университет имени М.В. Ломоносова» ; Диссовет МГУ.011.4-1
- Построение бесконечной конечно определенной нильполугруппы
Иванов-Погодаев, Илья Анатольевич · 2026 · Докт. наук · Московский государственный университет имени М.В. Ломоносова ; Диссовет МГУ.011.4-1
- Модули, близкие к проективным и инъективным
Буй Тиен Дат · 2026 · Канд. наук · Казанский (Приволжский) федеральный университет ; Диссовет КФУ.011.2