№ | Дата |
Автор |
Заглавие |
---|
|
2013 |
Маркелов, Николай Константинович |
О сложности функций k-значной логики в классе поляризованных полиномов : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.09 Дискретная математика и математическая кибернетика / Маркелов Николай Константинович ; Московский государственный университет им. М. В. Ломоносова, Факультет вычислительной математики и кибернетики |
|
2021 |
Кафтан, Дарья Владимировна |
Оценки длины тестов и сертификатов для бесповторных функций : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.09 Дискретная математика и математическая кибернетика / Кафтан Дарья Владимировна ; [Московский государственный университет им. М. В. Ломоносова] |
|
2002 |
Ложкина, Зинаида Сергеевна |
О сложности покрытия графов графами из специальных базисов : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : 01.01.09 / Ложкина Зинаида Сергеевна ; Моск. гос. ун-т им. М.В.Ломоносова, Фак. вычисл. математики и кибернетики |
|
2000 |
Никитин, Андрей Анатольевич |
О реализации функций алгебры логики автоматными конвейерными схемами : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : 01.01.09 / Никитин Андрей Анатольевич ; Моск. гос. ун-т им. М.В.Ломоносова, Фак. вычисл. математики и кибернетики |
|
2017 |
Калачев, Глеб Вячеславович |
О мощностной сложности плоских схем : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.09 Дискретная математика и математическая кибернетика / Калачев Глеб Вячеславович ; Московский государственный университет им. М. В. Ломоносова, Механико-математический факультет |
|
2022 |
Жуков, Владимир Владимирович |
Методы синтеза и оценки сложности программ с некоторыми структурными ограничениями : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.09 Дискретная математика и математическая кибернетика / Жуков Владимир Владимирович ; Московский государственный университет им. М. В. Ломоносова |
|
2015 |
Коноводов, Владимир Александрович |
Методы синтеза и оценки сложности схем с некоторыми структурными ограничениями : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.09 Дискретная математика и математическая кибернетика / Коноводов Владимир Александрович ; [Московский государственный университет им. М. В. Ломоносова] |
|
2017 |
Подольская, Ольга Викторовна |
Оценки сложности булевых функций в некоторых бесконечных базисах : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.09 Дискретная математика и математическая кибернетика / Подольская Ольга Викторовна ; ФГБОУ ВО Московский государственный университет им. М. В. Ломоносова |
|
2019 |
Романов, Дмитрий Сергеевич (доктор физико-математических наук ; род. 1971) |
Об оценках длин минимальных тестов для логистических схем : автореферат диссертации на соискание ученой степени доктора физико-математических наук : специальность 01.01.09 Дискретная математика и математическая кибернетика / Романов Дмитрий Сергеевич ; Московский государственный университет им. М. В. Ломоносова |
|
2022 |
Смаль, Александр Владимирович (математик) |
Доказательство нижних оценок на размер формул для булевых функций методами коммуникационной сложности : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.06 Математическая логика, алгебра и теория чисел / Смаль Александр Владимирович ; [Санкт-Петербургское отделение Математического института им. В. А. Стеклова РАН] |
|
2013 |
Кибкало, Мария Александровна |
Автоматная сложность булевых функций из классов Поста : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 05.13.17 Теоретические основы информатики / Кибкало Мария Александровна ; ФГБОУ ВПО Московский государственный университет им. М. В. Ломоносова |
|
2021 |
Попков, Кирилл Андреевич (кандидат физико-математическх наук, математик) |
О возможностях построения легкотестируемых контактных схем и схем из функциональных элементов : автореферат диссертации на соискание ученой степени доктора физико-математических наук : специальность 01.01.09 Дискретная математика и математическая кибернетика / Попков Кирилл Андреевич ; Федеральное государственное учреждение "Федеральный исследовательский центр Институт прикладной математики им. М. В. Келдыша Российской академии наук" |
|
2023 |
Ефимов, Алексей Андреевич |
Оценки энергопотребления объемных схем : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 1.1.5 Математическая логика, алгебра, теория чисел и дискретная математика / Ефимов Алексей Андреевич ; [место защиты:] Федеральное государственное бюджетное образовательное учреждение высшего образования "Московский государственный университет им. М. В. Ломоносова" |
|
2011 |
Шуплецов, Михаил Сергеевич |
Методы синтеза и оценки сложности схем, построенных из элементов предикатного типа : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.09 / Шуплецов Михаил Сергеевич ; Московский государственный университет им. М. В. Ломоносова |
|
2002 |
Черная, Елена Анатольевна |
Исследование информационных аспектов навигационных измерений при плавании в стесненных водах : Автореф. дис. на соиск. учен. степ. канд. техн. наук : 05.22.19 / Черная Елена Анатольевна ; Гос. мор. акад. им. адм. С.О.Макарова |
|
2010 |
Шиганов, Александр Евгеньевич |
Синтез схем контактного типа с ограничениями на смежные контакты : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.09 / Шиганов Александр Евгеньевич ; Московский государственный университет им. М. В. Ломоносова |
|
2015 |
Морозов, Евгений Валерьевич |
Об оценках функций Шеннона длин тестов при некоторых неисправностях входов схем : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.09 Дискретная математика и математическая кибернетика / Морозов Евгений Валерьевич ; [Московский государственный университет им. М. В. Ломоносова] |
|
2015 |
Попков, Кирилл Андреевич (кандидат физико-математическх наук, математик) |
О проверяющих и диагностических тестах для контактов и функциональных элементов : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.09 Дискретная математика и математическая кибернетика / Попков Кирилл Андреевич ; ФГБОУ ВО Московский государственный университет имени М. В. Ломоносова |
|
2021 |
Корнеев, Сергей Александрович (кандидат физико-математических наук) |
О сложности реализации систем одночленов схемами композиции : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.09 Дискретная математика и математическая кибернетика / Корнеев Сергей Александрович ; Московский государственный университет им. М. В. Ломоносова, Механико-математический факультет |