| dc.contributor.author | Семеренко, В. П. | uk, ru |
| dc.date.accessioned | 2016-04-08T12:32:43Z | |
| dc.date.available | 2016-04-08T12:32:43Z | |
| dc.date.issued | 2013 | |
| dc.identifier.citation | Семеренко В. П. Алгоритми логічного виведення поліноміальної складності / В. П. Семеренко // Тези доповідей другої Міжнародної науково-технічної конференції «Обчислювальний інтелект-2013 (результати, проблеми, перспективи) (ComInt- 2013)», Черкаси, 14-18 травня 2013 року. – Черкаси : ЧДТУ, 2013. – С. 419-420. | uk |
| dc.identifier.uri | http://ir.lib.vntu.edu.ua/handle/123456789/9411 | |
| dc.description.abstract | Для логічного виведення в численні висловлювань і в численні предикатів першого порядку представлено математичний апарат булевої алгебри кубічних функцій. Клас булевої функції визначається на основі аналізу її кубічного покриття. Запропоновано алгоритми логічного виведення поліноміальної складності за допомогою операцій над кубами. | uk |
| dc.description.abstract | Для логического вывода в исчислении высказываний и в исчислении предикатов первого порядка представлен математический аппарат булевой алгебры кубических функций. Класс булевой функции определяется на основе анализа ее кубического покрытия. Предложены алгоритми логического вывода полиномиальной сложности с помощью операций над кубами. | ru |
| dc.description.abstract | For logic deduction in classical propositional and first order predicate calculus the mathematical tools of Boolean algebra of cube functions is presented. The class of Boolean function is determined based on the analysis of its cube covering. The algorithms of logic deduction of polynomial complexity by operations with cubes is suggested. | en |
| dc.language.iso | uk_UA | uk_UA |
| dc.publisher | Черкаський державний технологічний університет | uk |
| dc.subject | штучний інтелект | uk |
| dc.subject | логічне виведення | uk |
| dc.subject | кубічне покриття | uk |
| dc.subject | искусственный интеллект | ru |
| dc.subject | логический вывод | ru |
| dc.subject | кубическое покрытие | ru |
| dc.subject | artificial intelligence | en |
| dc.subject | logic deduction | en |
| dc.subject | cubic covering | en |
| dc.title | Алгоритми логічного виведення поліноміальної складності | uk |
| dc.title.alternative | Алгоритми логического вывода полиномиальной сложности | ru |
| dc.title.alternative | The algorithms of the logic deduction of polynomial complexity | en |
| dc.type | Article | |
| dc.identifier.udc | 681.3 | |
