Introduction to Logical Processes. General diagram of the Solver’s functioning

Podkolzin Alexander Sergeevich

Introduction to Logical Processes. General diagram of the Solver’s functioning

Podkolzin A. S.

Podkolzin Alexander Sergeevich

Dr. of Sc., Professor, Lomonosov Moscow State University, Faculty of Mechanics and Mathematics, Chair of Mathematical Theory of Intellectual Systems

Received: 25 Mar 2026

Published: 2025, vol. 29, issue 3, pp. 6–52

Download full text (In Russian)

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

BibTeX

@article{IS-Podkolzin2025,
  author  = {Podkolzin, Alexander Sergeevich},
  title   = {{Introduction to Logical Processes. General diagram of the Solver’s functioning}},
  journal = {Intelligent Systems. Theory and Applications},
  year    = {2025},
  volume  = {29},
  number  = {3},
  pages   = {6--52},
}

AMSBIB

\Bibitem{IS-Podkolzin2025}
\by A.\,S.~Podkolzin
\paper Introduction to Logical Processes. General diagram of the Solver’s functioning
\jour Intelligent Systems. Theory and Applications
\yr 2025
\vol 29
\issue 3
\pages 6--52
\lang In Russian

Published under Creative Commons Attribution 4.0 International (CC BY 4.0)

← Back to issue