Параллельная реализация логических рассуждений
Author
Семеренко, В. П.
Date
1995Metadata
Show full item recordCollections
- Наукові роботи каф. ОТ [745]
Abstract
Рассматривается формализация вывода в исчислении высказываний и в исчислении предикатов, а также дана интерпретация категорического силлогизма. Предложена аппаратная реализация вывода с помощью программируемых систолических структур Formalization of inference method in propositional calculus and predicate calculus is considered and new interpretation categorical syllogism is given. Hardwarily implementation inference by means programmed systolic structure is proposed Розглядається формалізація виведення в численні висловлювань і в численні предикатів, а також дана інтерпретація категоричного силогізму. Запропонована апаратна реалізація виведення за допомогою програмованих систолічних структур
Please use this identifier to cite or link to this item:
http://ir.lib.vntu.edu.ua/handle/123456789/11548