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

О логической идентификации начальных математических понятий

В.А. Лещинский
Системи обробки інформації. — 2013. — № 6(113). С. 174-177.
УДК 519.7
Мова статті: російська
Анотації на мовах:


Анотація: Формально описаны некоторые исходные понятия логики, которыми пользуется математик в своей работе. С этой целью на языке алгебры подстановочных операций дана аксиоматическая характеристика понятий принадлежности элемента множеству, операций объединения, пересечения и дополнения множеств, включения и равенства множеств, связи отображений с отношениями и разбиений с эквивалентностями.


Ключові слова: теория интеллекта, алгебра конечных предикатов и предикатных операций, понятие
Інформація про авторів публікації:
Бібліографічний опис для цитування:
Лещинский В.А. О логической идентификации начальных математических понятий. Системи обробки інформації. 2013. № 6(113). С. 174-177.