Публикации по теме 'mathematics'


Можете ли вы разработать алгоритм для решения этой прекрасной логической головоломки?
У профессора Снейпа 64 карточки, пронумерованные последовательными целыми числами от 2 до 65.… Головоломка У профессора Снейпа есть 64 карты, пронумерованные последовательными целыми числами от 2 до 65. Он выбирает две карты и делится их суммой с Гарри и их произведением с Драко. Далее следует блестящий обмен мнениями: Гарри: «Я вижу, что ты не знаешь чисел». Драко: «Теперь я знаю числа!» Гарри: «Теперь я тоже знаю!» Можете ли вы вывести числа на двух карточках? Найдите..
Введение в магию машинного обучения
С математикой вместо кода В наши дни мы много слышим о машинном обучении, и на самом деле оно окружает нас повсюду. Это может звучать загадочно или даже пугающе, но оказывается, что машинное обучение — это просто математика. И чтобы доказать, что это всего лишь математика, я напишу эту статью по старинке, с рукописными уравнениями вместо кода. Если вы предпочитаете учиться, слушая и наблюдая, я разместил видео, раскрывающее содержание этой статьи, здесь . В противном случае читайте..
Цепь Маркова и ее приложения в машинном обучении
Если стохастический процесс обладает марковскими характеристиками , которые используются для обработки будущего, его можно сравнить с цепью Маркова . Цепь Маркова — это случайный процесс, в котором…
Работа с проблемами пространственной сложности в автоматизированных помощниках по проверке
Автоматизированные помощники по проверке доказательств — это программные инструменты, которые стали незаменимыми для нескольких разделов математики, информатики и разработки программного обеспечения. Они предоставляют формальный язык для написания математических определений, исполняемых алгоритмов, теорем и доказательств. Они также предлагают среду для полуавтоматической разработки математических и вычислительных доказательств с использованием мощных методов автоматизированного..
Метрики расстояния для k-NN
ПРИМЕЧАНИЕ. все рисунки в этом посте были сделаны автором с использованием LATEX, numpy и matplotlib . Мы используем формулы расстояния в k -NN для определения близости точек данных, чтобы делать прогнозы или классификации на основе соседей. Существует множество способов измерения сходства, а также множество случаев, когда одну формулу следует использовать вместо другой. Евклидово расстояние Первая и наиболее распространенная формула расстояния — это евклидово расстояние ...
Инициализация Kaiming He в нейронных сетях — Math Proof
Получение оптимальной начальной дисперсии весовых матриц в слоях нейронной сети с функцией активации ReLU Методы инициализации являются одним из необходимых условий для успешного обучения архитектуры глубокого обучения. Традиционно методы инициализации веса должны быть совместимы с выбором функции активации, поскольку несоответствие потенциально может негативно повлиять на обучение. ReLU — одна из наиболее часто используемых функций активации в глубоком обучении. Его свойства делают..
Завершение квадрата — Веселье с математикой
Решите квадратные уравнения вида ax² + bx + c 😎 Заполнение квадрата  – один из важных и самых простых методов решения квадратного уравнения вида ax² + bx + c. Это применение известной алгебраической формулы (a + b)². Пожалуйста, ознакомьтесь с моей предыдущей статьей , чтобы понять визуальное объяснение (a + b)² Почему квадратные уравнения так трудно решать?🤔 Потому что x встречается в уравнении дважды. Это хуже? Давайте рассмотрим пример уравнения x2 + 2x +..