Результаты поиска
Перейти к навигации
Перейти к поиску
Совпадения в названиях страниц
- ...>.|group=~}} — две теоремы [[Математическая логика|математической логики]] о принципиальных ограничениях [[Формальная арифметика|формальной арифметики]] Обе эти теоремы были доказаны [[Гёдель, Курт|Куртом Гёделем]] в 1930 году (опубликованы в 1 ...39 КБ (1089 слов) - 22:01, 10 октября 2024
- '''Теоремы Пенроуза — Хокинга о сингулярности''' — это теоремы в [[Общая теория относительности|общей теории относительности]], которые пы ...м энергетическим условиям. Энергетическое условие, необходимое для теоремы о сингулярности чёрной дыры, является слабым: оно говорит, что световые лучи ...34 КБ (542 слова) - 09:14, 5 марта 2025
- '''Теоремы Фрагмена — Линделёфа о росте регулярных функций''' — утверждения о том, что функция [[Комплексное число|комплексного переменного]] <math>F(z)< == Теорема Фрагмена — Линделёфа о верхней полуплоскости == ...3 КБ (173 слова) - 18:52, 26 января 2015
Совпадения в текстах страниц
- '''Теорема о сумме углов многоугольника''' выражает сумму углов [[Евклидова геометрия|ев ...без дополнительных вершин]] и [[Теорема о сумме углов треугольника|теоремы о сумме углов треугольника]]. ...2 КБ (19 слов) - 07:31, 28 марта 2024
- ...жных точках]], являющаяся обобщением [[Теорема Брауэра о неподвижной точке|теоремы Брауэра]]. [[Категория:Теоремы функционального анализа|Шаудера — Тихонова]] ...1 КБ (17 слов) - 11:00, 6 января 2021
- ...теорема геометрии треугольника, обобщение [[Теорема о биссектрисе|теоремы о биссектрисе]]. == Важный частный случай теоремы == ...3 КБ (108 слов) - 03:31, 27 августа 2024
- ...ределение|нормальном распределении]] и [[теорема Райкова|теоремы Райкова]] о [[Распределение Пуассона|распределении Пуассона]] на свертки нормального ра ...hive.phtml?wshow=paper&jrnid=tvp&paperid=4957&option_lang=rus Ю.В. Линник. О разложении композиции законов Гаусса и Пуассона. Теория вероятностей и ее п ...2 КБ (40 слов) - 11:41, 1 марта 2019
- ...еорема Лёба''' — теорема в [[Математическая логика|математической логике]] о взаимосвязи между доказуемостью утверждения и самим утверждением. Установле Следствием теоремы Лёба является то, что только в [[Дедуктивная теория#Противоречивость|против ...3 КБ (57 слов) - 06:54, 19 мая 2021
- Теорема Монтеля есть следствие [[теорема Арцела-Асколи|теоремы Арцела-Асколи]], оценок на производные аналитической функции (неравенства К *Следствием теоремы Монтеля является следующий факт: Если область <math>D</math> компактно лежи ...3 КБ (49 слов) - 01:08, 28 февраля 2017
- '''Теорема Крамера о разложении нормального распределения''' — утверждение в [[Теория вероятност == Формулировка теоремы == ...3 КБ (72 слова) - 20:51, 15 ноября 2018
- ...а о матрице Вандермонда''' (''теорема о корнях из единицы'') — утверждение о неравенстве нулю всех [[Минор (линейная алгебра)|миноров]] [[Определитель В | заглавие = Задачи и теоремы линейной алгебры ...2 КБ (32 слова) - 01:30, 12 февраля 2025
- '''Теорема Степанова''' — обобщение [[теорема Радемахера|теоремы Радемахера]] о [[Дифференцируемая функция|дифференцируемости]] [[Липшицево отображение|Лип [[Категория:Теоремы математического анализа|Степанова]] ...1 КБ (48 слов) - 01:11, 28 февраля 2017
- '''Теорема Хэйнсворта''' — утверждение о свойствах [[Дополнение Шура|дополнений Шура]] трех последовательно вложенны Доказательство есть в книге {{sfn|Задачи и теоремы линейной алгебры|с=32|1996}}. ...2 КБ (111 слов) - 14:12, 4 марта 2025
- *Верна также локальная версия теоремы. == О доказательстве == ...3 КБ (133 слова) - 21:23, 24 июля 2024
- == О доказательстве == Доказательство теоремы опирается на следующее легко проверяемое утверждение: Если все корни многоч ...2 КБ (47 слов) - 11:35, 21 апреля 2024
- '''Теорема о замкнутом графике''' — важный результат [[Функциональный анализ|функциональ Из теоремы о замкнутом графике следует [[теорема Хеллингера — Тёплица]]. ...3 КБ (85 слов) - 17:41, 18 декабря 2022
- * Силовские p-группы (см. [[Теоремы Силова]]) *** Данное свойство получается из теоремы о центре, если учесть, что любая подгруппа ''p''-группы сама является ''p''-г ...3 КБ (95 слов) - 02:37, 14 августа 2023
- ...функций]]. Теорема Блоха используется при доказательстве [[Теорема Ландау|теоремы Ландау]]. [[Категория:Теоремы комплексного анализа|Блоха (комплексный анализ)]] ...1 КБ (27 слов) - 08:21, 3 апреля 2018
- '''Теорема Мура — Пенроуза о псевдообратной матрице''' — утверждение о существовании единственной [[псевдообратная матрица|псевдообратной матрицы] ...h>X_{1}=X_{1}(AX_{2})=(X_{1}A)X_{2}=X_{2}AX_{2}=X_{2}</math>{{sfn|Задачи и теоремы линейной алгебры|с=267|1996}}. ...3 КБ (147 слов) - 19:17, 21 января 2022
- '''Теоре́ма Гёделя о полноте́ исчисле́ния предика́тов''' является одной из фундаментальных теоре ...еет [[Теория моделей|модели]]. Из [[теорема о существовании модели|теоремы о существовании модели]] следует, что <math>\{\neg \Phi \}</math> противоречи ...3 КБ (49 слов) - 19:28, 29 июня 2023
- {{Значения|Теорема Коши — Ковалевской{{!}}теорема о существовании и единственности решения задачи Коши}} ...вроде вычисления интеграла или интегрирования дифференциального уравнения. Теоремы существования позволяют определить, существует ли вычисляемый интеграл и ск ...7 КБ (25 слов) - 05:58, 31 мая 2024
- ...h>\lim_{n \to \infty}\frac{a(n)}{b(n)}=1</math>. Смысл второго утверждения теоремы в том, что с ростом <math>n</math> почти все функции реализуются со сложнос Доказательство есть в статье<ref>''Лупанов О. Б.'' О синтезе некоторых классов управляющих систем // Проблемы кибернетики, М., Ф ...3 КБ (103 слова) - 17:39, 16 мая 2023
- '''Теорема Польке ― Шварца''' ― теорема о [[параллельная проекция|параллельных проекциях]] тетраэдра. ...ов А. К.'' [http://mi.mathnet.ru/rus/msb/v32/i3/p453 Новое доказательство теоремы Pohlke] // Матем. сб., 32:3 (1925), 453–456. ...2 КБ (44 слова) - 14:30, 17 февраля 2019