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

[Текст] : монография / А. И. Мальцев, И. А. Мальцев. - Новосибирск : Институт математики, 2009. - 188 с. : ил., табл. - Библиогр.: с.141-183 . - Предм. указ.: с. 184-187. - В надзаг.: Российская академия наук; Сибирское отделение; Институт математики им. С.Л. Соболева. - ISBN 978-5-86134-156-1 : 5.00 р.

ГРНТИ	27.17
УДК	512.64^V3

ББК В152.61

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

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

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

[Текст] : переводное издание / Л. Кутюра ; пер. с фр. И. В. Слешинский. - 2-е изд. - Москва : URSS : Либроком, 2011. - 117 с. : ил. - (Физико-математическое наследие : ФМН. Математика (основания математики и логика)). - Библиогр.: с. 116-117. - Репринтное издание, выходные данные оригинала: Одесса, 1909. - ISBN 978-5-397-02663-5 : 140.00 р.

ГРНТИ

27.03

ББК В123

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

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

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

[Текст] : учебное пособие / Г.П. Гаврилов, А.А. Сапоженко. - Изд. 2-е, перераб. и доп. - Москва : Наука, 1992. - 408 с. : ил., табл. - Библиогр.: с. 403. - Предм. указ.: с. 404-406. - ISBN 5-02-013991-2 : Б. ц.

ГРНТИ

27.03

ББК В12я73

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

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

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