№ | Дата |
Автор |
Заглавие |
---|
|
2007 |
Марченков, Сергей Серафимович (доктор физико-математических наук ; род. 1945) |
Рекурсивные функции / С. С. Марченков |
|
2007 |
Тюленев-Лисовик, Леонид Петрович (род. 1948) |
Теория трансдьюсеров : [монография] / Л.П. Лисовик. — Т. 3. Кн. 6, Функции и аппликативные системы |
|
1988 |
Капитонова, Юлия Владимировна (доктор физико-математических наук ; 1935—2008) |
Математическая теория проектирования вычислительных систем / Ю. В. Капитонова, А. А. Летичевский |
|
2012 |
Игошин, Владимир Иванович (кандидат физико-математических наук ; доктор педагогических наук ; род. 1948) |
Теория алгоритмов : учебное пособие : для студентов высших учебных заведений, обучающихся по специальности 050201.65 ― математика / В. И. Игошин |
|
2013 |
Манин, Юрий Иванович (доктор физико-математических наук ; 1937—2023) |
Введение в современную теорию чисел / Ю. И. Манин, А. А. Панчишкин |
|
2023 |
Марченков, Сергей Серафимович (доктор физико-математических наук ; род. 1945) |
Избранные главы дискретной математики / С. С. Марченков |
|
2007 |
Целищев, Виталий Валентинович (доктор философских наук ; переводчик ; род. 1942) |
Интуиция, финитизм и рекурсивное мышление / В. В. Целищев ; Ин-т философии и права, Сиб. отд-ние РАН |
|
2017 |
Коновалов, Александр Юрьевич |
Конструктивные семантики логических языков, основанные на обобщенной вычислимости : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.06 Математическая логика, алгебра и теория чисел / Коновалов Александр Юрьевич ; ФГБОУ ВО "Московский государственный университет им. М. В. Ломоносова" |
|
2019 |
Шапорев, Сергей Дмитриевич (доктор физико-математических наук) |
Математическая логика : курс лекций и практических занятий : учебное пособие для студентов вузов, обучающихся по специальностям 220200 "Автоматизированные системы обработки информации и управления", 071900 "Информационные системы в технике и технологиях" / С. Д. Шапорев |
|
2001 |
Дерягин, Владимир Борисович |
Дискретные симметрии интегрируемых систем : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : 01.04.02 / Дерягин Владимир Борисович ; Объед. ин-т ядер. исслед |
|
2002 |
Витер, Дмитрий Александрович |
Примитивно рекурсивная реализуемость и конструктивная теория моделей : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : 01.01.06 / Витер Дмитрий Александрович ; Моск. гос. ун-т им. М.В.Ломоносова, Мех.-мат. фак |
|
2017 |
Марченков, Сергей Серафимович (доктор физико-математических наук ; род. 1945) |
Классы элементарных рекурсивных функций / С. С. Марченков |
|
2006 |
Опойцев, Валерий Иванович (доктор физико-математических наук, математик ; род. 1944) |
Лекции по математике : [краткое и ясное излож. предмета] / В. Босс. — Т. 6: От Диофанта до Тьюринга |
|
2017 |
Стахов, Алексей Петрович (доктор технических наук ; 1939—2021) |
The "golden" non-Euclidean geometry : Hilbert's fourth problem, "golden" dynamical systems, and the fine-structure constant / Alexey Stakhov, Samuil Aranson ; assisted by Scott Olsen |
|
1995 |
Соловьев, Валерий Дмитриевич |
Функциональные системы рекурсивных функций и предикатов с сильными программными средствами замыкания : Автореф. дис. на соиск. учен. степ. д-ра физ.-мат. наук : 05.13.17 / Казан. гос. ун-т им. В.И.Ульянова-Ленина |
|
2001 |
Хофштадтер, Дуглас (физик ; род. 1945) |
Гедель, Эшер, Бах: эта бесконечная гирлянда / Пер. с англ. Эскиной М.А |
|
2012 |
Ершов, Юрий Леонидович (доктор физико-математических наук ; род. 1940) |
Алгоритмы и вычислимость в человеческом познании / Ю. Л. Ершов, В. В. Целищев ; научные редакторы: К. Ф. Самохвалов, А. С. Морозов ; Российская академия наук, Сибирское отделение, Институт математики им. С. Л. Соболева, Институт философии и права |
|
2009 |
Клини, Стивен Коул (1909—1994) |
Введение в метаматематику / С. К. Клини ; перевод с английского А. С. Есенина-Вольпина ; под редакцией В. А. Успенского |
|
2009 |
Chiswell, Ian |
A course in formal languages, automata and groups [Electronic resource] / Ian Chiswell |
|
2022 |
|
Построение и анализ алгоритмов : методические рекомендации к лабораторным работам для студентов специальности 1-53 01 02 "Автоматизированные системы обработки информации" очной и заочной форм обучения / Межгосударственное образовательное учреждение высшего образования "Белорусско-Российский университет", Кафедра "Автоматизированные системы управления" ; [составитель И. А. Беккер] |