Введение в логические процессы. Представление задач в решателе

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

Получена: 25.03.2026

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

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

Аннотация

В статье описывается интерфейс решателя математических задач; рассказывается о логической системе "Искра"; описывается логический язык, используемый в решателе; рассказывается как осуществляется логическая формализация задач.

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

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

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

× Issue cover