№ | Дата |
Автор |
Заглавие |
---|
|
2009 |
Гаврюшкин, Александр Николаевич |
Вычислимые модели Эренфойхтовых теорий : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.06 / Гаврюшкин Александр Николаевич ; [Новосибирский государственный университет] |
|
2009 |
Зубков, Максим Витальевич |
Вычислимые линейные порядки и η-представимость : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.06 / Зубков Максим Витальевич ; [ГОУ ВПО "Казанский государственный университет им. В. И. Ульянова-Ленина"] |
|
2010 |
Гаврюшкина, Александра Анатольевна |
Автоматные и вычислительные упорядочиваемые множества : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.06 / Гаврюшкина Александра Анатольевна ; [Новосибирский государственный университет] |
|
2009 |
Судоплатов, Сергей Владимирович (доктор физико-математических наук ; род. 1964) |
Проблема Лахлана : [монография] / С. В. Судоплатов |
|
2013 |
Калядин, Николай Иванович (кандидат технических наук) |
Конструктивизация моделей классификации конечных объектов: концепция, методы и компьютерная реализация : автореферат диссертации на соискание ученой степени доктора физико-математических наук : специальность 05.13.18 Математическое моделирование, численные методы и комплексы программ / Калядин Николай Иванович ; [Ижевский государственный технический университет им. М. Т. Калашникова (ИжГТУ)] |
|
2010 |
Волошинов, Денис Вячеславович |
Теория автоматизации проектирования объектов и процессов на основе методов конструктивного геометрического моделирования : автореферат диссертации на соискание ученой степени доктора технических наук : 05.13.12 / Волошинов Денис Вячеславович ; [Государственное образовательное учреждение высшего профессионального образования "Санкт-Петербургский государственный политехнический университет"] |
|
2013 |
Леонтьева, Маргарита Николаевна |
Сильная конструктивизируемость булевых алгебр : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.06 Математическая логика, алгебра и теория чисел / Леонтьева Маргарита Николаевна ; [Институт математики им. С. Л. Соболева Сибирского отделения Российской академии наук] |
|
2013 |
Душенин, Дмитрий Игоревич (кандидат физико-математический наук) |
Абелевы р-группы и автоустойчивость относительно оракула : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.06 Математическая логика, алгебра и теория чисел / Душенин Дмитрий Игоревич ; [Институт математики им. С. Л. Соболева Сибирского отделения Российской академии наук] |
|
2017 |
Когабаев, Нурлан Талгатович (кандидат физико-математических наук ; род. 1975) |
Вычислимые представления проективных плоскостей : автореферат диссертации на соискание ученой степени доктора физико-математических наук : специальность 01.01.06 Математическая логика, алгебра и теория чисел / Когабаев Нурлан Талгатович ; [Институт математики им. С. Л. Соболева] |
|
2005 |
Болотин, Юрий Львович |
Конструктивный хаос / Ю.Л. Болотин, А.В. Тур, В.В. Яновский ; редкол. вып.: В.П. Семиноженко, А.В. Толмачев, В.М. Пузиков |
|
2010 |
Иванова, Ольга Алексеевна |
Механическое моделирование одномерного континуума Коссера : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.02.04 / Иванова Ольга Алексеевна ; Московский государственный университет им. М. В. Ломоносова |
|
2009 |
Лыщинский, Вячеслав Владимирович |
Моделирование флаттера в аэродинамических трубах / В. В. Лыщинский |
|
2014 |
Баженов, Николай Алексеевич |
Уровни автоустойчивости булевых алгебр : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.06 Математическая логика, алгебра и теория чисел / Баженов Николай Алексеевич ; [Институт математики им. С. Л. Соболева Сибирского отделения Российской академии наук] |