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

[Текст] : Сборник статей / Российская академия наук ; Российская академия наук; Под ред. С.И. Адяна. - Москва : Наука, 2003. - 207 с. - (Труды Математического института им. В.А. Стеклова ; вып. 242). - Библиогр.: с. 135. - К 100-летию академика П. С. Новикова. - Несколько статей на англ. яз. - ISBN 5-02-032604-6 : 141.00 р., 57.50 р.

ГРНТИ	27.03.19	27.17
УДК	510.6^V3	512^V3

ББК В12 + В15 + В1я43 + В12я43 + В15я43

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

Труды Математического института имени В. А. Стеклова,
том 242

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

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

[Текст] : дополнительные главы / А.Н. Колмогоров, А.Г. Драгалин. - 4-е изд., обновл. - Москва : Едиториал УРСС, 2013. - 236, [1] с. - (Классический университетский учебник). - Библиогр.: с. 227-228. - В надзаг.: Московский государственный университет имени М.В. Ломоносова. - ISBN 978-5-354-01448-4 : 461.00 р.

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

ББК В12я73

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

Держатели документа:
ИВМ СО РАН : 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)