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

[Текст] : Учебное пособие / Е.М. Бениаминов, Е.А. Ефимова. - Москва : Научный мир, 2004. - 168 с. - Библиогр.: с.163-164. - Предм. указ.: с.165-167. - ISBN 5-89176-246-3 : 91.00 р.

ГРНТИ	27.17
УДК	002.53:681.327

ББК В144

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

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

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

[Текст] : нелитературный текст / Е.М. Бениаминов. - Москва : Научный мир, 2003. - 184 с. - Библиогр.: с. 171-178. - Предм. указ.: с. 179-181. - ISBN 5-89176-208-0 : 176.00 р.

УДК

002.53

681.327

ББК З973.2-018.22

Аннотация: В книге представлены результаты, полученные за последние 20 лет зарубежными и отечественными авторами, включая автора книги, по развитию и применению алгебраических методов в задачах моделирования баз данных и систем представления знаний. Книга содержит описания алгебраических средств моделирования баз данных реляционного типа, представления знаний и баз понятий. В ней излагаются результаты алгебраических исследований строения реляционных алгебр и категорий, используемых в задачах моделирования. Результаты могут быть использованы при проектировании информационных систем. Книга написана для научных работников, студентов и аспирантов с интересами в области алгебры и ее приложений к Computer science. Стиль книги строится на сочетании математического описания задач моделирования, строгого математического изложения результатов и доказательств с примерами применения полученных результатов. В основу значительной части книги положен курс лекций, читаемый автором в течение ряда лет для студентов факультета информатики РГГУ и отделения интеллектуальных систем Института лингвистики РГГУ.

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