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: K-6414-2012
chairman_dissertation_council.scopus_author_id: 7801673584
chairman_dissertation_council.territory: РОССИЯ
organization_supervisor.name: Андрей
organization_supervisor.surname: Шафаревич
organization_supervisor.patronymic: Игоревич
organization_supervisor.position: декан
organization_supervisor.degree: Доктор физико-математических наук
organization_supervisor.territory: РОССИЯ
rubrics.code: 27.47.15
rubrics.name: Математическая теория управляющих систем
oecds.code: 01.01.PQ
oecds.name: MATHEMATICS
speciality_codes.name: Дискретная математика и математическая кибернетика
speciality_codes.code: 01.01.09
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: Оппонент
opponents.fio: Чашкин А.В.
opponents.scientific_degree: Доктор физико-математических наук
opponents.speciality_code: Дискретная математика и математическая кибернетика
opponents.responsible_type: Оппонент
protection_organization.short_name: МОСКОВСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ ИМЕНИ М.В.ЛОМОНОСОВА, МГУ ИМЕНИ М.В.ЛОМОНОСОВА, МГУ
protection_organization.name: Федеральное государственное бюджетное образовательное учреждение высшего образования "Московский государственный университет имени М.В. Ломоносова"
protection_organization.ogrn: 1037700258694
protection_organization.organization_type: Организация
protection_organization.okogu: Министерство науки и высшего образования Российской Федерации
protection_organization.okopf: Федеральные государственные бюджетные учреждения
author_organization.short_name: МОСКОВСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ ИМЕНИ М.В.ЛОМОНОСОВА, МГУ ИМЕНИ М.В.ЛОМОНОСОВА, МГУ
author_organization.name: Федеральное государственное бюджетное образовательное учреждение высшего образования "Московский государственный университет имени М.В. Ломоносова"
author_organization.ogrn: 1037700258694
author_organization.organization_type: Организация
author_organization.okogu: Министерство науки и высшего образования Российской Федерации
author_organization.okopf: Федеральные государственные бюджетные учреждения