This article is cited in 2 papers

Part 1. General problems of the intellectual systems theory

Introduction to logical processes. Representation of problems in the solver

A. S. Podkolzin

Lomonosov Moscow State University, Faculty of Mechanics and Mathematics

Abstract: The article describes the interface of the mathematical problem solver; tells about the logical system "Iskra"; describes the logical language used in the solver; tells how the logical formalization of problems is carried out.

Keywords: mathematical problem solver, logical processes, logical language, logical formalization of problems