заключение теоремы

заключение теоремы
conclusion of theorem

Большой англо-русский и русско-английский словарь. 2001.

Игры ⚽ Поможем решить контрольную работу

Смотреть что такое "заключение теоремы" в других словарях:

  • ЗАКЛЮЧЕНИЕ — суждение, логически вытекающее из посылок умозаключения; суждение, являющееся заключит. результатом вывода, состоящего из нескольких умозаключений, и логически вытекающее из посылок вывода; формула логич. исчисления, следующая из посылок – формул …   Философская энциклопедия

  • ОБРАТНАЯ ТЕОРЕМА — теорема, условием к рой служит заключение теоремы исходной (прямой), а заключением условие. Обратной к О. т. будет исходная (прямая) теорема, так что прямая и О. т. взаимно обратны. О. т. равносильна теореме, противоположной к прямой, т. е.… …   Математическая энциклопедия

  • ЯДЕРНАЯ БИЛИНЕЙНАЯ ФОРМА — билинейная форма В(f, g)на декартовом произведении локально выпуклых пространств Fи G, допускающая представление вида где суммируемая последовательность, {f i} и {g i} равностепенно непрерывные последовательности в сопряженных к Fи G… …   Математическая энциклопедия

  • АЛГОРИТМА СЛОЖНОСТЬ — вычислений функция, дающая числовую оценку трудности (громоздкости) процессов применения алгоритма к исходным данным. Уточнением А. с. вычислений служит понятие сигнализирующей функции (или просто сигнализирующей) функции, к рая задается… …   Математическая энциклопедия

  • ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно …   Философская энциклопедия

  • Обратная теорема —         теорема, условием которой служит заключение исходной (прямой) теоремы, а заключением условие. Обратной к О. т. будет исходная (прямая) теорема. Таким образом, прямая и О. т. взаимно обратны. Например, теоремы: «если два угла треугольника… …   Большая советская энциклопедия

  • Коэффициент корреляции — (Correlation coefficient) Коэффициент корреляции это статистический показатель зависимости двух случайных величин Определение коэффициента корреляции, виды коэффициентов корреляции, свойства коэффициента корреляции, вычисление и применение… …   Энциклопедия инвестора

  • Корреляция — (Correlation) Корреляция это статистическая взаимосвязь двух или нескольких случайных величин Понятие корреляции, виды корреляции, коэффициент корреляции, корреляционный анализ, корреляция цен, корреляция валютных пар на Форекс Содержание… …   Энциклопедия инвестора

  • Лузин, Николай Николаевич — В Википедии есть статьи о других людях с такой фамилией, см. Лузин. Николай Николаевич Лузин Дата рождения: 9 декабря 1883(1883 12 09) Место рождения: город Иркутск, Иркутская губерния, Российская империя …   Википедия

  • Лузин, Николай — Николай Николаевич Лузин Дата рождения: 9 декабря 1883 Место рождения: Иркутск, Иркутская губерния, Российская империя Дата смерти: 28 февраля 1950 Место смерти: Москва, РСФСР …   Википедия

  • Лузин Н. — Николай Николаевич Лузин Дата рождения: 9 декабря 1883 Место рождения: Иркутск, Иркутская губерния, Российская империя Дата смерти: 28 февраля 1950 Место смерти: Москва, РСФСР …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»