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

[Текст] : Пер.с англ. В.А. Душского, Е.Ю.Ногиной., Под ред.С.Н.Артемова / Джордж Булос, Ричард Джеффри. - Перевод изд.: Computability and logic/ G.S. Boolos, R.C.Jeffrey. - Москва : Мир, 1994. - 396 с. - Имен., предм. указ.: с.388-394. - 100.00 р.ББК В12


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

[Текст] : сб. науч. тр. / АН СССР. Сиб. отд-ние. Ин-т математики; Науч. редакторы: Ю.Л.Ершов, С.С.Гончаров. - Новосибирск : [б. и.], 1990. - 188 с. - (Вычислительные системы, ISSN 0568-661X ; вып.133). - Библиогр. в конце ст. - 1.00 р.
Аннотация: В сборнике содержатся статьи, посвященные теории абстрактных типов данных и проблемам семантического прграммирования. Исследуются проблемы конструктивности позитивных типов данных в терминах универсальных и универсальных хорновских предложений, вопросы полиномиальной автоустойчивости структур и различные аксиоматизации теории множеств и вопросы семантики. Изучена обобщенная вычислимость над вещественными числами, и изложены основные идеи и язык по реализации в рамках СИГМА-проекта математических разработок семантического программирования. Материалы сборника представляют интерес для специалистов по математической и прикладной логике, по теоретическому программированию и разработчиков логических систем программирования, а также для студентов и аспирантов указанных специальностей.

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

[Текст] : монография / Ю.Л. Ершов. - Новосибирск : Научная книга, 1996. - 286 с. : ил. - (Сибирская школа алгебры и логики). - Библиогр.: с. 277-279. - Предм. указ.: с. 281-184. - ISBN 5-88119-007-6 : 25.00 р.

УДК	510.6%ББК 87.4

Аннотация: Книга открывает учрежденную в 1995 г. Сибирским фондом алгебры и логики математическую книжную серию "Сибирская школа алгебры и логики" под редакцией академика Ю.Л. Ершова. Все книги серии издаются одновременно на английском языке издательством Plenum Publishing Corporation. Новое доказательство теоремы Геделя о неполноте, основанное на систематическом использовании формул с ограниченными кванторами. Новое изложение (на основе теоремы Ганди) теории допустимых множеств с праэлементами. Избранные темы, посвященные сигма-определимости, динамической логике, сигме-предикатам конечных типов и т.д. Для научных работников - специалистов по математической логике, алгебре, теоретическому программированию, информатике и смежным специальностям. Доступна аспирантам и студентам университетов.

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

[Текст] : сборник научных трудов / Науч. ред.Ю.Л.Ершов, С.С.Гончаров ; РАН; Сиб. отд-ние; Ин-т математики им. С.Л.Соболева. - Новосибирск : [б. и.], 1998. - 175 с. - (Вычислительные системы, ISSN 0568-661X ; вып.161). - Библиогр. в конце ст. - 5.00 р.ББК В173.1я43 + В127я43

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

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

[Текст] : монография / Ю.Л. Ершов; Ин-т математики СО РАН; Новосиб. гос. ун-т; Ин-т дискрет. математики и информатики. - 2-е изд., испр. и доп. - Новосибирск : Научная книга, 2000. - 318 с. - Библиогр.: с.306-314. - ISBN 5-282-02021-1 : 75.00 р.

УДК	519.6%ББК22.19

