— система правил оперирования со знаками, расширяющая возможности содержательного мышления в решении задач ив доказательстве суждений, выразимых средствами (на "языке") данного И. Особенность И. состоит в том, что объекты, с к-рыми в нем оперируют, являются материальными предметами (цифры, буквы и др. знаки), практически не меняющимися в процессе применения к ним правил И. Исторически И. возникло и развилось в рамках математики (напр., дифференциальное и интегральное И. и др.); позже метод построения И. был распространен на логику, появились различные виды логического и логико-математического И„ в связи с чем
|
