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

Подколзин А. С.
Подколзин Александр Сергеевич
доктор физ.-мат. наук, профессор каф. математической теории интеллектуальных систем мех.-мат. ф-та МГУ

Получена: 25.03.2026

Опубликована: 2025 год, том 29, выпуск 3, С. 6–52

Скачать полный текст

Аннотация

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

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

BibTeX 
@article{IS-Podkolzin2025,
  author  = {Подколзин, Александр Сергеевич},
  title   = {{Введение в логические процессы. Общая схема функционирования решателя}},
  journal = {Интеллектуальные системы. Теория и приложения},
  year    = {2025},
  volume  = {29},
  number  = {3},
  pages   = {6--52},
}
AMSBIB 
\RBibitem{IS-Podkolzin2025}
\by А.\,С.~Подколзин
\paper Введение в логические процессы. Общая схема функционирования решателя
\jour Интеллектуальные системы. Теория и приложения
\yr 2025
\vol 29
\issue 3
\pages 6--52
Опубликовано на условиях лицензии Creative Commons Attribution 4.0 International (CC BY 4.0)

← К номеру журнала

× Issue cover