| № | Дата |
Автор |
Заглавие |
|---|
|
2012 |
Фреге, Готтлоб (доктор философии ; 1848—1925) |
Логика и логическая семантика / Г. Фреге ; перевод с немецкого, вступительная статья, введение и послесловие Б. В. Бирюкова ; под редакцией З. А. Кузичевой ; комментарии Б. В. Бирюкова, З. А. Кузичевой ; Русская ассоциация чтения, Межвузовский центр исследования информационной культуры РФ |
|
2010 |
Мовсесян, Арсен Андреевич (физик) |
Основы квантовой математики / А. А. Мовсесян |
|
1983 |
Карпунин, Валерий Андреевич (доктор философских наук ; род. 1948) |
Формальное и интуитивное в математическом познании / В. А. Карпунин ; Министерство высшего и среднего специального образования РСФСР |
|
2014 |
Крылов, Сергей Михайлович (доктор технических наук ; род. 1948) |
Руководство по конструированию вселенных : алгоритмы и технологии / С. М. Крылов |
|
2015 |
Бирюков, Борис Владимирович (доктор философских наук ; род. 1922) |
Проблема логического обоснования дедуктивно-математического знания от Античности до XX века : логико-математический и философский аспекты / Б. В. Бирюков, Л. Г. Бирюкова |
|
2018 |
Кикель, Павел Васильевич (доктор философских наук ; род. 1944) |
Философия и математизация / П. В. Кикель |
|
2009 |
Тарасенко, Владислав Валерьевич (кандидат философских наук ; род. 1970) |
Фрактальная логика / В. В. Тарасенко ; предисловие С. П. Капицы ; Российская академия наук, Институт философии |
|
2013 |
|
Математика: множества и операции над ними : практическое руководство для студентов педагогических специальностей учреждений высшего образования / Министерство образования Республики Беларусь, Учреждение образования "Барановичский государственный университет" ; [составители: В. В. Арцименя, В. В. Мялик] |
|
1996 |
Мижевич, Ольга Михайловна (кандидат философских наук) |
Философско-методологические проблемы алгоритмизации : автореферат диссертации на соискание ученой степени кандидата философских наук : специальность 09.00.07 Логика / Мижевич Ольга Михайловна ; Санкт-Петербургский государственный университет |
|
2010 |
Гейтинг, Аренд (математик ; 1898—1980) |
Интуиционизм : введение / А. Гейтинг ; перевод с английского В. А. Янкова ; под редакцией А. А. Маркова |
|
2018 |
Кикель, Павел Васильевич (доктор философских наук ; род. 1944) |
Математика и математизация / П. В. Кикель |
|
2013 |
Михайлова, Наталия Викторовна (кандидат философских наук ; математик) |
Философско-методологический анализ проблемы обоснования современной математики : монография / Н. В. Михайлова ; Министерство образования Республики Беларусь, Учреждение образования "Минский государственный высший радиотехнический колледж" |
|
2015 |
Фреге, Готтлоб (доктор философии ; 1848—1925) |
Логика и логическая семантика / Г. Фреге ; перевод с немецкого, вступительная статья, введение и послесловие Б. В. Бирюкова ; под редакцией З. А. Кузичевой ; комментарии Б. В. Бирюкова, З. А. Кузичевой ; Русская ассоциация чтения, Межвузовский центр исследования информационной культуры РФ |
|
2012 |
Нугаев, Ринат Магдиевич (доктор философских наук ; род. 1953) |
Коперниканская научная революция: синтез физики земли и математики неба / Р. М. Нугаев |
|
2022 |
Иванус, Александр Иванович |
Искусственная генерация новых знаний. Моделирование процессов мышления для получения новых знаний вне мозга человека. Качественный скачок в развитии искусственного интеллекта / А. И. Иванус |
|
2008 |
Поздняков, Сергей Николаевич (доктор педагогических наук) |
Дискретная математика : учебник по направлениям подготовки "Информатика и вычислительная техника", "Информационные системы", "Информационная безопасность" / С. Н. Поздняков, С. В. Рыбин |
|
2007 |
Бежанишвили, Михаил Николаевич |
Логика модальностей знания и мнения / М. Н. Бежанишвили ; предисловие В. К. Финна, [с. 7―16] |
|
2017 |
Коновалов, Александр Юрьевич |
Конструктивные семантики логических языков, основанные на обобщенной вычислимости : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.06 Математическая логика, алгебра и теория чисел / Коновалов Александр Юрьевич ; ФГБОУ ВО "Московский государственный университет им. М. В. Ломоносова" |
|
2013 |
Калядин, Николай Иванович (кандидат технических наук) |
Конструктивизация моделей классификации конечных объектов: концепция, методы и компьютерная реализация : автореферат диссертации на соискание ученой степени доктора физико-математических наук : специальность 05.13.18 Математическое моделирование, численные методы и комплексы программ / Калядин Николай Иванович ; [Ижевский государственный технический университет им. М. Т. Калашникова (ИжГТУ)] |
|
2011 |
Kolman, Vojtĕch |
Idea, číslo, pravidlo : prolegomena k analytické filozofii, která se nechce stát přísnou vědou / Vojtěch Kolman |
СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