Електронний каталог науково-технічної бібліотеки
Вінницького національного технічного університету

ПРАВИЛА КОРИСТУВАННЯ ЕК
          Самохвалов, Ю. Я.
    Доказательство теорем в нечеткой логике на основе структурной резолюции [Текст] / Ю. Я. Самохвалов
    // Кибернетика и системный анализ. – 2019. – Т. 55, № 2. – С. 44-58.

   Рассмотрен подход к доказательству теорем с нечеткой и не вполне истинной аргументацией. В качестве правила доказательного рассуждения используется композиционное правило вывода Л. Заде, а его процедурная реализация осуществляется механизмом опровержения.

  УДК 681.61


            


Є складовою частиною документа Кибернетика и системный анализ [Текст] : международный научно-теоретический журнал. – 2019. – Т. 55, № 2.



Теми документа






Український Фондовий Дім Інформаційно-пошукова система
'УФД/Бібліотека'