This article is cited in 1 paper

Part 1. General problems of the intellectual systems theory

Introduction to logical processes. General diagram of the solver’s functioning

A. S. Podkolzin

Lomonosov Moscow State University, Faculty of Mechanics and Mathematics

Abstract: This article describes the general layout of the mathematical problem solver. It explains how the verification process works, how to run problem solvers, and how to explore step-by-step previews. A large number of suggestions for entering and solving problems are provided.

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