Introduction to Logical Processes. Representation of Problems in
the Solver

Podkolzin Alexander Sergeevich

Introduction to Logical Processes. Representation of Problems in the Solver

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 2, pp. 5–138

Download full text (In Russian)

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

BibTeX

@article{IS-Podkolzin2025,
  author  = {Podkolzin, Alexander Sergeevich},
  title   = {{Introduction to Logical Processes. Representation of Problems in
the Solver}},
  journal = {Intelligent Systems. Theory and Applications},
  year    = {2025},
  volume  = {29},
  number  = {2},
  pages   = {5--138},
}

AMSBIB

\Bibitem{IS-Podkolzin2025}
\by A.\,S.~Podkolzin
\paper Introduction to Logical Processes. Representation of Problems in
the Solver
\jour Intelligent Systems. Theory and Applications
\yr 2025
\vol 29
\issue 2
\pages 5--138
\lang In Russian

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

← Back to issue