За технічних причин Електронний архів Харківського національного університету радіоелектроніки «ElAr КhNURE» працює тільки на перегляд. Про відновлення роботи у повному обсязі буде своєчасно повідомлено.
 

Публікація:
Кванторная алгебра предикатных операций

Спрощена сторінка документа
dc.contributor.authorПроцай, Н. Т.
dc.date.accessioned2016-06-10T13:07:31Z
dc.date.available2016-06-10T13:07:31Z
dc.date.issued2008
dc.description.abstractВ статье представлена кванторная алгебра предикатных операций. Доказана теорема о равносильности фундаментальной и кванторной алгебр предикатных операций. Сформулирована теорема о полноте кванторной алгебры предикатных операций. Приведены система основных тождеств и аксиоматическое построение кванторной алгебры.uk_UA
dc.identifier.citationПроцай, Н. Т. Кванторная алгебра предикатных операций / Н. Т. Процай // Бионика интеллекта : науч.-техн. журн. – Х. : Изд-во ХНУРЭ, 2008. – Вып. 1 (68). – С. 69-73.uk_UA
dc.identifier.urihttp://openarchive.nure.ua/handle/document/753
dc.language.isoruuk_UA
dc.publisherХНУРЭ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_intellekta-Kh-HNURE-Vip1(68)-2008-rus-069-073.pdf
Розмір:
167.15 KB
Формат:
Adobe Portable Document Format
Завантажити
Ліцензійний пакет
Зараз показано 1 - 1 з 1
Немає доступних мініатюр
Назва:
license.txt
Розмір:
9.42 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Колекції

Бионика интеллекта