Алгоритмы канонической дизъюнктивной минимизации формул алгебры конечных предикатов

Шабанов-Кушнаренко, С. Ю.; Шаронова, Н. Е.; Шубин, И. Ю.

Публікація:
Алгоритмы канонической дизъюнктивной минимизации формул алгебры конечных предикатов

dc.contributor.author	Шабанов-Кушнаренко, С. Ю.
dc.contributor.author	Шаронова, Н. Е.
dc.contributor.author	Шубин, И. Ю.
dc.date.accessioned	2021-10-26T15:32:14Z
dc.date.available	2021-10-26T15:32:14Z
dc.date.issued	1989
dc.description.abstract	Цель работы — теоретическое обоснование применения алгоритмов минимизации алгебры логики, обобщенных на случай алгебры конечных предикатов, при введенной операции импликации	uk_UA
dc.identifier.citation	Шабанов-Кушнаренко С. Ю. Алгоритмы канонической дизъюнктивной минимизации формул алгебры конечных предикатов / С. Ю. Шабанов-Кушнаренко, Н. Е. Шаронова, И. Ю. Шубин // Проблемы бионики : республ. межвед. науч.-техн. сб. – 1989. – Вып. 43. – С. 25–31.	uk_UA
dc.identifier.uri	https://openarchive.nure.ua/handle/document/17991
dc.language.iso	ru	uk_UA
dc.publisher	Вища школа	uk_UA
dc.subject	проблемы бионики	uk_UA
dc.subject	алгебра конечных предикатов	uk_UA
dc.title	Алгоритмы канонической дизъюнктивной минимизации формул алгебры конечных предикатов	uk_UA
dc.type	Article	uk_UA
dspace.entity.type	Publication