Part 1. General problems of the intellectual systems theory

Introduction to logical processes. The algorithmic language LDS

A. S. Podkolzin

Lomonosov Moscow State University, Faculty of Mechanics and Mathematics

Abstract: This article describes the algorithmic language LDS (logical description of situations). It describes the language’s basic operators, the LDS program editor, and demonstrates how to debug LDS programs.

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