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

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

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