20 материалов в этой теме.
Как на самом деле устроен float, откуда берутся погрешности, чем обусловленность задачи отличается от устойчивости алгоритма, и как писать численный код, который не врёт …
Детерминированные системы, которые невозможно предсказать: неподвижные точки и устойчивость, каскад Фейгенбаума, показатели Ляпунова, странные аттракторы, фрактальная …
Что значит «эффективно вычислимо»: классы P, NP, co-NP, L, NL, PSPACE, сведения по Карпу, теорема Кука–Левина, теоремы иерархии, барьеры доказательств — и практический …
От интуитивного «множество — это коробка с элементами» до аксиом ZFC: операции, отношения, мощности, диагональ Кантора, парадокс Рассела и то, как всё это живёт в SQL, …
Строгое введение в теорию категорий для инженера: определение категории и законы композиции, изоморфизмы и двойственность, универсальные свойства произведения и …
Как абстрактная чепуха превращается в рабочий инструмент: категория типов, законы функтора и монады, аппликативная валидация, катаморфизмы вместо ручной рекурсии и линзы …
Строгая математика стратегического взаимодействия: нормальная форма, доминирование, равновесие Нэша и теорема о его существовании, минимакс и LP-двойственность, …
От строгого определения графа до теорем Эйлера, Куратовского, Кёнига и Кирхгофа — с интуицией, ручными разборами и работающим Python-кодом.
Что значит «вычислимо»: машина Тьюринга со строгим определением и работающим симулятором, лямбда-исчисление с нумералами Чёрча и комбинатором неподвижной точки, тезис …
От аксиом Колмогорова и формулы Байеса до доверительных интервалов, A/B-тестов, концентрационных неравенств и перцентилей латентности — со строгими определениями, ручными …
Собственные векторы как «оси, которые матрица не поворачивает», спектральная теорема, SVD и её геометрия, малоранговые приближения, LU/QR/Холецкий/Шур — со строгими …
Матрица — это не таблица чисел, а линейное отображение в координатах: откуда берётся правило умножения, что на самом деле измеряет определитель, как устроен метод Гаусса …
По этому запросу ничего не найдено.
