Об идентификации некоторых начальных логических понятий
Наукові видання Харківського національного університету Повітряних Сил
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Об идентификации некоторых начальных логических понятий
Про ідентифікацію деяких початкових логічних понять About identification of some initial logical concepts |
|
| Creator |
В.А. Лещинский
В.А. Лещінський V.A. Leschynskiy |
|
| Subject |
Кібернетика та системний аналіз
УДК 519.7 теория интеллекта, алгебра конечных предикатов и предикатных операций, понятие теорія інтелекту, алгебра скінченних предикатів і предикатних операцій theory of intelligence, algebras of finite predicates and predicate operations |
|
| Description |
Формально описаны некоторые исходные понятия логики, которыми пользуется математик в своей работе. С этой целью на языке алгебры подстановочных операций дана аксиоматическая характеристика понятий равенства элементов, простейших свойств предикатов, декартова произведения множеств.
Розглянуто застосування логічної математики для формального опису математичних понять на її мові, у тому числі і понять, що вводяться самою логічною математикою. У якості інструменту опису використовується мова алгебри скінченних предикатів і предикатних операцій. Рішення цієї задачі дозволить навчити комп'ютер оперувати поняттями, подібно до того, як це робить людина. Application of logical mathematics is considered for the formal specification of mathematical concepts on it’s language, including concepts that is entered by logical mathematics. The eventual predicates algebra language and predicates operations algebra are used as description instrument. The decision of this task will allow to teach a computer to operate concepts, like that, how it does man. |
|
| Publisher |
Харківський національний університет Повітряних Сил ім. І. Кожедуба
Харьковский национальный университет Воздушных Сил им. И. Кожедуба Kharkiv national Air Force University named after I. Kozhedub |
|
| Date |
2013
|
|
| Type |
info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion Рецензована стаття |
|
| Format |
application/pdf
|
|
| Identifier |
http://www.hups.mil.gov.ua/periodic-app/article/3348
|
|
| Source |
Збірник наукових праць Харківського національного університету Повітряних Сил. — 2013. — № 3(36). 115-118
Сборник научных трудов Харьковского национального университета Воздушных Сил. — 2013. — № 3(36). 115-118 Scientific Works of Kharkiv National Air Force University. — 2013. — № 3(36). 115-118 2073-7378 |
|
| Language |
rus
|
|
| Relation |
http://www.hups.mil.gov.ua/periodic-app/article/3348/zhups_2013_3_25.pdf
|
|