Математика Дата саентиста
12.7K subscribers
349 photos
121 videos
35 files
311 links
@notxxx1 - админ

@data_analysis_ml - ds

Регистрация в РКН: № 5153205507
Download Telegram
Problems In Differential Geometry And Topology

📚 Книга

@data_math
⭐️ Статья профессора Мэтта Страсслера "Did the Particle Go Through the Two Slits, or Did the Wave Function?" посвящена анализу классического квантовомеханического эксперимента с двумя щелями. В этом эксперименте частицы, проходя через две щели, создают на экране интерференционную картину, что вызывает вопросы о природе их прохождения через щели.

Основные моменты статьи:

Отрицание традиционных представлений: Страсслер утверждает, что в рамках квантовой физики 1920-х годов ни частица, ни её волновая функция не проходят через обе щели одновременно. Это противоречит распространённому мнению о том, что частица ведёт себя как волна и проходит через обе щели, интерферируя сама с собой.
PROFMATTSTRASSLER.COM

Суперпозиция состояний: Автор подчёркивает, что частица находится в состоянии суперпозиции — то есть, она имеет вероятность пройти через одну или другую щель, но не через обе одновременно. Это состояние суперпозиции приводит к наблюдаемой интерференционной картине.
PROFMATTSTRASSLER.COM

Аналогия с экспериментом с двумя дверями: Для упрощения понимания Страсслер предлагает мысленный эксперимент с двумя дверями, где частица может пройти либо через одну, либо через другую дверь, но не через обе одновременно. Это помогает иллюстрировать принцип суперпозиции и его последствия.
PROFMATTSTRASSLER.COM

Интерес статьи заключается в следующем:

Переосмысление квантовых концепций: Статья предлагает иной взгляд на интерпретацию эксперимента с двумя щелями, бросая вызов традиционным представлениям о поведении частиц на квантовом уровне.

Углубление понимания суперпозиции: Автор подробно объясняет принцип суперпозиции состояний и его роль в квантовых явлениях, что способствует более глубокому пониманию фундаментальных аспектов квантовой механики.

Образные объяснения: Использование аналогий, таких как эксперимент с двумя дверями, делает сложные квантовые концепции более доступными для широкой аудитории.

В целом, статья Страсслера предоставляет свежий взгляд на классический квантовый эксперимент, стимулируя читателей к переосмыслению устоявшихся представлений и углублению в фундаментальные принципы квантовой физики.

Читать

@data_math
Please open Telegram to view this post
VIEW IN TELEGRAM
🎯 Coq-of-Rust — это инструмент для формальной верификации кода на Rust. Он преобразует подмножество Rust в спецификации на языке Coq, позволяя доказывать корректность программ математическими методами.

Проект разработан для повышения надежности критических систем (например, блокчейнов, embedded-решений), где ошибки недопустимы.

🔥 Основные функции
Трансляция Rust → Coq:
Конвертирует структуры, перечисления (enum), трейты (trait), методы и выражения в эквивалентный код на Coq.

Поддержка системы владения:
Учитывает правила заимствования и времени жизни (lifetimes), сохраняя семантику Rust на уровне спецификаций.

Генерация теорем:
Автоматически создает условия для доказательства свойств (например, отсутствие паник, корректность алгоритмов).

Coq-of-Rust — это шаг к математически верифицируемому Rust. Если вы разрабатываете системы, где цена ошибки высока, этот инструмент поможет превратить код в набор теорем, которые можно строго доказать.

Совет: Начните с примеров из репозитория, чтобы понять, как транслируются типичные Rust-конструкции.

https://github.com/formal-land/coq-of-rust

@data_math
Хотите получить много практики на реальных задачах, собрать портфолио и узнать как выглядит рабочий день аналитика?

CEO Simulative и эксперт с большим опытом в аналитике, Андрон Алексанян организовал бесплатный интенсив, где вы будете решать реальные задачи, с которыми аналитики сталкиваются на работе

На прямых эфирах вы сделаете:
🟠Анализ активности пользователей с помощью SQL
🟠Анализ маркетинговых активностей с помощью Python
🟠ABC анализ ассортиментной матрицы в Excel (уже прошел, но вам будет доступна запись)

Во время эфиров вы узнаете много лайфхаков, а также будете получать полезные материалы для развития в аналитике на протяжении всего интенсива

