Please use this identifier to cite or link to this item: http://openarchive.nure.ua/handle/document/595
Title: Дослідження логіки скінченних предикатів як композиційно-номінативної логіки
Authors: Вечірська, І. Д.
Гончаров, І. Е.
Шепілов, С. І.
Keywords: алгебра відношення лінійне логічне перетворення
лінійне логічне перетворення
логіка
модифікований добуток
морфізм
предикат
предметна область
Issue Date: 2014
Publisher: ХНУРЭ
Citation: Вечірська, І. Д. Дослідження логіки скінченних предикатів як композиційно-номінативної логіки / І. Д. Вечірська, І. Е. Гончаров, С. І. Шепілов // Бионика интеллекта : науч.-техн. журн. – Х. : Изд-во ХНУРЭ, 2014. – Вып. 2 (83). – С. 53–60.
Abstract: В статті досліджено логіку скінченних предикатів як одну з композиційно-номінативних логік. Проведено аналіз предикатних алгебр та алгебр предикатних операцій, що входять до складу логіки скінченних предикатів, а також їх застосувань. Досліджено лінійні логічні перетворення та модифікований добуток морфізмів предикатної категорії.
URI: http://openarchive.nure.ua/handle/document/595
Appears in Collections:Бионика интеллекта

Files in This Item:
File Description SizeFormat 
bionica-2014-2-053-060.pdf744.6 kBAdobe PDFView/Open


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

Admin Tools