Преобразования доказательств и синтез программ

Другие работы по этой специальности

1. Конечные минимальные не lg-группы

   Ходалевич, Александр Дмитриевич · Канд. наук

   • 01.01.06 Математическая логика, алгебра и теория чисел
2. Классы конечных групп с формационными подгруппами

   Ергалиева, Кулара Онгаровна · Канд. наук

   • 01.01.06 Математическая логика, алгебра и теория чисел
3. Совместные диофантовы приближения и векторы с алгебраическими координатами

   Пантелеева, Жанна Ивановна · 2023 · Канд. наук

   • 01.01.06 Математическая логика, алгебра и теория чисел
4. Мажоризации матриц и их эндоморфизмы

   Штейнер, Павел Михайлович · 2022 · Канд. наук · ФГБОУ ВО «Московский государственный университет имени М.В. Ломоносова»

   • 1.1.5 Математическая логика, алгебра, теория чисел и дискретная математика
   • 01.01.06 Математическая логика, алгебра и теория чисел
5. Бесконечные группы с заданным способом вложения конечных подгрупп

   Шлепкин, Алексей Анатольевич · 2022 · Докт. наук · ФГБУН Институт математики и механики им. Н.Н. Красовского Уральского отделения Российской академии наук

   • 01.01.06 Математическая логика, алгебра и теория чисел

Все работы по специальности