Аннотация: Первое издание книги открыло в 1996 г. серию монографий "Сибирская школа алгебры и логики" под редакцией акад. Ю.Л.Ершова, в рамках которой опубликованы к настоящему времени 7 томов ("Научная книга", Новосибирск), одновременно изданных на английском языке в серии "Siberian scool of Algebra and Logic" (Kluwer Academic / Plenium Publishers"). Второе издание (исправленное и дополненное) приурочено к 60-лнтию акад. Ю.Л.Ершова. Новое доказательство теоремы Гёделя о неполноте, основанное на систематическом использовании формул с ограниченными кванторами. Новое изложение (на основе теоремы Ганди) теории допустимых множеств с праэлементами. Избранные темы, посвященные Е-определимости, динамической логике, Е-предикатам конечных типов и т.д. Для научных работников - специалистов по математической логике, алгебры, теоретическому программированию, информатике и смежным специальностям. Доступна аспирантам и студентам университетов.

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

[Текст] : сборник научных трудов / Российская академия наук; Институт математики им. С. Л. Соболева ; Науч. ред. С. С. Гончаров. - Новосибирск : Институт математики им. С.Л. Соболева, 2002. - 188 с. : ил. - (Вычислительные системы, ISSN 0568-661X ; вып.169). - Библиогр. в конце ст. - 10.00 р.ББК З-973.2-01в641я43

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

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

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

[Текст] : сборник научных трудов / Российская академия наук; Институт математики им. С. Л. Соболева ; Науч. ред. К. Ф. Самохвалов. - [Б. м. : б. и.], 2002. - 123 с. - (Вычислительные системы, ISSN 0568-661X ; вып.170). - Библиогр. в конце статей. - 10.00 р.ББК Ю22я43

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

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

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

[Текст] : сборник статей / Под ред. О.Б. Лупанова. - Москва : Физматлит, 1988 - . : Сборник статей. - 2002. - 288 с. : ил. - Библиогр. в конце ст. - ISBN 5-9221-0376-8 : 27.00 р.

УДК	519.6(082)

ББК В18

Аннотация: Сборник продолжает (с 1988 г.) математическую направленность всемирно известной серии "Проблемы кибернетики". Представленные в выпуске работы охватывают широкий спектр проблем дискретной математики, математической логики, теории программирования, сложности и надежности управляющих систем, криптографии. Выпуск 10-2001 г. Для специалистов, аспирантов, студентов, интересующихся современным состоянием математической кибернетики и ее приложений.

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

[Текст] : О компьютерах, мышлении и законах физики / Р. Пенроуз; Пер. с англ., под общ. ред. Малышенко В.О. - Москва : Едиториал УРСС, 2003. - 384 с. : ил. - Библиогр.: с. 365-372. - Указ. имен., предм.: c. 373-379 . - Пер. изд. : The emperor's new mind/ Penrose R. - ISBN 5-354-00005-X : 202.00 р.ББК З-813 + В31 + В127

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

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

[Текст] : сборник статей / Под ред. Н.А. Карповой. - москва : Физматлит, 1988 - . : сборник научных трудов. - 2008. - 264 с. : ил. - Библиогр. в конце ст. - ISBN 978-5-9221-1055-6 : 336.38 р.

УДК	519.6(082)

ББК В18

Аннотация: Сборник продолжает (с 1988 г.) математическую направленность всемирно известной серии "Проблемы кибернетики". В сборник включены оригинальные и обзорные статьи по магистральным направлениям мировой науки, содержащие новейшие результаты фундаментальных исследований. Авторами сборника являются в основном известные специалисты, часть статей написана молодыми учеными, получившими в последнее время яркие новые результаты. Среди представленных в сборнике направлений - теория синтеза и сложности управляющих систем; связанные с многозначными логиками и автоматами проблемы выразимости и полноты в теории функциональных систем; фундаментальные вопросы дискретной оптимизации и распознавания; проблематика экстремальных задач для дискретных функций (задачи Фейера, Турана, Дельсарта на конечной циклической группе); исследование математических моделей передачи информации в сетях связи, представлен также ряд других разделов математической кибернетики. Следует отметить обзорную статью О.Б. Лупанова "А.Н. Колмогоров и теория сложности схем". Выпуск 16 - 2007 г. Для специалистов, аспирантов, студентов, интересующихся современным состоянием математической кибернетики и ее приложений.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 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)

: Пер. с англ. / Н. Катленд ; пер. А. А. Мучник ; ред.пер. С. Ю. Маслов. - [Б. м.] : МирМосква, 1983. - 256 с. : ил. - Библиогр.: с. 252-254. - 1.00 р.

ГРНТИ

27.15.17

ББК В127,0


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

Доп.точки доступа:
Мучник, А.А. \пер.\; Маслов, С.Ю. \ред.пер.\
Экземпляры всего: 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)