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

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

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

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