❗️Знать Python и SQL не обязательно — все будем разбирать с нуля

🕗 Встречаемся на новом эфире уже сегодня, 20 марта в 19:00 по мск

😶Участвовать в бесплатном интенсиве
Please open Telegram to view this post
VIEW IN TELEGRAM
⭐️ Разложение на простые дроби при интегрировании

Неопределенный интеграл от рациональной функции: разложение на простые дроби
Неопределенный интеграл от дробно-рациональной функции
Неопределенный интеграл от дробно-рациональной функции x/(x+1)(1+x^2)
Неопределенный интеграл от дробно-рациональной функции 1/(x+1)(x+2)(x+3)
Неопределенный интеграл. Разложение на простые дроби

⚡️ источник
Please open Telegram to view this post
VIEW IN TELEGRAM
Please open Telegram to view this post
VIEW IN TELEGRAM
🔥 The Project Gutenberg EBook of First Course in the Theory of Equations,

Этой классической книге по математике 100 лет.

📚 Book

@data_math
Forwarded from Machinelearning
🤖 Modern Robotics Course: Открытый курс по современной робототехнике.

Курс сочетает теорию (математика, физика) и практику (код, симуляторы), помогая разработчикам научиться создавать и программировать роботов.

🌟 Что внутри?
Лекции: От основ робототехники, математики и физики до пространственных преобразований, обратной кинематике и более продвинутым концепциям .
Практика: Примеры кода на Python и C++ для управления роботами.
Симуляторы: Интеграция с стимуляторами Gazebo и ROS ( операционная система для робото) для тестирования алгоритмов.
Задания: Реальные практические задачи (например, управление манипулятором робота).

🌟 Для кого?
Начинающие робототехники: Освоить кинематику, динамику, управление.
Программисты: Интегрировать алгоритмы в ROS, Gazebo, Python/C++.
Инженеры: Возможность Научиться разрабатывать автономные системы и манипуляторы.
Технологические энтузиасты

С курсом можно пройти путь от нуля до создания рабочего прототипа.

С курсом у вас будет возможность проектировать роботов, не имея железа под рукой (через симуляторы).

✔️ Готовые решения: Внутри вы найдете библиотеки для работы с преобразованиями, датчиками, движением.

✔️Карьера в робототехнике: Курс даст возможность получить базовые навыки, востребованные в Bosch, Boston Dynamics, Tesla.

⭐️ Преимущества перед другими открытыми курсами
🟠 Акцент на практике: Минимум абстракций — максимум кода.
🟠Совместимость с ROS: Стандарт для промышленной робототехники.
🟠 Современные алгоритмы: Не только классика, но и нейросетевые подходы.

➡️ Cовет: Для погружения в курс, вам поможет книга Robotics, Vision and Control: Fundamental Algorithms in Python, Peter Corke, вот ее репозиторий с примерами кода.

P.S. Для тех, кто любит формат «сделай сам»: Курс научит вас собирать робота виртуально, а потом переносить решения на реальные устройства. 🤖💡

✔️ Github
✔️ Введение в курс

#course #ai #ml #robots #education #курс #робототехника
Please open Telegram to view this post
VIEW IN TELEGRAM
Как ИИ помогает компаниям принимать умные решения и развивать разные индустрии?

15-16 апреля пройдет Весенний онлайн-лекторий, посвященный влиянию ИИ на индустрии. Разберемся в технологиях вместе с ФКН НИУ ВШЭ, Яндекс, Сбер, Авито, МТС и другими лидерами рынка.

Программа Лектория обширна:
— Вебинары про ИИ и ML в банках, бигтехе и e-com
— Мастер-классы и кейсы по Data Science, Data Analytics и Data Engineering
— Круглый стол по разработке и применению ИИ-агентов
— Прожарка резюме и карьерная лекция

Вы сможете разобраться в ключевых трендах и возможностях в IT, а также погрузиться в Data Science, Data Analytics и Data Engineering, изучение инструментов и реальных задач каждого направления.

Лекторий организуют эксперты факультета компьютерных наук НИУ ВШЭ, онлайн-магистратур ФКН и Центра непрерывного образования, а также ведущие компании индустрии. Поэтому вас ждут глубокие инсайты из мира IT.

