Страницы, ссылающиеся на «Шаблон:Теорема»
Следующие страницы ссылаются на «Шаблон:Теорема»:
Просмотреть (предыдущие 100 | следующие 100) (20 | 50 | 100 | 250 | 500)- Теорема Ладнера (включение) (← ссылки)
- Теорема Левина (включение) (← ссылки)
- Теорема Кука (включение) (← ссылки)
- Класс P (включение) (← ссылки)
- Теоремы о коллапсе полиномиальной иерархии (включение) (← ссылки)
- Классы BPP и PP (включение) (← ссылки)
- Теорема Иммермана (включение) (← ссылки)
- Теорема Лаутемана (включение) (← ссылки)
- Семейство универсальных попарно независимых хеш-функций (включение) (← ссылки)
- Теорема Шамира (включение) (← ссылки)
- Определение поля и подполя, изоморфизмы полей (включение) (← ссылки)
- Теорема Махэни (включение) (← ссылки)
- Первообразные корни (включение) (← ссылки)
- Функциональный анализ (включение) (← ссылки)
- Цепные дроби как приближение к числу (включение) (← ссылки)
- Квадратичный закон взаимности (включение) (← ссылки)
- Теорема о цикличности мультипликативной группы поля Z/pZ (включение) (← ссылки)
- Функция Эйлера (включение) (← ссылки)
- Факты из математического анализа (включение) (← ссылки)
- Уравнение Пелля (включение) (← ссылки)
- Тест Ферма проверки чисел на простоту, числа Кармайкла (включение) (← ссылки)
- Тест Соловея-Штрассена (включение) (← ссылки)
- Вычисление порядка перестановки в группе перестановок (включение) (← ссылки)
- Представление групп (включение) (← ссылки)
- Теорема о подгруппах циклической группы (включение) (← ссылки)
- Смежные классы, теорема Лагранжа, нормальные подгруппы, факторгруппы (включение) (← ссылки)
- Моноид (включение) (← ссылки)
- Циклическая группа (включение) (← ссылки)
- Смежные классы (включение) (← ссылки)
- Теорема Лагранжа (включение) (← ссылки)
- Натуральные числа (включение) (← ссылки)
- Простые числа (включение) (← ссылки)
- Наибольший общий делитель (включение) (← ссылки)
- Основная теорема арифметики (включение) (← ссылки)
- Теоремы о простых числах (включение) (← ссылки)
- Обобщенный квадратичный закон взаимности (включение) (← ссылки)
- Представление простых в виде суммы двух квадратов (включение) (← ссылки)
- Периодичность цепных дробей (включение) (← ссылки)
- Цепные дроби для sqrtd и квадратичных иррациональностей (включение) (← ссылки)
- Тестовая страница (включение) (← ссылки)
- Свойства цепных дробей (включение) (← ссылки)
- Сходимость цепных дробей (включение) (← ссылки)
- Контексты и синтаксические моноиды (включение) (← ссылки)
- Определение булевой функции (включение) (← ссылки)
- Автоматы с eps-переходами. Eps-замыкание (включение) (← ссылки)
- Транзитивное замыкание (включение) (← ссылки)
- Построение по НКА эквивалентного ДКА, алгоритм Томпсона (включение) (← ссылки)
- ДНФ (включение) (← ссылки)
- Неразложимые элементы, ассоциированные элементы и разложение на множители в целостных кольцах (включение) (← ссылки)
- Произвольно вычерчиваемые из заданной вершины графы (включение) (← ссылки)
- Отношение связности, компоненты связности (включение) (← ссылки)
- Теорема о существовании простого пути в случае существования пути (включение) (← ссылки)
- Теорема о существовании простого цикла в случае существования цикла (включение) (← ссылки)
- Отношение вершинной двусвязности (включение) (← ссылки)
- Точка сочленения, эквивалентные определения (включение) (← ссылки)
- Отношение рёберной двусвязности (включение) (← ссылки)
- Мост, эквивалентные определения (включение) (← ссылки)
- Системы счисления (включение) (← ссылки)
- Коды Прюфера (включение) (← ссылки)
- Количество помеченных деревьв (включение) (← ссылки)
- Вершинная, рёберная связность, связь между ними и минимальной степенью вершины (включение) (← ссылки)
- Эйлеровость графов (включение) (← ссылки)
- Изменение размера оптимальной схемы при переходе к другому базису (включение) (← ссылки)
- Регулярные языки: два определения и их эквивалентность (включение) (← ссылки)
- Теорема Клини (совпадение классов автоматных и регулярных языков) (включение) (← ссылки)
- Замкнутость регулярных языков относительно различных операций (включение) (← ссылки)
- Матрица смежности графа (включение) (← ссылки)
- КНФ (включение) (← ссылки)
- Полные системы функций. Теорема Поста о полной системе функций (включение) (← ссылки)
- Китайская теорема об остатках (включение) (← ссылки)
- Теорема Вильсона (включение) (← ссылки)
- Теорема Ферма (включение) (← ссылки)
- Количество помеченных деревьев (включение) (← ссылки)
- Реализация булевой функции схемой из функциональных элементов (включение) (← ссылки)
- Фундаментальные циклы графа (включение) (← ссылки)
- Циклическое пространство графа (включение) (← ссылки)
- Правоконтекстные грамматики, эквивалентность автоматам (включение) (← ссылки)
- Теорема Дирака (включение) (← ссылки)
- Теорема Оре (включение) (← ссылки)
- Теорема Менгера (включение) (← ссылки)
- Покрытие рёбер графа путями (включение) (← ссылки)
- Подсчёт числа остовных деревьев с помощью матрицы Кирхгофа (включение) (← ссылки)
- Полином Жегалкина (включение) (← ссылки)
- Алгоритм построения Эйлерова цикла (включение) (← ссылки)
- Нормальная форма Хомского (включение) (← ссылки)
- Неукорачивающие и контекстно-зависимые грамматики, эквивалентность (включение) (← ссылки)
- Существование первообразных корней по определённым модулям (включение) (← ссылки)
- Символ Лежандра, критерий Эйлера (включение) (← ссылки)
- Теорема о (((p-1)/2)!)^2=-1(mod p) (включение) (← ссылки)
- Теорема Редеи-Камиона (включение) (← ссылки)
- Турниры (включение) (← ссылки)
- Теорема Хватала (включение) (← ссылки)
- Гамильтоновы графы (включение) (← ссылки)
- Удаление бесполезных символов из грамматики (включение) (← ссылки)
- Удаление цепных правил из грамматики (включение) (← ссылки)
- Удаление длинных правил из грамматики (включение) (← ссылки)
- Удаление eps-правил из грамматики (включение) (← ссылки)
- Контекстно-свободные грамматики, вывод, лево- и правосторонний вывод, дерево разбора (включение) (← ссылки)
- Алгоритм Хаффмана (включение) (← ссылки)
- Приведение грамматики к ослабленной нормальной форме Грейбах (включение) (← ссылки)