-
1 бар-теорема
бар-теоре́ма -
2 бар-теорема
бар-теоре́ма -
3 бар-теорема
бар-теоре́ма -
4 теорема
матем., физ.теоре́ма- аппроксимационная теорема
- арифметическая теорема
- ассоциативная теорема
- бар-теорема
- биномиальная теорема
- вириальная теорема
- гауссова теорема
- глобализационная теорема
- гульдинова теорема
- дедукционная теорема
- нелинейная теорема
- обратная теорема
- полиномиальная теорема
- теорема аппроксимации
- теорема взаимности
- теорема вложения
- теорема восстановления
- теорема вращения
- теорема вырезания
- теорема двойственности
- теорема единственности
- теорема запаздывания
- теорема искажения
- теорема монодромии
- теорема невязки
- теорема непрерывности
- теорема обратимости
- теорема отделимости
- теорема перемещений
- теорема подобия
- теорема равенства
- теорема разложения
- теорема расслоения
- теорема свёртки
- теорема сдвига
- теорема сложения
- теорема смещения
- теорема сравнения
- теорема существования -
5 теорема
матем., физ.теоре́ма- аппроксимационная теорема
- арифметическая теорема
- ассоциативная теорема
- бар-теорема
- биномиальная теорема
- вириальная теорема
- гауссова теорема
- глобализационная теорема
- гульдинова теорема
- дедукционная теорема
- нелинейная теорема
- обратная теорема
- полиномиальная теорема
- теорема аппроксимации
- теорема взаимности
- теорема вложения
- теорема восстановления
- теорема вращения
- теорема вырезания
- теорема двойственности
- теорема единственности
- теорема запаздывания
- теорема искажения
- теорема монодромии
- теорема невязки
- теорема непрерывности
- теорема обратимости
- теорема отделимости
- теорема перемещений
- теорема подобия
- теорема равенства
- теорема разложения
- теорема расслоения
- теорема свёртки
- теорема сдвига
- теорема сложения
- теорема смещения
- теорема сравнения
- теорема существования
См. также в других словарях:
ИНТУИЦИОНИЗМ — совокупность философских и математич. идей и методов, рассматривающих математику как науку об умственных построениях. С точки зрения И., основным критерием истинности математич. суждения является интуитивная убедительность возможности построения… … Математическая энциклопедия
ВЕЕР — финитарный поток, поток . такой, что для всякого узла из существует лишь конечное число натуральных k, для к рых является узлом . На языке формального интуиционистского математич. анализа формула , выражающая понятие функция … Математическая энциклопедия
ФИНИТИЗМ — (лат. finitus определённый, ограниченный, законченный), методологич. установка в теории доказательств, возникшая в нач. 20 в. в работах Гильберта и его школы с целью обоснования непротиворечивости теоретико множеств. математики. Программа … Философская энциклопедия
КЛАСС — 1) Термин, употребляемый в математике в основном как синоним термина множество для обозначения произвольных совокупностей объектов, обладающих каким либо определенным свойством или признаком (напр., в алгебре классы эквивалентности относительно… … Математическая энциклопедия
МАТЕМАТИЧЕСКАЯ ЛОГИКА — теоретическая логика, символическая логика, раздел математики, посвященный изучению математич. доказательств и вопросов оснований математики. Исторический очерк. Идея построения универсального языка для всей математики и формализации на базе… … Математическая энциклопедия
Австрия — (Österreich; позднелат. Austria, от др. нем. Ostarrichi восточная страна) Австрийская Республика (Österreichische Republik). I. Общие сведения А. государство в Центральной Европе. Граничит на С. с ФРГ и Чехословакией, на … Большая советская энциклопедия
Поток (интуиционизм) — У этого термина существуют и другие значения, см. Поток. Поток одно из основных понятий интуиционистской математики. Определение Поток определяется как совокупность двух законов и , называемых законом потока и дополнительным законом,… … Википедия
Паскаль — I Паскаль (Pascal) Блез (19.6.1623, Клермон Ферран, 19.8.1662, Париж), французский религиозный философ, писатель, математик и физик. Родился в семье высокообразованного юриста, занимавшегося математикой и воспитывавшего своих детей под… … Большая советская энциклопедия
ПАРАДОКС — (греч. paradoxos неожиданный, странный) в широком смысле: утверждение, резко расходящееся с общепринятым, устоявшимся мнением, отрицание того, что представляется «безусловно правильным»; в более узком смысле два противоположных утверждения, для… … Философская энциклопедия
ЛОГИКО-МАТЕМАТИЧЕСКИЕ ИСЧИСЛЕНИЯ — прикладные исчисления, формализации математич. теорий. Л. м. и. задается своим языком и перечнем постулатов (эти элементы образуют синтаксис).и в большинстве случаев снабжается семантикой. Существенными чертами, отличающими Л. м. и. от аксиоматич … Математическая энциклопедия
парадокс — ПАРАДОКС (от греч. para вне и doxa мнение). 1) В широком (внелогическом) смысле все то, что так или иначе вступает в конфликт (расходится) с общепринятым мнением, подтвержденным традицией, законом, правилом, нормой или здравым смыслом.… … Энциклопедия эпистемологии и философии науки