14 учебная неделя
+7 (383) 346-02-31 — приёмная комиссия

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

Основатели и руководители школы



Пинус Александр Георгиевич доктор физико-математических наук,
профессор, член- корр. МАН ВШ, Почетный работник высшей школы
e-mail: pinus@corp.nstu.ru
тел. 346-11-66




Пономарев Константин Николаевич
доктор физико-математических наук, профессор
e-mail: ponomarev@corp.nstu.ru
тел. 346-11-66


Основной состав школы

  • Тимошенко Евгений Иосифович — д.ф.-м.н., профессор, член-кор. МАН ВШ, Заслуженный работник высшей школы
  • Судоплатов Сергей Владимирович - д.ф.-м.н., доцент, зав. кафедрой АиМЛ, Лауреат государственной премии в области образования
  • Чехонадских Александр Васильевич — д.т.н., доцент
  • Овчинникова Елена Викторовна — к.ф.-м.н., доцент, Лауреат государственной премии в области образования
  • Попова (Ивлева) Ася Михайловна — к.ф.-м.н., доцент
  • Порошенко Евгений Николаевич — к.ф.-м.н., доцент
  • Грачев Евгений Владимирович — к.ф.-м.н.
  • Чибриков Евгений Сергеевич — к.ф.м.н.
  • Попков Роман Андреевич — к.ф.-м.н.
  • Мордвинов Яков Леонидович — к.ф.-м.н.
  • Журков Сергей Валерьевич — к.ф.-м.н.
  • Афанасьева Светлана Григорьевна — к.ф.-м.н.

КАФЕДРА АЛГЕБРЫ И МАТЕМАТИЧЕСКОЙ ЛОГИКИ



Основные результаты

  • Целый ряд принципиальных результатов по вопросам строения и классификации Классических (групп, колец, полей, алгебр Ли) и универсальных алгебр, моделей, получивших международное признание. В том числе созданы теории скелетов многообразий, условных термов, жестких неассоциативных алгебр и колец, частично коммутативных групп.
  • Решена проблема Лахлана о счетных моделях стабильных теорий. Разработаны методы классификации счетных моделей полных теорий, методы классификации универсальных алгебр и функциональных клонов по их производным структурам, алгоритмы описания групп единиц групповых колец, подходы к вычислению базисов Гребнера неассоциативных алгебр, методы приложения алгебры в теории автоматического управления и пр.
  • Опубликовано более 500 статей в ведущих научных и зарубежных изданиях, в том числе в журналах: «Алгебра и логика», «Сибирский математический журнал», «Фундаментальная и прикладная математика», «Успехи математических наук», «Journal of Symbolic Logic” , “Algebra universalis” , “Periodica Mathenatica Hungary” , “International Journal of Algebra and Computation” , “Communications in Algebra” и других.
  • Учебники С. В. Судоплатова и Е. В. Овчинниковой «Дискретная математика» и «Математическая логика и теория алгоритмов», в составе комплекса других учебников по математической логике, написанных большим коллективом авторов СО РАН, были удостоены в 2010 году премии Правительства РФ 2010 года в области образования за цикл трудов «Концепция формирования логико-математического образования в высшей школе».
  • Результаты по классификации многообразий универсальных алгебр на основе строения их скелетов (А. Г. Пинус, Я. Л. Мордвинов);
  • Создание и разработка теории условных термов; Приложения результатов этой теории в универсальной алгебре, теории вычислений, теории графов (А. Г. Пинус, С. В. Журков);
  • Исследования производных структур универсальных алгебр; Новые подходы в алгебраической геометрии универсальных алгебр (А. Г. Пинус);
  • Описание жестких классов неассоциативных алгебр, групповых алгебр, алгебр Ли;
  • Установление взаимосвязи между теорией десингуляризации алгебраических многообразий и теоретико-модельными свойствами их точек (К. Н. Пономарев);
  • Исследование элементарных и универсальных теорий частично-коммутативных групп (Е. И. Тимошенко);
  • Исследование базисов Гребнера-Ширшова различных классических групп, алгебр и алгебр Ли (Е. Н. Порошенко, А. Н. Корюкин , Е. С. Чибриков);
  • Классификация полных теорий с конечным числом счетных моделей, в частности решение проблемы Лахлана; Классификация счетных моделей малых теорий; Создание теории полигонометрий групп (С. В. Судоплатов);
  • Классификация счетных моделей полных теорий с континуальным числом типов (С. В. Судоплатов, Р. А. Попков);
  • Изучение теоретико-модельных вопросов теории полигонов (Е. В. Овчинникова);
  • Описание групп единиц групповых колец конечных групп (А. М. Попова-Ивлева, Е. В. Грачев);
  • Приложения алгебры к теории управления (А. В. Чехонадских, А. Н. Корюкин);
  • Исследования по теории расписаний (И. Д. Черных).

Основные публикации

  • Пинус А.Г. Задачи и упражнения по универсальной алгебре.- Новосибирск, из-во НГТУ, 2008.- 86с.
  • Пинус А.Г. Дискретные функции. Учебник.- Новосибирск, из-во НГТУ, 2016.- 91с.
  • Судоплатов С.В. Полиногонометрии групп.- Новосибирск: из-во НГТУ, 2011.- 302с.
  • Пинус А.Г. Конгруэнц-модулярные многообразия алгебр.- Иркутск: из-во ИрГУ, 1986.-131с.
  • Пинус А.Г. Условные термы и их применение в алгебре и теории вычислений.- Новосибирск: из-во НГТУ, 2002.- 238с.
  • Пономарев К.Н. Жесткие алгебры и некоммутативные кольца.- Новосибирск: из-во НГТУ, 2007.-315с.
  • Ивлева А.М., Прилуцкая П.И., Черных И.Д. Линейная алгебра. Аналитическая геометрия.Учебник.- Новосибирск, из-во НГТУ, 2014.-179с.
  • Тимошенко Е.И. Эндоморфизмы и универсальные теории разрешимых групп.- Новосибирск: из-во НГТУ, 2011.- 327с.
  • Пинус А.Г. Производные структуры универсальных алгебр.- Новосибирск: из-во НГТУ, 2007.- 202с.
  • Судоплатов С.В., Овчинникова Е.В. Математическая логика и теория алгоритмов. Учебник.- Москва: из-во ИНФРА-М, Новосибирск, из-во НГТУ, 2003.- 256с.
  • Пономарев К.Н. Центроиды групп и жесткие алгебраические группы.- Новосибирск: из-во НГТУ, 2012.-238с.
  • Пономарев К.Н. Кольца с однозначным сложением и жесткие алгебры.- Новосибирск: из-во НГТУ, 2016.- 202с.
  • Судоплатов С.В. Проблема Лахлана.- Новосибирск: из-во НГТУ, 2009.- 336с.
  • Ивлева А.М., Пинус А.Г., Чехонадских А.В. Основы алгебры и аналитической геометрии. Учебник.- Новосибирск, из-во НГТУ,2003.-269с.
Размещение информации на странице:
Управление информационной политики  
Наверх