Компьютерное моделирование логических процессов: Архитектура и язык решателя задач

В книге представлено описание разработанного автором пакета прикладных программ «Логическая система «Искра»», обобщающего многолетний опыт компьютерного моделирования логических процессов, в результате которого возникла развитая технология обучения «решателя». В основном моделировались процессы решения математических задач.