индукция и дедукция идеализация сравнение формализация исторический и логический методы анализ и синтез абстрагирование обобщение знаковое моделирование