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

[Текст] : монография / С.С. Гончаров; Под ред. Ю.Л.Ершова. - Новосибирск : Научная книга, 1996. - 364+xii с. : ил. - (Сибирская школа алгебры и логики ; 3). - Библиогр.: с.341-356. - ISBN 5-88119-004-1 : 25.00 р.

УДК

510.6

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

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

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

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

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

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

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

ГРНТИ

27.01.33

27.03.19

ББК В12


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

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