Сводный каталог книг

[Текст] = Philosophy of mathematics and technics : Учеб. пособие для студентов, соискателей и аспирантов техн. вузов / С.А. Лебедев и др. ; Под общ. ред. С.А. Лебедева. - Москва : Академический проект, 2006. - 779 с. - (Gaudeamus). - ISBN 5-8291-0748-1 : 243.75 р.

ГРНТИ

02.21

ББК Ю22я73 + Ю251

Аннотация: В учебном пособии анализируются современные философские проблемы математики, информатики, технических наук и логики. Книга написана профессорами МГУ им. М.В. Ломоносова и других российских вузов. В пособии раскрываются предмет, структура и закономерности математики, информатики, технических и технологических наук, их взаимосвязь с философией, эксплицируются философские основания этих областей знания и предлагаются решения их актуальных философских проблем. Учебное пособие адресовано прежде всего аспирантам технических и математических специальностей для подготовки к сдаче кандидатского минимума по истории и философии науки, а также студентам, преподавателям, научным сотрудникам, всем, кто интересуется современными проблемами философии науки.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Лебедев, Сергей Александрович \конс.\
Экземпляры всего: 1
ИВМ-ЧЗ (1)
Свободны: ИВМ-ЧЗ (1)

[Текст] : монография / В.В. Целищев ; Отв. ред. А.В. Бессонов; Ин-т философии и права, Сиб. отд-ние РАН. - Новосибирск : Нонпарель, 2003. - 240 с. : ил. - (Новая философия математики). - Библиогр.: с. 234-238. - ISBN 5-93089-020-X : 10.00 р.

ГРНТИ	27
УДК	51:1^V3

ББК В1

Аннотация: В монографии отражены исследования в области философии математики, важные для понимания природы абстрактных объектов математики, в частности, природы натуральных чисел и множеств. В центре внимания работы находятся понятия существования математического объекта и структуры. Значительная часть книги посвящена исследованиям последнего десятка лет. Книга предназначена всем, интересующимся философией математики.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Бессонов, А.В. \ред.\
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : новая философия математики / В.В. Целищев; Отв. ред. А.В. Бессонов; Ин-т философии и права, Сиб. отд-ние РАН. - Новосибирск : Наука, 2002- - . - 2002. - 212 с. - Библиогр.: с. 205-210. - ISBN 5-02-031888-4 : 5.00 р.

ГРНТИ	27
УДК	51:1^V3

ББК Ю251.4:В1

Аннотация: В монографии отражены исследования в области философии математики, чрезвычайно важные для понимания соотношения формальных систем и их философских интерпретаций. В центре внимания находятся интерпретации теоремы Левенгейма - Сколема и континуум-гипотезы Кантора, а также обсуждение теоретико-множественных аксиом и логических языков математики. Значительная часть книги посвящена исследованиям философов математики, проведенным за последние два десятка лет. Книга предназначена всем, интересующимся философией математики.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Бессонов, А.В. \ред.\
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : монография / В.В. Целищев ; Ин-т философии и права, Сиб. отд-ние РАН. - Новосибирск : Параллель, 2006. - 212 с. : ил. - (Новая философия математики). - Библиогр.: с. 209-211. - ISBN 5-98901-010-9 : 50.00 р.

ГРНТИ	27
УДК	51:1^V3

ББК Ю251

Аннотация: В монографии отражены исследования в области философии математики, важные для понимания природы математического доказательства, в частности, двух типов доказательства - по "озарению" и комбинаторного. Значительная часть книги посвящена проблемам компьютерного доказательства. Книга предназначена всем, интересующимся философией математики.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : Основные программы обоснования математики ХХ столетия: учеб. пособие для вузов по направлению 540400 (050400) "Соц.-экон. образование" / В.А. Светлов. - Москва : КомКнига ; Москва : URSS, 2006. - 208 с. : ил. - ISBN 5-484-00453-5 : 200.00 р.

ГРНТИ	27
УДК	51:1^V3

ББК Ю251 + В1

Аннотация: Настоящее пособие подготовлено на основе авторского курса по истории и философии науки для аспирантов естественно-научного и гуманитарного циклов. Дан подробный анализ четырех ведущих программ обоснования философии XX столетия - логицизма, интуиционизма, конструктивизма и формализма. Главный акцент сделан на раскрытии философских допущений перечисленных программ и доступном изложении тезисов и основных результатов каждой из них. В пособии используется большое количество первоисточников и критической литературы. В первой главе автором излагается общий подход к проблеме обоснования математики. Предлагается решение, выходящее за рамки известной дихотомии априоризма и апостериоризма математического знания. Объясняется, почему ни одна из анализируемых программ не может считаться удовлетворительной в полной мере. Пособие написано в соответствии с требованиями Программы кандидатских экзаменов по "Истории и философии науки", одобренной Высшей аттестационной комиссией и утвержденной приказом Министерства образования России от 17.02.2004, № 697. Адресовано студентам, аспирантам, преподавателям, ученым, а также всем, кто самостоятельно изучает философские проблемы математики и кого интересуют логика и методология современной науки.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : монография / Н.П. Чупахин ; Федер. агентство по образованию, Том. гос. пед. ун-т, Ин-т теории образования. - Томск : Томский государственный педагогический университет, 2004. - 172 с. - Библиогр.: с. 153-169. - ISBN 5-89428-164-4 : 301.00 р.

