следующая теорема вытекает из (...)
1ТЕОРЕМА О ДЕДУКЦИИ — теорема дедукции, – одно из важнейших содержательных утверждений математической логики, определяющее связь между логически правильными (аподиктическими) рассуждениями (или умозаключениями, или выводами) и законами (доказуемыми формулами) логики,… …
2АБЕЛЯ ТЕОРЕМА — 1) А. т. об алгебраических уравнениях : ни для какого п, большего или равного пяти, нельзя указать формулу, к рая выражала бы корни любого уравнения n й степени через его коэффициенты при помощи радикалов. Найдена Н. Абелем в 1824 (см. [1]). А. т …
3МИТТАГ-ЛЕФФЛЕРА ТЕОРЕМА — 1) М. Л. т. о разложении мероморфной функции (см. [1], [2]) одна из основных теорем теории аналитических функций, дающая для мероморфных функций аналог разложения рациональной функции на простейшие дроби. Пусть последовательность различных… …
4ДВОЙСТВЕННОСТЬ — 1) Д. в алгебраической геометрии двойственность между различными пространствами когомологий на алгебраич. многообразиях. Когомологий когерентных пучков. Пусть X неособое проективное алгебраич. многообразие размерности nнад алгебраически замкнутым …
5Функция Эйлера — Не следует путать с функцией распределения простых чисел. Первая тысяча значений Функция Эйлера φ(n) мультипликативная …
6Десятичная дробь — Десятичная дробь  разновидность дроби, которая представляет собой способ представления действительных чисел в виде где   знак дроби: либо , либо ,   десятичная запятая, служащая разделителем между целой и дробной частью числа… …
7ДВОЙСТВЕННОСТИ ПРИНЦИП — 1) Д. п. в математической логике теорема о взаимозаменяемости в определенном смысле логич. операций в формулах формальных логических и логико предметных языков. Пусть А формула языка логики высказываний или логики предикатов, не содержащая знака… …
8ДИСКРЕТНАЯ ПОДГРУППА — подгруппа Г топологич. группы G(в частности, подгруппа группы Ли), являющаяся дискретным подмножеством топологич. пространства G. В локально компактных топологич. группах (в частности, в группах Ли) выделяют решетки Д. п., для к рых… …
9Дифференциальное исчисление — Исчисление бесконечно малых, включающее так называемое Д. исчисление, а также ему обратное интегральное, принадлежит к числу наиболее плодотворных открытий человеческого ума и составило эпоху в истории точных наук. Ближайшим поводом к изобретению …
10КОМБИНАТОРНЫЙ АНАЛИЗ — комбинаторная математика, комбинаторика, раздел математики, посвященный решению задач выбора и расположения элементов нек рого, обычно конечного, множества в соответствии с заданными правилами. Каждое такое правило определяет способ построения… …
