| dc.contributor.author | Семеренко, В. П. | ru, uk |
| dc.date.accessioned | 2016-06-06T09:49:22Z | |
| dc.date.available | 2016-06-06T09:49:22Z | |
| dc.date.issued | 1995 | |
| dc.identifier.citation | Семеренко В. П. Параллельная реализация логических рассуждений [Текст] / В. П. Семеренко // Сборник научных трудов Международной конференции «Знания – Диалог – Решение» (KDS-95), Украина, Ялта, 9-14 октября, 1995. - 1995. - Т. 1. – C. 141-150. | ru |
| dc.identifier.uri | http://ir.lib.vntu.edu.ua/handle/123456789/11548 | |
| dc.description.abstract | Рассматривается формализация вывода в исчислении высказываний и в исчислении предикатов, а также дана интерпретация категорического силлогизма. Предложена аппаратная реализация вывода с помощью программируемых систолических структур | ru |
| dc.description.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 | en |
| dc.description.abstract | Розглядається формалізація виведення в численні висловлювань і в численні предикатів, а також дана інтерпретація категоричного силогізму. Запропонована апаратна реалізація виведення за допомогою програмованих систолічних структур | uk |
| dc.language.iso | ru_RU | ru |
| dc.publisher | Ассоциация создателей и пользователей интеллектуальных систем | ru |
| dc.subject | исчисление высказываний | ru |
| dc.subject | нормальные формы | ru |
| dc.subject | исчисление предикатов | ru |
| dc.subject | параллельная обработка | ru |
| dc.subject | числення висловлювань | uk |
| dc.subject | нормальні форми | uk |
| dc.subject | паралельна обробка | uk |
| dc.subject | числення предикатів | uk |
| dc.subject | parallel processing | en |
| dc.subject | normal forms | en |
| dc.subject | predicate calculus | en |
| dc.subject | propositional calculus | en |
| dc.title | Параллельная реализация логических рассуждений | ru |
| dc.title.alternative | Parallel realization of logical inference | en |
| dc.title.alternative | Паралельна реалізація логічних міркувань | uk |
| dc.type | Article | |
| dc.identifier.udc | 681.3 | |
