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

В. А. Лещинский
УДК 519.7
Мова статті: російська
Анотації на мовах:

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