№ | Дата |
Автор |
Заглавие |
---|
|
2009 |
Гаврюшкин, Александр Николаевич |
Вычислимые модели Эренфойхтовых теорий : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.06 / Гаврюшкин Александр Николаевич ; [Новосибирский государственный университет] |
|
2009 |
Зубков, Максим Витальевич |
Вычислимые линейные порядки и η-представимость : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.06 / Зубков Максим Витальевич ; [ГОУ ВПО "Казанский государственный университет им. В. И. Ульянова-Ленина"] |
|
2010 |
Максимовский, Михаил Юрьевич |
Полигоны и мультиполигоны над полугруппами : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.06 / Максимовский Михаил Юрьевич ; [Московский государственный институт электронной техники] |
|
1983 |
|
Справочная книга по математической логике : в 4 ч. : перевод с английского / под редакцией Дж. Барвайса. — Теория доказательств и конструктивная математика / [К. Сморинский и др.] ; перевод Г. В. Давыдова, Г. Е. Минца ; под редакцией В. П. Оревкова |
|
2012 |
Снятков, Алексей Сергеевич |
Разрешимость теорий иерархий согласованных со сложением функций : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.06 Математическая логика, алгебра и теория чисел / Снятков Алексей Сергеевич ; [Тверской государственный университет] |
|
2018 |
Судоплатов, Сергей Владимирович (доктор физико-математических наук ; род. 1964) |
Классификация счётных моделей полных теорий : [монография : в 2 ч.] / С. В. Судоплатов |
|
2010 |
Гаврюшкина, Александра Анатольевна |
Автоматные и вычислительные упорядочиваемые множества : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.06 / Гаврюшкина Александра Анатольевна ; [Новосибирский государственный университет] |
|
2010 |
Русалеев, Михаил Андреевич |
Обобщенно стабильные теории : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.06 / Русалеев Михаил Андреевич ; [Институт математики им. С. Л. Соболева Сибирского отделения Российской академии наук] |
|
2018 |
Судоплатов, Сергей Владимирович (доктор физико-математических наук ; род. 1964) |
Классификация счётных моделей полных теорий : [монография : в 2 ч.] / С. В. Судоплатов. — Ч. 2 |
|
2009 |
Махортов, Сергей Дмитриевич (доктор физико-математических наук, информатика) |
Теория LP-структур для построения и исследования моделей знаний продукционного типа : автореферат диссертации на соискание ученой степени доктора физико-математических наук : 05.13.17 / Махортов Сергей Дмитриевич ; Московский государственный университет им. М. В. Ломоносова |
|
2019 |
Александрова, Светлана Анатольевна |
∑-определимость в наследственно конечных надстройках над расширениями поля действительных чисел : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.06 Математическая логика, алгебра и теория чисел / Александрова Светлана Анатольевна ; [Новосибирский национальный исследовательский государственный университет] |
|
2018 |
Судоплатов, Сергей Владимирович (доктор физико-математических наук ; род. 1964) |
Классификация счётных моделей полных теорий : [монография : в 2 ч.] / С. В. Судоплатов. — Ч. 1 |
|
2008 |
Солдатенко, Илья Сергеевич (кандидат физико-математических наук) |
Методы решения задач возможностной оптимизации с взаимодействующими параметрами : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.18 / Солдатенко Илья Сергеевич ; [Тверской государственный университет] |
|
1973 |
Румянцева, Элеонора Алексеевна (кандидат философских наук) |
Инженерно-математический стиль мышления и материалистическая диалектика : автореферат диссертации на соискание ученой степени кандидата философских наук : специальность 09.00.01 Диалектический и исторический материализм / Румянцева Элеонора Алексеевна ; Министерство высшего и среднего специального образования БССР, Белорусский государственный университет им. В. И. Ленина |
|
2009 |
Кулпешов, Бейбут Шайыкович |
Бинарность и счетная категоричность для вариантов о-минимальности: слабой о-минимальности и слабой циклической минимальности : автореферат диссертации на соискание ученой степени доктора физико-математических наук : 01.01.06 / Кулпешов Бейбут Шайыкович ; [ДГП "Институт проблем информатики и управления" Комитета науки Минитстерства образования и науки Республики Казахстан] |
|
2013 |
Плохотников, Константин Эдуардович (доктор физико-математических наук ; род. 1954) |
Разработка и обоснование нового подхода к методу математического моделирования: проблема предметной множественности моделей и анализ адекватности их целям исследования : автореферат диссертации на соискание ученой степени доктора физико-математических наук : специальность 05.13.18 Математическое моделирование, численные методы и комплексы программ / Плохотников Константин Эдуардович ; [Московский государственный университет им. М. В. Ломоносова] |
|
2013 |
Приходько, Павел Викторович |
Применение методов агрегации экспертов и регрессии на основе гауссовских процессов для построения метамоделей : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 05.13.17 Теоретическая основы информатики / Приходько Павел Викторович ; [Институт проблем передач информации им. А. А. Харкевича РАН] |
|
2013 |
Душенин, Дмитрий Игоревич (кандидат физико-математический наук) |
Абелевы р-группы и автоустойчивость относительно оракула : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.06 Математическая логика, алгебра и теория чисел / Душенин Дмитрий Игоревич ; [Институт математики им. С. Л. Соболева Сибирского отделения Российской академии наук] |
|
2015 |
Ле Нгуен Виен |
Дистанционная диагностическая система на основе гибридных моделей знаний : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.13.01 Системный анализ, управление и обработка информации (промышленность) / Ле Нгуен Виен ; [Вологодский государственный технический университет] |
|
2017 |
Когабаев, Нурлан Талгатович (кандидат физико-математических наук ; род. 1975) |
Вычислимые представления проективных плоскостей : автореферат диссертации на соискание ученой степени доктора физико-математических наук : специальность 01.01.06 Математическая логика, алгебра и теория чисел / Когабаев Нурлан Талгатович ; [Институт математики им. С. Л. Соболева] |