Приложение логического программирования к многозначной логике с относительной истиной

Скорочена інформація про документ
dc.contributor.authorПынько, А.П.
dc.date.accessioned2015-06-15T14:53:31Z
dc.date.available2015-06-15T14:53:31Z
dc.date.issued2013
dc.description.abstractПредложены процедуры автоматического вывода в пропозициональных многозначных логиках с относительной истиной (имеющих несколько множеств выделенных значений) на основе многостороннего секвенциального дедуктивного аппарата, реализуемого методами логического программирования на языке ПРОЛОГ и позволяющего охватить все конечнозначные логики.uk_UA
dc.description.abstractThe procedures are suggested of automatic deduction in propositional many-valued logics with relative truth (that is, logics, which have several sets of distinguished values) based on the many-sided sequent deductive apparatus, which is implemented by logic programming methods in the PROLOG language and enables one to cover all finitely-valued logics.uk_UA
dc.description.abstractЗапропоновано процедури автоматичного виведення в пропозиційних багатозначних логіках з відносною істиною (таких, що мають кілька множин вилучених значень) на засадах багатобічного секвенційного дедуктивного апарата, що реалізується методами логічного програмування на мові ПРОЛОГ та надає можливість охопити усі скінченнозначні логіки.uk_UA
dc.identifier.citationПриложение логического программирования к многозначной логике с относительной истиной / А.П. Пынько // Управляющие системы и машины. — 2013. — № 1. — С. 58-65. — Бібліогр.: 12 назв. — рос.uk_UA
dc.identifier.issn0130-5395
dc.identifier.udc510.6
dc.identifier.urihttps://nasplib.isofts.kiev.ua/handle/123456789/83131
dc.language.isoruuk_UA
dc.publisherМіжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН Україниuk_UA
dc.relation.ispartofУправляющие системы и машины
dc.statuspublished earlieruk_UA
dc.subjectПрограммная инженерия и программные средстваuk_UA
dc.titleПриложение логического программирования к многозначной логике с относительной истинойuk_UA
dc.title.alternativeThe Application of the Logic Programming to Many-Valued Logic with the Relative Truthuk_UA
dc.title.alternativeЗастосування логічного програмування до багатозначної логіки з відносною істиноюuk_UA
dc.typeArticleuk_UA

Файли

Оригінальний контейнер

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
08-Pynko.pdf
Розмір:
405.29 KB
Формат:
Adobe Portable Document Format
Завантажити

Контейнер ліцензії

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

Колекція

Управляющие системы и машины, 2013, № 1