Основные моменты статьи:
Отрицание традиционных представлений: Страсслер утверждает, что в рамках квантовой физики 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
Проект разработан для повышения надежности критических систем (например, блокчейнов, 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 по мск
😶 Участвовать в бесплатном интенсиве
CEO Simulative и эксперт с большим опытом в аналитике, Андрон Алексанян организовал бесплатный интенсив, где вы будете решать реальные задачи, с которыми аналитики сталкиваются на работе
На прямых эфирах вы сделаете:
Во время эфиров вы узнаете много лайфхаков, а также будете получать полезные материалы для развития в аналитике на протяжении всего интенсива
❗️Знать 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
Этой классической книге по математике 100 лет.
📚 Book
@data_math
Forwarded from Machinelearning
Курс сочетает теорию (математика, физика) и практику (код, симуляторы), помогая разработчикам научиться создавать и программировать роботов.
▪ Лекции: От основ робототехники, математики и физики до пространственных преобразований, обратной кинематике и более продвинутым концепциям .
▪ Практика: Примеры кода на Python и C++ для управления роботами.
▪Симуляторы: Интеграция с стимуляторами Gazebo и ROS ( операционная система для робото) для тестирования алгоритмов.
▪Задания: Реальные практические задачи (например, управление манипулятором робота).
▪ Начинающие робототехники: Освоить кинематику, динамику, управление.
▪ Программисты: Интегрировать алгоритмы в ROS, Gazebo, Python/C++.
▪ Инженеры: Возможность Научиться разрабатывать автономные системы и манипуляторы.
▪Технологические энтузиасты
С курсом можно пройти путь от нуля до создания рабочего прототипа.
С курсом у вас будет возможность проектировать роботов, не имея железа под рукой (через симуляторы).
P.S. Для тех, кто любит формат «сделай сам»: Курс научит вас собирать робота виртуально, а потом переносить решения на реальные устройства. 🤖💡
#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
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
Гауссовские процессы позволяют построить распределение функций с непрерывной областью определения.
🔗 Гайд
@data_math
Mathematics for Computer Science
Бесплатный учебник от CRC Press объемом 547 страниц.
📚 Книга
@data_math
Бесплатный учебник от CRC Press объемом 547 страниц.
📚 Книга
@data_math
Ты — специалист в области машинного обучения? Хочешь проверить свои силы в реальных задачах, с которыми ежедневно сталкиваются 1000+ специалистов Авито? Тогда не упусти шанс стать частью крупнейшего соревнования в этой области!
Что тебя ждет:
Выбирай одну или обе задачи, показывай лучшие результаты и получай шанс на победу! Участвовать можно как индивидуально, так и в команде до 4 человек. Загружай до 5 решений в день.
Регистрация уже открыта! Подробности и анкета по ссылкам выше.
Please open Telegram to view this post
VIEW IN TELEGRAM
Forwarded from Machinelearning
Представлены значительные улучшения, особенно в области хранения и обработки больших моделей и датасетов.
Интеграция с Xet: Внедрена поддержка Xet — передового протокола для хранения крупных объектов в Git-репозиториях, призванного заменить Git LFS.
В отличие от LFS, который выполняет дедупликацию на уровне файлов, Xet работает на уровне фрагментов данных, что особенно полезно для специалистов, работающих с массивными моделями и датасетами.
Для интеграции с Python используется пакет
xet-core,
написанный на Rust, который обрабатывает все низкоуровневые детали.Чтобы начать использовать Xet, установите дополнительную зависимость:
pip install -U huggingface_hub[hf_xet]
После установки вы сможете загружать файлы из репозиториев, поддерживающих Xet.
Доплнительно:
huggingface-cli delete-cache
получила опцию --sort для сортировки кэшированных репозиториев (например, по размеру: --sort=size
).@ai_machinelearning_big_data
#huggingface #release #xet
Please open Telegram to view this post
VIEW IN TELEGRAM
📚 «Линейная алгебра»
Вторая лучшая книга по линейной алгебре с ~1000 практических задач.
Идеально для ИИ и машинного обучения.
Книга полностью бесплатна .
Прекрасно подходит для новичков.
📌 Книга
@data_math
Вторая лучшая книга по линейной алгебре с ~1000 практических задач.
Идеально для ИИ и машинного обучения.
Книга полностью бесплатна .
Прекрасно подходит для новичков.
📌 Книга
@data_math
book.23.pdf
430.5 KB
М. А. Шубин
Материал основананный на лекциях, дважды прочитанных автором в Красноярской краевой летней школе по естественным
наукам школьникам
В нем кратко объясняются основные понятия математического анализа (производная и интеграл) и даются простейшие приложения к физическимзадачам, основанные на составлении и решении дифференциальных уравнений.
Материал рассчитанана широкий круг читателей: школьников, студентов, учителей.
Please open Telegram to view this post
VIEW IN TELEGRAM