1. Наука
  2. Видання
  3. Системи обробки інформації
  4. 6(113)'2013
  5. Про логічну ідентифікацію початкових математичних понять

Про логічну ідентифікацію початкових математичних понять

В.А. Лещінський
Анотації на мовах:

Виконано формальний опис логічних понять на мові алгебри підстановчих операцій. Знання про логічні засоби, яке досягається за допомогою ідентифікації логічних понять, збільшує надійність цих засобів. Актуальність ідентифікації логічних понять визначається практичною важливістю формальних моделей цих понять для теорії інтелекту.
Ключові слова: теорія інтелекту, алгебра скінченних предикатів і предикатних операцій