1. Science
  2. Publications
  3. Scientific Works of Kharkiv National Air Force University
  4. 3(36)'2013
  5. About identification of some initial logical concepts

About identification of some initial logical concepts

V.A. Leschynskiy
Annotations languages:

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.
Keywords: theory of intelligence, algebras of finite predicates and predicate operations