Эта публикация цитируется в 1 статье

Часть 1. Общие проблемы теории интеллектуальных систем

Введение в логические процессы. Общая схема функционирования решателя

А. С. Подколзин

Московский государственный университет имени М. В. Ломоносова, механико-математический факультет

Аннотация: В статье описывается общая схема функционирования решателя математических задач. Рассказывается как происходит сканирование задачи, как запускать решение задачи и как осуществлять пошаговый просмотр. Приводится большое количество упражнений по вводу и решению задач.

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