Please use this identifier to cite or link to this item: http://openarchive.nure.ua/handle/document/753
Title: Кванторная алгебра предикатных операций
Authors: Процай, Н. Т.
Keywords: кванторная алгебра
алгебра предикатных операций
прикладная алгебра
линейный логический оператор
Issue Date: 2008
Publisher: ХНУРЭ
Citation: Процай, Н. Т. Кванторная алгебра предикатных операций / Н. Т. Процай // Бионика интеллекта : науч.-техн. журн. – Х. : Изд-во ХНУРЭ, 2008. – Вып. 1 (68). – С. 69-73.
Abstract: В статье представлена кванторная алгебра предикатных операций. Доказана теорема о равносильности фундаментальной и кванторной алгебр предикатных операций. Сформулирована теорема о полноте кванторной алгебры предикатных операций. Приведены система основных тождеств и аксиоматическое построение кванторной алгебры.
URI: http://openarchive.nure.ua/handle/document/753
Appears in Collections:Бионика интеллекта

Files in This Item:
File Description SizeFormat 
Bionica_intellekta-Kh-HNURE-Vip1(68)-2008-rus-069-073.pdf167.15 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.