Математика и алгоритмы
Страница 5 из 28.
Группа Пуанкаре: представления и классификация Вигнера
Группа Пуанкаре и её представления: как Вигнер классифицировал неприводимые унитарные представления через массу и спин, операторы Казимира и связь частиц с симметрией пространства-времени.
Хеш-функция: требования к криптографической стойкости
Требования к криптографической хеш-функции: детерминированность, сжатие, лавинный эффект, односторонность и три уровня стойкости к коллизиям. Зачем нужно каждое свойство и где оно ломается.
Хранимые процедуры в базе данных: зачем нужны и как писать
Хранимые процедуры в базе данных простыми словами: что это, синтаксис CREATE PROCEDURE, параметры IN OUT, отличие от функций и триггеров, плюсы и минусы, примеры на SQL.
Уравнение Фредгольма второго рода: методы решения
Интегральное уравнение Фредгольма второго рода: постоянные пределы, ядро, ряд Неймана, резольвента, характеристические числа и собственные функции, условия разрешимости.
Интегральное уравнение Вольтерра: виды, ядро, методы решения
Интегральное уравнение Вольтерра первого и второго рода: переменный верхний предел, ядро, метод последовательных приближений, резольвента и связь с задачей Коши для ОДУ.
Интерпретация формулы логики предикатов: как задать смысл
Интерпретация формулы логики предикатов: что такое область, как задать значения предикатов, функций и констант, как оценить истинность формулы с кванторами и найти модель или контрпример.
Избавление от иррациональности в знаменателе: метод
Как избавиться от иррациональности в знаменателе: домножение на сопряжённое и на корень, формула разности квадратов, разбор кубических корней и типовые ошибки с примерами.
Категория функторов: объекты, морфизмы и примеры
Категория функторов между двумя категориями: функторы как объекты, естественные преобразования как морфизмы, композиция, изоморфизм функторов, примеры предпучков и категория диаграмм.
Классы Поста: замкнутые классы булевых функций
Что такое классы Поста и замкнутые классы булевых функций: пять предполных классов T0, T1, S, M, L, критерий полноты системы и как проверить базис по теореме Поста.
Код Рида-Маллера: параметры, построение и декодирование
Код Рида-Маллера простыми словами: как считать длину, размерность и кодовое расстояние RM(r, m), рекурсивное построение u, u+v и мажоритарное декодирование с примерами и калькулятором.
Когомологии де Рама: формы, замкнутость и точность
Когомологии де Рама простыми словами: дифференциальные формы, замкнутые и точные формы, оператор d, теорема де Рама и связь с топологией многообразия. Разбор с примерами.
Критерий Эйзенштейна: проверка многочлена на неприводимость
Критерий Эйзенштейна простыми словами: как по простому числу p доказать неприводимость многочлена над Q, условия признака, сдвиг переменной и разбор типовых примеров и ошибок.
Кванторы всеобщности и существования в логике предикатов
Кванторы всеобщности и существования в логике предикатов: что значат символы для всех и существует, как читать формулы, почему важен порядок кванторов и как строить отрицание по правилам де Моргана.
Логарифмические уравнения: метод потенцирования
Как решать логарифмические уравнения методом потенцирования: ОДЗ, переход от равенства логарифмов к равенству аргументов, проверка корней. Разбор типовых задач ЕГЭ.
Метод обратной задачи рассеяния: как решают КдФ и НУШ
Метод обратной задачи рассеяния простыми словами: пара Лакса, прямое и обратное преобразование рассеяния, как нелинейное уравнение КдФ сводится к линейной задаче и появляются солитоны.
Метод производящих функций: как ряд решает комбинаторику
Метод производящих функций: как закодировать последовательность в степенной ряд, вывести формулу общего члена, решить рекуррентность и сосчитать разбиения. Разбор с примерами и типовыми ошибками.
Минимальный многочлен элемента поля: что это
Минимальный многочлен элемента поля: определение, свойства, как его найти и связь со степенью расширения. Разбираем неприводимость, алгоритм поиска и типовые задачи с примерами.
Неравенство Мюрхеда: мажорирование и симметричные суммы
Неравенство Мюрхеда простыми словами: формулировка через мажорирование наборов показателей, симметричные средние, доказательство, условие равенства и применение к олимпиадным неравенствам и AM-GM.
Неравенство Шура: доказательство и применение в олимпиадах
Неравенство Шура для неотрицательных a, b, c: формулировка через параметр t, доказательство методом WLOG-упорядочивания, частный случай t = 1 и приёмы решения олимпиадных задач.
Ним-сумма позиции игры: как XOR решает кто выиграет
Ним-сумма позиции игры это XOR размеров куч. Разбираем, как она задаёт выигрышную и проигрышную позиции, теорему Спрэга-Гранди и поиск выигрышного хода.
Нормальная форма Бойса-Кодда (БКНФ): детерминант суперключ
Нормальная форма Бойса-Кодда БКНФ простыми словами: чем БКНФ строже 3НФ, как проверить, что детерминант каждой зависимости является суперключом, и как декомпозировать таблицу до БКНФ.
Q-обучение: алгоритм обучения с подкреплением по шагам
Q-обучение в обучении с подкреплением: правило обновления Q-таблицы, формула Беллмана, выбор действия по epsilon-жадной стратегии, сходимость и отличие от SARSA на простых примерах.
Односвязное пространство: определение и проверка через петли
Односвязное пространство в топологии: что значит тривиальная фундаментальная группа, как петля стягивается в точку, почему сфера односвязна, а окружность и тор нет, с примерами и критериями.
Оптимистичная и пессимистичная блокировка: чем отличаются
Оптимистичная и пессимистичная блокировка: как работают версии и флаги, чем отличаются стратегии, когда выбирать каждую, как обрабатывать конфликты при параллельных транзакциях.