Когда: 15-16 апреля в 16:00
Где:
онлайн

🔗 Зарегистрироваться

Реклама: НИУ ВШЭ
ИНН: 7714030726
Erid: 2SDnjcrGUXe
This media is not supported in your browser
VIEW IN TELEGRAM
⚡️ Это увлекательный интерактивный гайд, объясняющий интуицию, лежащую в основе гауссовых процессов.

Гауссовские процессы позволяют построить распределение функций с непрерывной областью определения.

🔗 Гайд

@data_math
Mathematics for Computer Science

Бесплатный учебник от CRC Press объемом 547 страниц.

📚 Книга


@data_math
🚀Прими участие в ML Cup 2025 от Авито и выиграй 1,2 миллиона рублей!

Ты — специалист в области машинного обучения? Хочешь проверить свои силы в реальных задачах, с которыми ежедневно сталкиваются 1000+ специалистов Авито? Тогда не упусти шанс стать частью крупнейшего соревнования в этой области!

Что тебя ждет:

☑️Денежный призовой фонд
☑️Автоматизированная оценка решений
☑️2 практические задачи:

1️⃣Персональные рекомендации — предскажи, какие товары вызовут интерес у миллионов пользователей → ссылка на регистрацию.

2️⃣Поиск дублей — как с помощью CV находить похожие объявления даже при разных текстах и ракурсах фото → ссылка на регистрацию.

Выбирай одну или обе задачи, показывай лучшие результаты и получай шанс на победу! Участвовать можно как индивидуально, так и в команде до 4 человек. Загружай до 5 решений в день.

Регистрация уже открыта! Подробности и анкета по ссылкам выше.
Please open Telegram to view this post
VIEW IN TELEGRAM
Forwarded from Machinelearning
🔥 ​Hugging Face выпустила версию 0.30.0 библиотеки huggingface_hub - это самое крупное обновление за два года!

Представлены значительные улучшения, особенно в области хранения и обработки больших моделей и датасетов.​

✔️ Основные нововведения:

Интеграция с Xet: Внедрена поддержка Xet — передового протокола для хранения крупных объектов в Git-репозиториях, призванного заменить Git LFS.

В отличие от LFS, который выполняет дедупликацию на уровне файлов, Xet работает на уровне фрагментов данных, что особенно полезно для специалистов, работающих с массивными моделями и датасетами.

Для интеграции с Python используется пакет xet-core, написанный на Rust, который обрабатывает все низкоуровневые детали.​

Чтобы начать использовать Xet, установите дополнительную зависимость:​
pip install -U huggingface_hub[hf_xet]

После установки вы сможете загружать файлы из репозиториев, поддерживающих Xet.​

Доплнительно:
😶 Расширен InferenceClient:
😶 Добавлена поддержка новых провайдеров для инференса: Cerebras и Cohere.
😶 Внедрены асинхронные вызовы для задач инференса (например, text-to-video), что повышает стабильность и удобство работы.
😶 Улучшен CLI
😶 Команда huggingface-cli upload теперь поддерживает wildcards (шаблоны) прямо в пути к файлам (например, huggingface-cli upload my-model *.safetensors вместо опции --include).
😶 Команда huggingface-cli delete-cache получила опцию --sort для сортировки кэшированных репозиториев (например, по размеру: --sort=size).

✔️ Полный список обновлений
✔️Блог
✔️Документация по Xet

@ai_machinelearning_big_data


#huggingface #release #xet
Please open Telegram to view this post
VIEW IN TELEGRAM
📚 «Линейная алгебра»

Вторая лучшая книга по линейной алгебре с ~1000 практических задач.

Идеально для ИИ и машинного обучения.

Книга полностью бесплатна .

Прекрасно подходит для новичков.

📌 Книга

@data_math
book.23.pdf
430.5 KB
🔥 Математический анализ для решения физических задач
М. А. Шубин

Материал основананный на лекциях, дважды прочитанных автором в Красноярской краевой летней школе по естественным
наукам школьникам

В нем кратко объясняются основные понятия математического анализа (производная и интеграл) и даются простейшие приложения к физическимзадачам, основанные на составлении и решении дифференциальных уравнений.

Материал рассчитанана широкий круг читателей: школьников, студентов, учителей.
Please open Telegram to view this post
VIEW IN TELEGRAM