№ | Дата |
Автор |
Заглавие |
---|
|
2000 |
Дудаков, Сергей Михайлович |
Вычислительная сложность некоторых задач математической логики : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : 01.01.06 / Дудаков Сергей Михайлович ; Моск. гос. ун-т им. М.В.Ломоносова, Мех.-мат. фак |
|
2005 |
Мощенский, Владимир Андреевич (кандидат физико-математических наук ; род. 1938) |
Подсчет числа нулевых наборов и проблема выполнимости / В. А. Мощенский |
|
2003 |
|
Computability and models : perspectives East a. West / [ed. by] S. Barry Cooper, Sergey S. Goncharov |
|
2011 |
Сироткин, Александр Владимирович |
Алгебраические байесовские сети: вычислительная сложность алгоритмов логико-вероятностного вывода в условиях неопределенности : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.18 ; 05.13.17 / Сироткин Александр Владимирович ; Санкт-Петербургский государственный университет |
|
2012 |
Снятков, Алексей Сергеевич |
Разрешимость теорий иерархий согласованных со сложением функций : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.06 Математическая логика, алгебра и теория чисел / Снятков Алексей Сергеевич ; [Тверской государственный университет] |
|
2015 |
Ульянцев, Владимир Игоревич |
Генерация конечных автоматов с использованием программных средств решения задач выполнимости и удовлетворения ограничений : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Ульянцев Владимир Игоревич ; [Санкт-Петербургский национальный исследовательский университет информационных технологий, механики и оптики] |
|
2016 |
Марчук, Маргарита Игоревна |
Определимость и индексные множества моделей автоустойчивых относительно сильных конструктивизаций : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.06 Математическая логика, алгебра и теория чисел / Марчук Маргарита Игоревна ; [Институт математики им. С. Л. Соболева Сибирского отделения Российской академии наук ] |
|
2008 |
Первышев, Константин Вячеславович |
Иерархии по времени для некоторых классов эвристик, алгоритмов с подсказкой, криптографических примитивов : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.17 / Первышев Константин Вячеславович ; Санкт-Петербургский государственный университет |
|
2009 |
Пяткин, Артем Валерьевич |
Раскраска инциденторов и другие задачи на графах: алгоритмический аспект : автореферат диссертации на соискание ученой степени доктора физико-математических наук : 01.01.09 / Пяткин Артем Валерьевич ; [Учреждение Российской академии наук "Институт математики им. С. Л. Соболева Сибирского отделения РАН"] |
|
2011 |
Актанорович, Сергей Владимирович (род. 1986) |
Алгоритмы и структуры данных. Потоковые алгоритмы : методическое пособие по курсу "Теория графов. Потоковые алгоритмы" для студентов специальности 1-31 03 04 "Информатика" всех форм обучения / С. В. Актанорович, А. А. Волосевич, С. И. Сиротко ; Министерство образования Республики Беларусь, Учреждение образования "Белорусский государственный университет информатики и радиоэлектроники", Кафедра информатики |
|
2012 |
Мощенский, Владимир Андреевич (кандидат физико-математических наук ; род. 1938) |
Подсчет числа нулевых наборов и проблема выполнимости / В. А. Мощенский |
|
2012 |
Игошин, Владимир Иванович (кандидат физико-математических наук ; доктор педагогических наук ; род. 1948) |
Теория алгоритмов : учебное пособие : для студентов высших учебных заведений, обучающихся по специальности 050201.65 ― математика / В. И. Игошин |
|
2014 |
Цветков, Игорь Анатольевич (доктор технических наук ; род. 1961) |
Обращающие и удваивающие самопополняемые алгорифмы / И. А. Цветков |
|
2002 |
Кузнецов, Сергей Олегович (кандидат технических наук ; доктор физико-математических наук) |
Теория машинного обучения в решетках формальных понятий : Автореф. дис. на соиск. учен. степ. д-ра физ.-мат. наук : 05.13.17 / Кузнецов Сергей Олегович ; [Всерос. ин-т науч. и техн. информ. РАН] |
|
2009 |
Лобес, Мария Владимировна |
Разработка методов и алгоритмов модулярных вычислений для задач большой алгоритмической сложности : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.18 / Лобес Мария Владимировна ; [ГОУ ВПО "Ставропольский государственный университет"] |
|
2011 |
Леонтьев, Александр Владимирович |
Нижние оценки алгебраической сложности для некоторых классов алгебр : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.06 / Леонтьев Александр Владимирович ; Московский государственный университет им. М. В. Ломоносова |
|
2015 |
Бикмухаметов, Равиль Ильдарович |
Вычислимые линейные порядки и естественные отношения на них : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.06 Математическая логика, алгебра и теория чисел / Бикмухаметов Равиль Ильдарович ; [Казанский (Приволжский) федеральный университет] |
|
2018 |
Быкова, Валентина Владимировна (кандидат технических наук ; доктор физико-математических наук) |
Теоретические основы анализа параметризированных алгоритмов : монография / В. В. Быкова ; Сибирский федеральный университет |
|
2002 |
Карацуба, Екатерина Анатольевна (доктор физико-математических наук) |
О некоторых проблемах приближения и вычисления классических функций и констант : Автореф. дис. на соиск. учен. степ. д-ра физ.-мат. наук : 01.01.09 / Карацуба Екатерина Анатольевна ; [Вычисл. центр им. А.А.Дородницина РАН] |
|
1993 |
Зятьков, Евгений Арнольдович (математика ; род. 1959) |
Алгоритм сложности о(nlogn) минимизации максимума линейных функций / Е. А. Зятьков |