<link rel="stylesheet" href="styles.f3b1fba60ec7970c.css">

Параллельная реализация логических рассуждений

Скорочена інформація про документ
dc.contributor.authorСемеренко, В. П.uk
dc.contributor.authorSemerenko, V. P.
dc.titleПараллельная реализация логических рассужденийru
dc.title.alternativeParallel realization of logical inferenceen
dc.title.alternativeПаралельна реалізація логічних міркуваньuk
dc.date.issued1995
dc.publisherАссоциация создателей и пользователей интеллектуальных системru
dc.identifier.citationСемеренко В. П. Параллельная реализация логических рассуждений [Текст] / В. П. Семеренко // Сборник научных трудов Международной конференции «Знания – Диалог – Решение» (KDS-95), Украина, Ялта, 9-14 октября, 1995. - 1995. - Т. 1. – C. 141-150.ru
dc.identifier.udc681.3
dc.identifier.urihttp://ir.lib.vntu.edu.ua/handle/123456789/11548
dc.description.abstractРассматривается формализация вывода в исчислении высказываний и в исчислении предикатов, а также дана интерпретация категорического силлогизма. Предложена аппаратная реализация вывода с помощью программируемых систолических структурru
dc.description.abstractFormalization 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 proposeden
dc.description.abstractРозглядається формалізація виведення в численні висловлювань і в численні предикатів, а також дана інтерпретація категоричного силогізму. Запропонована апаратна реалізація виведення за допомогою програмованих систолічних структурuk
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.subjectparallel processingen
dc.subjectnormal formsen
dc.subjectpredicate calculusen
dc.subjectpropositional calculusen
dc.typeArticle
dc.language.isoruru
dc.date.accessioned2016-06-06T09:49:22Z
dc.date.available2016-06-06T09:49:22Z

Файли

Контейнер файлів

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
LOGIC7-Ялта-1995.pdf
Розмір:
212,88 KB
Формат:
Adobe Portable Document Format
Опис:
Завантажити

Ліцензійна угода

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
license.txt
Розмір:
2,14 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Зібрання

Наукові видання каф. ОТ