теорема о подстановке
1Теорема Нётер — Теорема Эмми Нётер утверждает, что каждой непрерывной симметрии физической системы соответствует некоторый закон сохранения. Так, закон сохранения энергии соответствует однородности времени, закон сохранения импульса  однородности… …
2Теорема Гёделя о полноте — У этого термина существуют и другие значения, см. Теорема Гёделя. Теорема Гёделя о полноте исчисления предикатов является одной из фундаментальных теорем математической логики: она устанавливает однозначную связь между логической истинностью… …
3АЛГЕБРА ЛОГИКИ — система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… …
4Точнорешаемая задача — В настоящее время отсутствует единое определение точно решаемой задачи для всех разделов математики. Это обусловлено особенностями самих задач и методов поиска их решения. Вместе с тем базовые теоремы, определяющие наличие и единственность… …
5Группа (матем.) — Группа, одно из основных понятий современной математики. Теория Г. изучает в самой общей форме свойства действий, наиболее часто встречающихся в математике и её приложениях (примеры таких действий ≈ умножение чисел, сложение векторов,… …
6Группа — I Группа одно из основных понятий современной математики. Теория Г. изучает в самой общей форме свойства действий, наиболее часто встречающихся в математике и её приложениях (примеры таких действий умножение чисел, сложение векторов,… …
7Шифрование в аналоговой телефонии — Эта статья должна быть полностью переписана. На странице обсуждения могут быть пояснения. Существуют два класса систем связи: цифровые и аналоговые …
8Корреляция — (Correlation) Корреляция это статистическая взаимосвязь двух или нескольких случайных величин Понятие корреляции, виды корреляции, коэффициент корреляции, корреляционный анализ, корреляция цен, корреляция валютных пар на Форекс Содержание… …
9ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории …
10АЛГЕБРАИЧЕСКОЕ УРАВНЕНИЕ — уравнение вида где многочлен n й степени от одного или нескольких переменных . А. у. с одним неизвестным наз. уравнение вида: Здесь п целое неотрицательное число, наз. коэффициентами уравнения и являются данными, хназ. неизвестным и является… …
