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

[Текст] : монография / В.Л. Васюков ; РАН , Ин-т философии. - Москва : ПЕР СЭ, 2005. - 192 с. : ил. - Библиогр.: с. 186-191 . - ISBN 5-9292-0142-0. - ISBN 5-85593-145-5 : 114.00 р., 114.00 р.

УДК

510

161

164

510.64

ББК В315в61 + В314 + В12

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

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

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

[Текст] : Монография / В.Л. Васюков. - Москва : АНО Институт логики, 2005. - 194 с. - Библиогр.: с. 185-190. - Предм. указ.: с. 191-194. - ISBN 5-85593-145-5 : 105.00 р., 105.00 р.

ГРНТИ	02.21
УДК	16	161	164	510.64

ББК Ю4 + В12

Аннотация: Монография посвящена исследованию категорных дедуктивных систем, представляющих собой логическое исчисление, в котором наряду с формулами присутствуют коды доказательств, преобразуемые по определенным правилам вывода, и операции над нами. Эти дедуктивные системы превращаются в категории в том случае, если мы задаем систему определенных тождеств для доказательств, т.е. категория - это дедуктивная система с записями о выводимости и правилами их отождествления. В монографии категорная логика рассматривается с точки зрения неклассической логики и ее потребностей (в частности, теории доказательств). Значительное внимание уделяется систематическому построению исчислений категорной логики и теоретико-категорных семантик для систем неклассической логики, призванных заменить теоретико-множественные и алгебраические семантики этих систем. В настоящее время монография подобной направленности в мировой литературе отсутствует. Книга представляет интерес для логиков, философов и математиков и может быть использована в исследовании теоретических и метатеоретических вопросов современной логики.

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

[Текст] : Пер. с англ. / В. Новак, И. Перфильева, И. Мочкорж ; Под. ред. Аверкина А.Н. - Москва : ФИЗМАТЛИТ, 2006. - 352 с. : ил. - Библиогр.: с. 335-343. - Предм. указ.: с. 344-347. - Пер. изд. : Mathematical principles of fuzzy logic / V. Novak. - ISBN 5-9221-0399-7 : 102.86 р.

УДК

510.64

ББК В12я73

Аннотация: Эта книга — первое российское издание, в котором нечеткая логика представлена с позиций формального дедуктивного исчисления. Специфика нечеткости отражена в выборе решеточной структуры истинностных значений, обогащенной алгебраическими операциями. Возникающая при этом логическая алгебра, называемая резидуальной решеткой, обобщает булеву алгебру. Процесс вывода в нечеткой логике сопровождается вычислением оценки истинности заключения, которая может быть выражена словесно («истинно», «более или менее истинно» и т.п.) или числом в интервале [0,1]. Помимо логики в книге рассматриваются примеры формальных конструкций фраз естественного языка и неформальных схем построения умозаключений. В качестве нетрадиционного приложения рассмотрены методы приближенного представления функций обобщенными нормальными формами. Для студентов, аспирантов и научных сотрудников университетов, технических вузов, научных учреждений.

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

Доп.точки доступа:
Перфильева, Ирина; Мочкорж, Иржи; Novаk, V. ; Perfilieva, I. Mockoc, J.
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)