- эквивалентное утверждение
- мат. equivalent proposition
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
БРАУЭРА ТЕОРЕМА — 1) Б. т. неподвижной точке: при непрерывном отображении n мерного симплекса Sв себя существует по крайней мере одна точка такая, что доказана Л. Брауэром [1]. Эквивалентное утверждение было несколько ранее доказано П. Г. Болем [2]. Б. т.… … Математическая энциклопедия
ЗИГЕЛЯ ТЕОРЕМА — 1) З. т. о L функциях Дирихле: для любого e>0 существует с=с(e)>0 такое, что для всякого неглавного действительного Дирихле характераc модуля kвыполняется Установлена К. Зигелем [1]. Эквивалентное утверждение относится к действительным… … Математическая энциклопедия
ПУАНКАРЕ ГИПОТЕЗА — утверждение, приписываемое А. Пуанкаре (Н. Poincare) и гласящее: любое замкнутое односвязное трехмерное многообразие гомеоморфно трехмерной сфере. Естественным обобщением является следующее утверждение (обобщенная гипотеза Пуанкаре): любое… … Математическая энциклопедия
Сенат — (Senate) Понятие сенат, история сенатов, описание сената Информация о понятии сенат, история сенатов, описание сената Содержание Содержание Раздел 1. Происхождение понятие . Подраздел 1. Раздел 2. Cенат США в Древнем Риме. Раздел 3. Cенат США в … Энциклопедия инвестора
ПОЛОЖИТЕЛЬНАЯ ЛОГИКА — логика, в которой приемлемыми считаются рассуждения, не связанные с опровержениями, т. е. с обоснованиями ложности высказываний. Поскольку выражение «А ложно» есть лишь иная форма выражения «не А», в П. л. отказываются от любых способов… … Философская энциклопедия
ИОАННА БОГОСЛОВА ОТКРОВЕНИЕ — последняя книга НЗ и всей христианской Библии. В рукописной традиции встречается не менее 60 вариантов ее наименования (Hoskier. 1929. Vol. 2. P. 25 27). В самых ранних рукописях (Синайском ( ) и Александрийском (А) кодексах) содержится краткое… … Православная энциклопедия
МНОГОЗНАЧНАЯ ЛОГИКА — совокупность логических систем, опирающихся на многозначности принцип. В классической двузначной логике выражения при интерпретации принимают только два значения «истинно» и «ложно», в М.л. рассматриваются и др. значения, напр. «неопределенно»,… … Философская энциклопедия
Россия. История: История России — I Приднепровская Россия IX XII вв. земель , занятых племенами, определились частью естественными пределами линиями водораздельных волоков, частью перекрестным столкновением отдельных волн колонизационного потока. Быть может, взаимная борьба… … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
Непрерывность множества действительных чисел — Непрерывность действительных чисел свойство системы действительных чисел , которым не обладает множество рациональных чисел . Иногда вместо непрерывности говорят о полноте системы действительных чисел[1]. Существует несколько различных… … Википедия
Лобачевского геометрия — геометрическая теория, основанная на тех же основных посылках, что и обычная Евклидова геометрия, за исключением аксиомы о параллельных, которая заменяется на аксиому о параллельных Лобачевского. Евклидова аксиома о параллельных гласит:… … Большая советская энциклопедия
Тест Соловея — Штрассена вероятностный тест простоты, открытый в 1970 х годах Робертом Мартином Соловеем совместно с Фолькером Штрассеном.[1] Тест всегда корректно определяет, что простое число является простым, но для составных чисел с некоторой вероятностью… … Википедия