Параллельная реализация логических рассуждений
Автор
Семеренко, В. П.
Дата
1995Metadata
Показать полную информациюCollections
- Наукові роботи каф. ОТ [743]
Аннотации
Рассматривается формализация вывода в исчислении высказываний и в исчислении предикатов, а также дана интерпретация категорического силлогизма. Предложена аппаратная реализация вывода с помощью программируемых систолических структур 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 Розглядається формалізація виведення в численні висловлювань і в численні предикатів, а також дана інтерпретація категоричного силогізму. Запропонована апаратна реалізація виведення за допомогою програмованих систолічних структур
Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://ir.lib.vntu.edu.ua/handle/123456789/11548