Редактирование: Основы кибернетики, Теормин
Материал из eSyr's wiki.
Внимание: Вы не представились системе. Ваш IP-адрес будет записан в историю изменений этой страницы.
ПРЕДУПРЕЖДЕНИЕ: Длина этой страницы составляет 61 килобайт. Страницы, размер которых приближается к 32 КБ или превышает это значение, могут неверно отображаться в некоторых браузерах. Пожалуйста, рассмотрите вариант разбиения страницы на меньшие части.
Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия | Ваш текст | ||
Строка 196: | Строка 196: | ||
=== Определение тождества для формул и его подстановки === | === Определение тождества для формул и его подстановки === | ||
- | + | Подстановка - вместо переменных функции <math>F(x_1, ... , x_n)</math> подставляем функции: <math>F(F_1, ... ,F_1)</math><br> | |
- | + | Тождество - <math>\hat{t}: F(x)' = F(x)''</math> (1)<br> | |
Если к правой и левой частям (1) применить подстановку, то получим тождество: | Если к правой и левой частям (1) применить подстановку, то получим тождество: | ||
- | < | + | <center><math>\hat{t} : \hat{F}' = \hat{F}''</math> </center> |
где <math>\hat{F}' = \hat{F}'(F_1, \ldots ,F_n)</math> и <math>\hat{F}'' = \hat{F}''(F_1, ... ,F_n)</math>, которое называется подстановкой для тождества t. | где <math>\hat{F}' = \hat{F}'(F_1, \ldots ,F_n)</math> и <math>\hat{F}'' = \hat{F}''(F_1, ... ,F_n)</math>, которое называется подстановкой для тождества t. | ||