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.
theory of intelligence, algebras of finite predicates and predicate operations
"Ob ydentyfykatsyy nekotorыkh nachalnыkh lohycheskykh poniatyi" [About identification of some initial logical concepts],
Scientific Works of Kharkiv National Air Force University,