№ | Дата |
Автор |
Заглавие |
---|
|
2004 |
Шурыгин, Виктор Афанасьевич |
Основы конструктивного математического анализа / В.А.Шурыгин |
|
2003 |
Драгалин, Альберт Григорьевич (математика, логика ; 1941—1998) |
Конструктивная теория доказательств и нестандартный анализ : сборник / А.Г.Драгалин |
|
1983 |
|
Справочная книга по математической логике : в 4 ч. : перевод с английского / под редакцией Дж. Барвайса. — Теория доказательств и конструктивная математика / [К. Сморинский и др.] ; перевод Г. В. Давыдова, Г. Е. Минца ; под редакцией В. П. Оревкова |
|
2018 |
Четверухин, Николай Федорович (доктор физико-математических наук ; 1891—1974) |
Методы геометрических построений : [учебное пособие] / Н. Ф. Четверухин |
|
2005 |
Олемской, Игорь Владимирович |
Струкутурный подход в задаче конструирования и реализации явных одношаговых методов : автореферат диссертации на соискание ученой степени доктора физико-математических наук : 05.13.18 / Олемской Игорь Владимирович ; Санкт-Петербургский государственный университет |
|
2004 |
Петров, Юрий Александрович |
Логические проблемы абстракций бесконечности и осуществимости / Ю.А.Петров ; ответственный редактор С.А.Яновская ; [предисловие Б.В.Бирюкова, с. I-XXXVII] |
|
2021 |
Светлов, Виктор Александрович (доктор философских наук ; род. 1945) |
Философия математики : основные программы обоснования математики ХХ столетия : учебное пособие для студентов высших учебных заведений, обучающихся по направлению "Социально-экономическое образование" / В. А. Светлов |
|
2006 |
Одинцов, Сергей Павлович (доктор физико-математических наук ; род. 1962) |
Конструктивные отрицания и паранепротиворечивость : автореферат диссертации на соискание ученой степени доктора физико-математических наук : 01.01.06 / Одинцов Сергей Павлович ; [Институт математики им. С. Л. Соболева СО РАН] |
|
2006 |
Жестков, Сергей Васильевич (доктор физико-математических наук, математика ; 1952—2014) |
Конструктивные методы построения глобальных решений нелинейных уравнений в частных производных : монография / С.В. Жестков ; Могилев. гос. ун-т им. А.А. Кулешова |
|
2017 |
Коновалов, Александр Юрьевич |
Конструктивные семантики логических языков, основанные на обобщенной вычислимости : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.06 Математическая логика, алгебра и теория чисел / Коновалов Александр Юрьевич ; ФГБОУ ВО "Московский государственный университет им. М. В. Ломоносова" |
|
2023 |
Тростников, Виктор Николаевич (кандидат философских наук ; 1928—2017) |
Конструктивные процессы в математике : философский аспект / В. Н. Тростников ; ответственные редакторы: Б. В. Бирюков, Б. А. Кушнер |
|
2006 |
Купчинаус, Сергей Юрьевич |
Дидактические условия развития конструкторско-логического мышления студентов - будущих педагогов-математиков : автореферат диссертации на соискание ученой степени кандидата педагогических наук : 13.00.01 / Купчинаус Сергей Юрьевич ; [Удмуртский государственный университет] |
|
2005 |
"Проблемы управления и приложения (техника, производство, экономика)", международная конференция (2005 ; Минск) |
Труды международной конференции "Проблемы управления и приложения (техника, производство, экономика)", Минск, 16-20 мая, 2005 = Proceedings of the international conference "Control problems and applications (technology, industry, economics)", Minsk, May 16-20, 2005 : [в 3 т.] / Нац. акад. наук Беларуси, Ин-т математики НАН Беларуси ; ред. Ф.М. Кириллова. — Т. 1: Управление и оптимизация = Control and optimization |
|
2022 |
Попов, Александр Иванович (кандидат физико-математических наук ; доктор исторических наук ; 1899—1973) |
Введение в математическую логику / А. И. Попов |
|
2005 |
"Проблемы управления и приложения (техника, производство, экономика)", международная конференция (2005 ; Минск) |
Труды международной конференции "Проблемы управления и приложения (техника, производство, экономика)", Минск, 16-20 мая, 2005 = Proceedings of the international conference "Control problems and applications (technology, industry, economics)", Minsk, May 16-20, 2005 : [в 3 т.] / Нац. акад. наук Беларуси, Ин-т математики НАН Беларуси ; ред. Ф.М. Кириллова. — Т. 2: Управление и оптимизация = Control and optimization |
|
1993 |
Devore, Ronald A. |
Constructive approximation / Ronald A. Devore, George G. Lorentz |
|
2000 |
Кучуганов, Михаил Валерьевич |
Логика фундированных действий : автореферат диссертации на соискание ученой степени кандидат физико-математических наук : специальность 05.13.18 Теоретические основы математического моделирования, численные методы и комплексы программ / Кучуганов Михаил Валерьевич ; Удмуртский государственный университет |
|
2016 |
Светлов, Виктор Александрович (доктор философских наук ; род. 1945) |
Философия математики : основные программы обоснования математики XX столетия : учебное пособие для студентов высших учебных заведений, обучающихся по направлению 540400 (050400) "Социально-экономическое образование" / В. А. Светлов |