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

[Текст] = Group polygonometries : монография / С.В. Судоплатов. - 2-е изд. - Новосибирск : НГТУ, 2013. - 301 с. : ил. - (Монографии НГТУ). - Библиогр.: с. 280-289. - ISBN 978-5-7782-2033-1 : 90.00 р.

ГРНТИ	27.03	27.15	27.45
УДК	514.116

ББК В152 + В122 + В174.2

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

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