Исследование методов разработки электронных

Дополнительные возможности. 
1. Ввод данных для нескольких объектов. 
В задаче могут задаваться несколько одинаковых объектов, каждый из 
которых характеризуется своими параметрами, но расчет которых идет по 
общим формулам (например, два треугольника, несколько событий и т.д.). В 
одной задаче могут присутствовать до 9 одинаковых объектов. 
2. Задание исходных данных и дополнительных формул. 
Кроме общих переменных в X и общих формул в F могут присутствовать 
дополнительные переменные, необходимые для конкретной задачи, а также 
дополнительные формулы, связывающие переменные (как дополнительные, так 
и общие), необходимые для конкретной задачи. 
Дополнительные формулы могут представляться в одном из четырех 
видов: 
1.
y = k1 ! k2,
2.
y = x1 ! k2,
3.
y = x1 ! x2,
4.
y = k1 ! x2.
где: 
k1, k2 - значения констант 

---

87 
y, x1, x2 - переменные (дополнительные или общие) 
! - знак. Может принимать значения ‘+’, ‘-’, ’*’, ‘/’,’^’ (возведение в 
степень) 
Примеры. 
1.
y = /180
2.
s = v . t
3.
A
1
B
1
= K
под
. AB
4.
y = 2^x
Второй аргумент формулы может отсутствовать. Тогда он принимается 
равным нулю, а в качестве знака берется ‘+’, т.е. формула принимает вид 1 или 
2. Это удобно для задания исходных данных. 
Примеры 
1.
y = 5 (+0)
2.
y
1
= y
2
(+0)
3.
K
под
= 0.5 (+0)
Область применения. 
Цель разработки данного решателя - научить обучаемого решать задачи с 
использованием формул, изученных им в теоретической части. Поэтому с 
помощью данного решателя невозможно решить абсолютно любую задачу. 
Рассмотрим область его применения, т.е. выделим, какие классы задач можно 
решать, а какие нет. 
Можно решать задачи: 

в которых решение получается с помощью последовательного 
применения различных формул к уже известным данным (например, 
задачи, связанные с вычислением каких-либо величин). Достигнута 
независимость от предмета: могут решаться задачи по математике, 
физике, химии, экономике и другим предметам, лишь бы были заложены 
необходимые для расчетов формулы

---

88 

задачи, сводящиеся к предыдущему классу (например, на доказательство, 
где для доказательства какого-либо утверждения необходимо сперва 
вычислить значения сравниваемых величин)
Благодаря независимости от типа результата (числовой, символьный, 
логический и т.д.), могут решаться задачи, в которых результат решения 
отличается от числового (например, задачи по логике на нахождение 
истинности выражений). Однако, в текущей версии системы заложена 
возможность решения задач только с числовым типом. 
Нельзя решать задачи: 

на вывод формул,

на доказательство без вычислений (с помощью теоретических 
утверждений: теорем, аксиом, постулатов и т.д.),

в текущей версии системы - задачи, использующие рекурсию (например, 
задачи приближенного вычисления или задачи оптимизации), однако 
такая возможность может быть реализована.