Страницы, ссылающиеся на «Шаблон:Теорема»
Следующие страницы ссылаются на «Шаблон:Теорема»:
Просмотреть (предыдущие 100 | следующие 100) (20 | 50 | 100 | 250 | 500)- Обсуждение:Неравенство Макмиллана (← ссылки)
- Алгоритм Эрли, доказательство оценки O(n^2) для однозначной грамматики (включение) (← ссылки)
- Отношение эквивалентности (включение) (← ссылки)
- Процесс Каратеодори (включение) (← ссылки)
- Объём n-мерного прямоугольника (включение) (← ссылки)
- Мера Лебега в R^n (включение) (← ссылки)
- Определение измеримой функции (включение) (← ссылки)
- Сходимость по мере (включение) (← ссылки)
- Классические теоремы теории измеримых функций (включение) (← ссылки)
- Вычислимые функции (включение) (← ссылки)
- Несовпадение класса языков, распознаваемых ДМП автоматами и произвольными МП автоматами (включение) (← ссылки)
- Диагональный метод (включение) (← ссылки)
- Определение интеграла Лебега (включение) (← ссылки)
- Некоторые элементарные свойства интеграла Лебега (включение) (← ссылки)
- Предельный переход под знаком интеграла Лебега (включение) (← ссылки)
- Неотрицательные суммируемые функции (включение) (← ссылки)
- Суммируемые функции произвольного знака (включение) (← ссылки)
- Классические теоремы о предельном переходе под знаком интеграла Лебега (включение) (← ссылки)
- Пространство L p(E) (включение) (← ссылки)
- Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ (включение) (← ссылки)
- Мера подграфика (включение) (← ссылки)
- Теорема Фубини (включение) (← ссылки)
- Теоретический минимум по математическому анализу за 3 семестр (включение) (← ссылки)
- Теорема Райса-Шапиро (включение) (← ссылки)
- Исчисление высказываний (включение) (← ссылки)
- Лемма о дедукции, полнота исчисления высказываний (включение) (← ссылки)
- Исчисление предикатов (включение) (← ссылки)
- Теории первого порядка (включение) (← ссылки)
- Математическое ожидание случайной величины (включение) (← ссылки)
- Секвенциальное и интуиционистское исчисление (включение) (← ссылки)
- Примитивно рекурсивные функции (включение) (← ссылки)
- Геделева нумерация. Арифметизация доказательств (включение) (← ссылки)
- 1я и 2я теоремы Геделя о неполноте арифметики (включение) (← ссылки)
- Теория множеств (включение) (← ссылки)
- Теоретический минимум по математической логике за 3 семестр (включение) (← ссылки)
- Возможность порождения формальной грамматикой произвольного перечислимого языка (включение) (← ссылки)
- Линейный клеточный автомат, эквивалентность МТ (включение) (← ссылки)
- Определения, 1 семестр, Кохась К.П. (включение) (← ссылки)
- Участница:Katyatitkova/Матан (включение) (← ссылки)
- Трапецоидная карта (включение) (← ссылки)
- Определение ряда Фурье (включение) (← ссылки)
- Наилучшее приближение в линейных нормированных пространствах (включение) (← ссылки)
- Слово Фибоначчи (включение) (← ссылки)
- Слово Туэ-Морса (включение) (← ссылки)
- Период и бордер, их связь (включение) (← ссылки)
- Транзитивный остов (включение) (← ссылки)
- Участник:Yulya3102/Матан (включение) (← ссылки)
- Теорема Бермана — Форчуна (включение) (← ссылки)
- Теоремы о временной и ёмкостной иерархиях (включение) (← ссылки)
- Классы PH, Σ и Π (включение) (← ссылки)
- Схемная сложность и класс P/poly (включение) (← ссылки)
- Примеры NP-полных языков. Теорема Кука (включение) (← ссылки)
- Классы NC и AC (включение) (← ссылки)
- Теорема Бейкера — Гилла — Соловэя (включение) (← ссылки)
- Сведение относительно класса функций. Сведение по Карпу. Трудные и полные задачи (включение) (← ссылки)
- Теорема Карпа — Липтона (включение) (← ссылки)
- PS-полнота языка верных булевых формул с кванторами (TQBF) (включение) (← ссылки)
- Теорема Сэвича. Совпадение классов NPS и PS (включение) (← ссылки)
- Рандомизированное бинарное дерево поиска (включение) (← ссылки)
- Теорема Фейера (включение) (← ссылки)
- Участник:Muravyov (включение) (← ссылки)
- Классы L, NL, coNL. NL-полнота задачи о достижимости (включение) (← ссылки)
- Триангуляция полигонов (ушная + монотонная) (включение) (← ссылки)
- Лемма Римана-Лебега (включение) (← ссылки)
- Теорема о непринадлежности XOR классу AC⁰ (включение) (← ссылки)
- Алгоритм Киркпатрика детализации триангуляции (включение) (← ссылки)
- QpmtnCmax (включение) (← ссылки)
- QpmtnriLmax (включение) (← ссылки)
- Классы RP и coRP (включение) (← ссылки)
- Интерактивные протоколы. Класс IP. Класс AM (включение) (← ссылки)
- Вероятностные вычисления. Вероятностная машина Тьюринга (включение) (← ссылки)
- Классы BPP (включение) (← ссылки)
- P2precpi1Lmax (включение) (← ссылки)
- PCP-теорема, альтернативное доказательство (включение) (← ссылки)
- 1precpmtnrifmax (включение) (← ссылки)
- PCP-система (включение) (← ссылки)
- PCP-теорема (включение) (← ссылки)
- Связь классов IP и AM друг с другом и с другими классами языков (включение) (← ссылки)
- Теоретический минимум по математическому анализу за 4 семестр (включение) (← ссылки)
- Классы NP, coNP, Σ₁, Π₁ (включение) (← ссылки)
- Класс PS. Связь класса PS с другими классами теории сложности (включение) (← ссылки)
- Классы L, NL, coNL (включение) (← ссылки)
- NL-полнота задачи о достижимости (включение) (← ссылки)
- Соотношение вероятностных классов (включение) (← ссылки)
- Теорема о соотношении coNP и IP (включение) (← ссылки)
- Эквивалентность PCP-теоремы и теоремы о трудности аппроксимации (включение) (← ссылки)
- J2pij1Lmax (включение) (← ссылки)
- R2Cmax (включение) (← ссылки)
- Блинная сортировка (включение) (← ссылки)
- O2Cmax (включение) (← ссылки)
- Теоретическая оценка времени работы алгоритмов RMHC и (1+1)-ES для задач OneMax и MST (включение) (← ссылки)
- Drift theory и Drift theorem (включение) (← ссылки)
- Opi1sumu (включение) (← ссылки)
- Эволюционные алгоритмы поиска эйлерова цикла в графе (включение) (← ссылки)
- Black-box Complexity. Примеры нереалистичных оценок Black-box Complexity (включение) (← ссылки)
- Алгоритмы точного вычисления гиперобъема (включение) (← ссылки)
- Эволюционные алгоритмы многокритериальной оптимизации, основанные на индикаторах. Гиперобъем (включение) (← ссылки)
- Flow shop (включение) (← ссылки)
- Оценка сложности вычисления гиперобъема (включение) (← ссылки)
- Сложность задачи вычисления Least Hypervolume Contributor и задачи его аппроксимации (включение) (← ссылки)