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

[Текст] : монография / Ю. Л. Ершов, К. Ф. Самохвалов ; Ин-т математики, Сиб. отд-ние РАН. - Новосибирск : Параллель, 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)

[Текст] = Information system of mathematical internet resourses MathTree : монография / [Ю. Л. Ершов и др.] ; отв. ред. О. А. Клименко ; Рос. акад. наук, Сиб. отд-ние, Ин-т вычислит. технологий и др. - Новосибирск : Сибирское отделение РАН, 2010. - 283, [3] с. : ил. - (Интеграционные проекты СО РАН ; вып. 22). - Библиогр.: с. 275-279. - Авт. указаны на обороте тит. л. - ISBN 978-5-7692-1095-2. - ISBN 978-5-7692-1095-2 (вып.22) : 10.00 р., 10.00 р.

ГРНТИ	27.41
УДК	519.7	004.6

ББК В19с512

Аннотация: Монография представляет результаты работы сотрудников из семи институтов Сибирского отделения РАН и одного института Дальневосточного отделения РАН - специалистов в различных областях математики, механики и информатики - по созданию математической информационной системы MathTree (www.mathtree.ru). Разработка системы была начата в 2003 г. под руководством академика Ю.Л.Ершова в рамках интеграционного проекта СО РАН "Разработка древовидного каталога математических Интернет-ресурсов" (2003-2005) и продолжена в рамках междисциплинарного интеграционного проекта "Древовидный каталог математических Интернет-ресурсов" (2006-2008). Необходимость создания системы MathTree обусловлена проблемой упорядочивания существующих и вновь создаваемых математических ресурсов. Монография предназначена для специалистов в области математики, механики и информатики, преподавателей, аспирантов и студентов соответствующих вузов

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

Доп.точки доступа:
Ершов, Юрий Леонидович; Клименко, Ольга Анатольевна; Мазов, Николай Алексеевич; Матвеева, И.И.; Пикалов, Валерий Владимирович; Филиппов, В.Э.; Филиппова, М.Я.
Экземпляры всего: 3
ИВМ-ЧЗ (1), ИВМ-ОРФ (1), ЦНБ-АБ (1)
Свободны: ИВМ-ЧЗ (1), ИВМ-ОРФ (1), ЦНБ-АБ (1)

[Текст] : монография / Ю.Л. Ершов, В.В. Целищев ; науч. ред.: К.Ф. Самохвалов, А.С. Морозов. - Новосибирск : СО РАН, 2012. - 497, [6] с. - (Интеграционные проекты СО РАН ; вып. 40). - Библиогр.: с. 490-497. - В надзаг.: Российская академия наук, Сибирское отделение, Институт математики им. С.Л. Соболева, Институт философии и права. - ISBN 978-5-7692-1248-8 (Вып. 40). - ISBN 978-5-7692-0669-6 : 10.00 р.

ГРНТИ

27.03

02.15

ББК В127в + Ю212.2

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

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

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

[Текст] : учебное пособие / Ю.Л. Ершов, Е.А. Палютин. - 3-е изд., стер. - Санкт-Петербург ; Москва ; Краснодар : Лань, 2004. - 336 с. - (Учебники для вузов. Специальная литература). - Предм. указ.: с. 335-336. - 2000 экз. - ISBN 5-8114-0533-2 (в пер.) : Б. ц.

ГРНТИ	27.03
УДК	510.6(075.8)

ББК В12я73

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

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

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