name: Алгебры бинарных изолирующих формул
keyword_list: алгебра бинарных формул упорядоченная теория произведение графов
abstract: Диссертация посвящена описанию алгебр бинарных изолирующих формул для различных естественных классов теорий, их систематизация, а именно для теорий унаров, теорий симплексов и архимедовых тел, полигонометрических теорий, и различных видов теорий упорядоченных структур. Описана взаимосвязь алгебр бинарных формул с операциями над алгебраическими системами, включая композиции, декартовы, тензорные и корневые произведения.
chairman_dissertation_council.name: Юрий
chairman_dissertation_council.surname: Ершов
chairman_dissertation_council.patronymic: Леонидович
chairman_dissertation_council.position: главный научный сотрудник
chairman_dissertation_council.degree: Доктор физико-математических наук
chairman_dissertation_council.rank: Академик
chairman_dissertation_council.wos_research_id: G-1469-2019
chairman_dissertation_council.scopus_author_id: 7005456794
chairman_dissertation_council.url: http://www.math.nsc.ru/LBRT/logic/persons/ershov/win.html
chairman_dissertation_council.territory: РОССИЯ
organization_supervisor.name: Андрей
organization_supervisor.surname: Миронов
organization_supervisor.patronymic: Евгеньевич
organization_supervisor.position: и. о. директора
organization_supervisor.territory: РОССИЯ
rubrics.code: 27.03.66
rubrics.name: Математические структуры. Теория моделей
oecds.code: 01.01.PQ
oecds.name: MATHEMATICS
speciality_codes.name: Математическая логика, алгебра и теория чисел
speciality_codes.code: 01.01.06
supervisors.fio: Кулпешов Б.Ш.
supervisors.scientific_degree: Доктор физико-математических наук
supervisors.speciality_code: Математическая логика, алгебра и теория чисел
supervisors.responsible_type: Научный руководитель
supervisors.fio: Судоплатов С.В.
supervisors.scientific_degree: Доктор физико-математических наук
supervisors.speciality_code: Математическая логика, алгебра и теория чисел
supervisors.responsible_type: Научный руководитель
opponents.fio: Коровина М.В.
opponents.scientific_degree: Кандидат физико-математических наук
opponents.speciality_code: Математическая логика, алгебра и теория чисел
opponents.responsible_type: Оппонент
opponents.fio: Перязев Н.А.
opponents.scientific_degree: Доктор физико-математических наук
opponents.speciality_code: Математическая логика, алгебра и теория чисел
opponents.responsible_type: Оппонент
protection_organization.short_name: ИМ СО РАН
protection_organization.name: ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ УЧРЕЖДЕНИЕ НАУКИ ИНСТИТУТ МАТЕМАТИКИ ИМ. С.Л. СОБОЛЕВА СИБИРСКОГО ОТДЕЛЕНИЯ РОССИЙСКОЙ АКАДЕМИИ НАУК
protection_organization.ogrn: 1025403656508
protection_organization.supervisor_name: СЕРГЕЙ
protection_organization.supervisor_surname: ГОНЧАРОВ
protection_organization.supervisor_patronymic: САВОСТЬЯНОВИЧ
protection_organization.organization_type: Организация
protection_organization.okogu: Министерство науки и высшего образования Российской Федерации
protection_organization.okopf: Федеральные государственные бюджетные учреждения
author_organization.short_name: НГТУ
author_organization.name: Федеральное государственное бюджетное образовательное учреждение высшего образования «Новосибирский государственный технический университет»
author_organization.ogrn: 1025401485010
author_organization.organization_type: Организация
author_organization.okogu: Министерство науки и высшего образования Российской Федерации
author_organization.okopf: Федеральные государственные бюджетные учреждения