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.