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