Дослідження логіки скінченних предикатів як композиційно-номінативної логіки

Вечірська, І. Д.; Гончаров, І. Е.; Шепілов, С. І.

Публікація:
Дослідження логіки скінченних предикатів як композиційно-номінативної логіки

dc.contributor.author	Вечірська, І. Д.
dc.contributor.author	Гончаров, І. Е.
dc.contributor.author	Шепілов, С. І.
dc.date.accessioned	2016-06-08T14:39:34Z
dc.date.available	2016-06-08T14:39:34Z
dc.date.issued	2014
dc.description.abstract	В статті досліджено логіку скінченних предикатів як одну з композиційно-номінативних логік. Проведено аналіз предикатних алгебр та алгебр предикатних операцій, що входять до складу логіки скінченних предикатів, а також їх застосувань. Досліджено лінійні логічні перетворення та модифікований добуток морфізмів предикатної категорії.	uk_UA
dc.identifier.citation	Вечірська, І. Д. Дослідження логіки скінченних предикатів як композиційно-номінативної логіки / І. Д. Вечірська, І. Е. Гончаров, С. І. Шепілов // Бионика интеллекта : науч.-техн. журн. – Х. : Изд-во ХНУРЭ, 2014. – Вып. 2 (83). – С. 53–60.	uk_UA
dc.identifier.uri	http://openarchive.nure.ua/handle/document/595
dc.language.iso	uk	uk_UA
dc.publisher	ХНУРЭ	uk_UA
dc.subject	алгебра відношення лінійне логічне перетворення	uk_UA
dc.subject	лінійне логічне перетворення	uk_UA
dc.subject	логіка	uk_UA
dc.subject	модифікований добуток	uk_UA
dc.subject	морфізм	uk_UA
dc.subject	предикат	uk_UA
dc.subject	предметна область	uk_UA
dc.title	Дослідження логіки скінченних предикатів як композиційно-номінативної логіки	uk_UA
dc.type	Article	uk_UA
dspace.entity.type	Publication