ГРНТИ	02.15.31	02.31.21	27.01.07
УДК	130.121.4^V3

ББК Ю224.0 + Ю252:В1 + В1в

Аннотация: Монография представляет собой попытку разработать концептуальные основы смысла в философии и математике. В основу исследования положен комплесный подход к решению проблем смыслообразования и смысловыявления, связывающий философию, психологию и математику смысла единым принципом взаимно однозначного соответствия потребностей и возможностей его носителей. Обстоятельно анализируется широкий круг философско-математических проблем, в решении которых особое внимание уделено методологической роли математики. Книга рассчитана на философов, математиков, психологов, специалистов сферы образования, преподавателей вузов и школ, а также на тех читателей, которые интересуются проблемами смыслообразования.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : избранное: [пер. с нем.] / Г. Грассман, Р. Грассман ; [отв. ред. Л. Г. Бирюкова, З. А. Кузичева; вступ. ст. Б. В. Бирюкова, Л. Г. Бирюковой, с. 5-56 ; послесл. Б. В. Бирюкова ; Рос. акад. наук, Ин-т философии]. - Москва : Наука, 2008. - 502 с. - (Памятники философской мысли / редкол.: Т. И. Ойзерман (пред.) и др.). - ISBN 978-5-02-033858-6 : 547.00 р.

ГРНТИ	27
УДК	51:1^V3

ББК В1 + Ю4

Аннотация: В сборник избранных работ выдающихся немецких мыслителей - братьев Г. Грассмана (1809-1877) и Р. Грассмана (1815-1901), занимающихся математикой, философией, логикой, филологией, включены тексты, раскрывающие разные стороны философских воззрений и методологии авторов. Тексты Грассманов подробно прокомментированы и снабжены обширным Послесловием. Для широкого круга читателей, интересующихся историей философии, логикой, философией математики, методологией науки.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Грассман, Роберт; Бирюкова, Л.Г. \ред.\; Кузичева, З.А. \ред.\; Ойзерман, Т.И. \ред.\; Бирюкова, Б.В. \.\
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : монография / Ю. Л. Ершов, К. Ф. Самохвалов ; Ин-т математики, Сиб. отд-ние РАН. - Новосибирск : Параллель, 2007. - 142 с. : ил. - (Новая философия математики). - Библиогр.: с. 140-142. - ISBN 978-5-98901-028-8 : 210.00 р.

ГРНТИ	27.01
УДК	51:1^V3

ББК В1в + Ю252:В1

Аннотация: В монографии отражены исследования в области философии математики, важные для понимания природы математической деятельности. В центре внимания работы находится понятие "задачного подхода", лежащее в основе нового взгляда на прагматическую сущность математики. Монография содержит критический анализ современного состояния философии математики с точки зрения указанного "задачного подхода". Для всех, интересующихся философией математики.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Самохвалов, Климентий Федорович
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : монография / Л. Кутюра ; ред. П. С. Юшкевич ; пер. с фр. Б. Корень ; Ф. Ф. Линде. - 2-е изд., испр. - Москва : URSS : ЛКИ, 2010. - 264 с. : ил. - (Физико-математическое наследие : ФМН. Математика (философия математики)). - Указ. имен: с. 261-262. - ISBN 978-5-382-01035-9 : 229.02 р.

ГРНТИ	27.01
УДК	51:1^V3

ББК В1в + Ю252:В1

Аннотация: Вниманию предлагается классическая работа французского математика и философа Л. Кутюра (1868-1914) - первая в России книга, где была изложена общая теория математической логики. Автор не только рассматривает современное ему состояние философии математики, но и приводят важнейшие результаты своего критического исследования основ математики, которые, по его мнению, в математической логике привели к слиянию дедуктивной логики и чистой математики в единую научную систему. Книга адресована математикам, философам, логикам, историкам и методологам науки, студентам и аспирантам соответствующих специальностей.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Юшкевич, Павел Соломонович \ред.\; Корень, Б. \пер.\; Линде, Ф.Ф. \.\
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : монография / В. В. Целищев ; Институт философии и права (Новосибирск), Сибирское отделение РАН. - Новосибирск : Параллель, 2008. - 172,[1] с. : ил. ; 22 см. - (Новая философия математики). - Библиогр.: с. 168-172. - 400 экз. - ISBN 978-5-98901-053-0 : 140.00 р.

ГРНТИ	27.03
УДК	51:1^V3

ББК В127,0

Аннотация: В монографии отражены исследования в области философии математики, важные для понимания природы вычислимости и ее роли в познании. В центре внимания находится тезис Черча, являющийся уточнением интуитивного понятия вычислимости, а также понятия алгоритма, лежащего в основе понятия вычисления. Книга предназначен а всем интересующимся философией математики.

Держатели документа:
Центральная научная библиотека КНЦ СО РАН : 660036, г. Красноярск, Академгородок, 50

Доп.точки доступа:
Институт философии и права (Новосибирск); Сибирское отделение РАН
Экземпляры всего: 1
ЦНБ-АБ (1)
Свободны: ЦНБ-АБ (1)