Наукова періодика України Управляющие системы и машины


Пынько А. П. 
Приложение логического программирования к многозначной логике с относительной истиной / А. П. Пынько // Управляющие системы и машины. - 2013. - № 1. - С. 58-65. - Режим доступу: http://nbuv.gov.ua/UJRN/USM_2013_1_9
Предложены процедуры автоматического вывода в пропозициональных многозначных логиках с относительной истиной (имеющих несколько множеств выделенных значений) на основе многостороннего секвенциального дедуктивного аппарата, реализуемого методами логического программирования на языке ПРОЛОГ и позволяющего охватить все конечнозначные логики.
  Повний текст PDF - 415.022 Kb    Зміст випуску     Цитування публікації

Цитованість авторів публікації:
  • Пынько А.

  • Бібліографічний опис для цитування:

    Пынько А. П. Приложение логического программирования к многозначной логике с относительной истиной / А. П. Пынько // Управляющие системы и машины. - 2013. - № 1. - С. 58-65. - Режим доступу: http://nbuv.gov.ua/UJRN/USM_2013_1_9.

      Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
     

       Всі права захищені © Національна бібліотека України імені В. І. Вернадського