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

[Текст] : монография / Ю.Л. Ершов. - Москва : Наука, 1977. - 416 с. : ил. - (Математическая логика и основания математики). - Библиогр.: с. 402-410. - 1.80 р.

УДК

512.8

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

[Текст] : монография / С.С. Гончаров, Ю.Л.Ершов; РАН; Сиб. отд-ние; Новосиб. госун-т; Ин-т дискрет. математики и информатики. - Новосибирск : Научная книга, 1999. - 345 с. : ил. - (Сибирская школа алгебры и логики / Гл. ред. серии Ю.Л. Ершов). - Библиогр.: с. 321-345. - ISBN 5-88119-021-1 : 70.00 р.ББК В122

Аннотация: Шестой том учрежденной в 1995 г. Сибирским фондом алгебры и логики математической книжной серии Сибирская школа алгебры и логики под редакцией академика Ю.Л.Ершова. Все книги серии издаются одновременно на английском языке Kluwer Academic/Plenum Publishers. Представлена теория конструктивных (рекурсивных) моделей на основе методов, подходов и результатов, полученных в рамках Сибирской школы алгебры и логики, а также некоторые близкие результаты других математиков. Для исследователей в области математической логики и приложений.

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

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

[Текст] : монография / Ю.Л. Ершов; РАН; Сиб. отд-ние; Ин-т математики; Ин-т дискретной математики и информатики. - Новосибирск : Научная книга, 2000. - 340 с. - (Сибирская школа алгебры и логики ; т.7). - Библиогр.: с.319-326. - ISBN 5-88119-028-9 : 75.00 р.

УДК	510.53:512.52

Аннотация: Седьмой том учрежденной в 1995 г. Сибирским фондом алгебры и логики математической книжной серии Сибирская школа алгебры и логики под редакцией Ю.Л.Ершова. Все книги серии издаются одновременно на английском языке Kluwer Academic/Plenum Publishers. Достаточно полно представлены теория нормированных полей и основы теории прюферовых колец с "геометрической" точки зрения. Изложены алгебраические и теоретико-модельные свойства кратно нормированных полей с почти булевыми семействами колец нормирования, удовлетворяющих локально-глобальному принципу. Для исследователей в области коммутативной алгебры и математической логики. Материал первых двух глав доступен студентам-математикам старших курсов.

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

[Текст] : Учебное пособие / Ю.Л. Ершов, Е.А. Палютин. - Москва : Наука, 1979. - 320 с. : ил. - Предм. указ.: с. 314-318. - 0.80 р.

УДК

512.8

ББК В12


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

/ Под ред. Дж. Барвайса. - Москва : Наука. Главная редакция физико-математической литературы, 1982 - 1983. / Пер. с англ. С.Г. Дворникова, И.А. Лаврова ; Под ред. Ю.Л. Ершова. - 1982. - 359 с. - Предм. указ.: с. 354-359. - 2.00 р.ББК В12я22


Держатели документа:
Центральная научная библиотека КНЦ СО РАН : 660036, г. Красноярск, Академгородок, 50
Доп.точки доступа:
Барвайс, Дж. \ред.\; Дворников, С.Г. \пер.\; Лавров, И.А. \пер.\; Ершов, Ю.Л. \ред.пер.\
Экземпляры всего: 1
ЦНБ-ХР (1)
Свободны: ЦНБ-ХР (1)

: в 4-х ч. / Под ред. Дж. Барвайса. - Москва : Наука. Главная редакция физико-математической литературы, 1982 - . : Перевод с английского / ред. Дж. Барвайс ; пер. С. С. Гончаров [и др.] ; ред.пер.: Ю. Л. Ершов, Е. А. Палютин, А. Д.] Тайманов. - 1982. - 392 с. : ил. - Предм. указ.: с. 388-391. - 2.20 р.

ГРНТИ

27.01.33

27.03.19

ББК В12


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

Доп.точки доступа:
Барвайс, Дж. \ред.\; Гончаров, С.С. \пер.\; Дзгоев, В.Д. \пер.\; Самохвалов, К.Ф. \пер.\; Свириденко, Д.И. \пер.\; Ершов, Ю.Л. \ред.пер.\; Палютин, Е.А. \ред.пер.\; Тайманов, А.Д.] \ред.пер.\
Экземпляры всего: 1
ЦНБ-ХР (1)
Свободны: ЦНБ-ХР (1)