Методы синтеза и оценки сложности программ с некоторыми структурными ограничениями
Жуков, Владимир Владимирович, 2022, кандидатская диссертация
ФГБОУ ВО «Московский государственный университет имени М.В. Ломоносова», Москва
97 стр.
Ключевые слова
рефлексивно-рекурсивные схемы из функциональных элементов, булевы функции
Другие работы по этой специальности
- Полнота и выразимость в классах линейных автоматов
Часовских, Анатолий Александрович · 2021 · Докт. наук · ФГБОУ ВО «Московский государственный университет имени М.В. Ломоносова»
- Численные методы оптимизации для задач большой размерности : неточный оракул и прямо-двойственный анализ = : Numerical methods in large-scale optimization : inexact oracle and primal-dual analysis
Двуреченский, Павел Евгеньевич · 2020 · Докт. наук · ФГАОУ ВО «Московский физико-технический институт (национальный исследовательский университет)»
- Новые методы, алгоритмы и теоретические оценки работы алгоритмов в дизайне сетевых элементов = : New methods, algorithms, and theoretical guarantees for algorithms in network element design
Демьянюк, Виталий Юрьевич · 2020 · Канд. наук · ФГАОУ ВО «Национальный исследовательский университет «Высшая школа экономики»
- Простые числа в специальных последовательностях
Шубин, Андрей Витальевич · 2020 · Канд. наук · ФГАОУ ВО «Московский физико-технический институт (национальный исследовательский университет)»
- Экзостеры и коэкзостеры в недифференцируемой оптимизации
Аббасов, Меджид Эльхан оглы · 2019 · Докт. наук · Санкт-Петербургский государственный университет