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

[Текст] : Монография / А.С. Карпенко ; Отв. ред. В.К. Финн. - 2-е изд., испр. - Москва : ЛКИ ; Москва : URSS, 2007. - 256 с. : табл. - Указ. имен. и предм.: с. 244-252. - Библиогр.: с. 223-243. - ISBN 978-5-382-00027-5 : 142.45 р.

ГРНТИ	27.03
УДК	510.6^V3

ББК В12

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

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

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

[Текст] : научное издание / А. С. Карпенко ; Рос. акад наук. - Изд.стереотип. - Москва : Издательство ЛКИ ; Москва : URSS, 2016. - 448 с. - Библиогр.: с.346-414 . - Предм. указ.: с.426-432 . - Алф. указ.: с. 416-425. - ISBN 978-5-382-01624-5 (в пер.) : 719.00 р.

ГРНТИ

27.03

ББК В12

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

Аннотация


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