Публікація:
Универсальный метод решения уравнений алгебры предикатных операций с неизвестными предикатами

Завантаження...
Зображення мініатюри

Дата

2001

Назва журналу

ISSN журналу

Назва тома

Видавництво

ХТУРЭ

Дослідницькі проекти

Організаційні підрозділи

Видання журналу

Анотація

Предложен новый метод решения уравнений алгебры предикатных операций с неизвестными предикатами. Данный метод является универсальным по своей применимости к решению логических уравнений, записанных на языке алгебры предикатных операций. Проанализирована его вычислительная сложность и преимущество по сравнению с методом полного перебора.

Опис

Ключові слова

метод решения уравнений алгебры предикатных операций

Бібліографічний опис

Колесников Д. О. Универсальный метод решения уравнений алгебры предикатных операций с неизвестными предикатами / Д. О. Колесников // Проблемы бионики : Всеукр. межвед. науч.-техн. сб. – 2001. – Вып. 54. – С. 68–74.

DOI