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

Проста сторінка документа
dc.contributor.authorВечірська, І. Д.
dc.contributor.authorГончаров, І. Е.
dc.contributor.authorШепілов, С. І.
dc.date.accessioned2016-06-08T14:39:34Z
dc.date.available2016-06-08T14:39:34Z
dc.date.issued2014
dc.description.abstractВ статті досліджено логіку скінченних предикатів як одну з композиційно-номінативних логік. Проведено аналіз предикатних алгебр та алгебр предикатних операцій, що входять до складу логіки скінченних предикатів, а також їх застосувань. Досліджено лінійні логічні перетворення та модифікований добуток морфізмів предикатної категорії.uk_UA
dc.identifier.citationВечірська, І. Д. Дослідження логіки скінченних предикатів як композиційно-номінативної логіки / І. Д. Вечірська, І. Е. Гончаров, С. І. Шепілов // Бионика интеллекта : науч.-техн. журн. – Х. : Изд-во ХНУРЭ, 2014. – Вып. 2 (83). – С. 53–60.uk_UA
dc.identifier.urihttp://openarchive.nure.ua/handle/document/595
dc.language.isoukuk_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.typeArticleuk_UA
dspace.entity.typePublication

Файли

Оригінальний пакунок

Зараз показано 1 - 1 з 1
Зображення мініатюри
Назва:
bionica-2014-2-053-060.pdf
Розмір:
744.6 KB
Формат:
Adobe Portable Document Format
Завантажити

Пакунок ліцензії

Зараз показано 1 - 1 з 1
Зображення мініатюри
Назва:
license.txt
Розмір:
9.42 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Колекції

Біоніка інтелекту