Как стать автором
Обновить
179.04

Математика *

Царица всех наук

Сначала показывать
Порог рейтинга
Уровень сложности

Моя теория множеств на языке С++

Уровень сложностиСредний
Время на прочтение4 мин
Количество просмотров1.6K

 Все теории множеств, о которых я читал, мне не нравились по разным причинам, но в основном из-за того, что у них были различные типы бесконечностей ( счётная, континуум и т.д. ). Поэтому я решил создать свою теорию с одним типом бесконечности. К тому же появилась идея изложить её при помощи языка С++. Для программистов это будет нагляднее, чем на языке логики. Конечно, это не полная теория, а набор отдельных положений представляющих общую идею.

Читать далее

Новости

Почему окружность и гипербола — это почти одно и то же? Кривые второго порядка и немного космоса

Время на прочтение5 мин
Количество просмотров4.7K

Привет, меня зовут Диана, я математик, а еще пишу для хабраблога МТС. В прошлый раз публиковала задачу про адвент-календарь — спасибо всем, кто решал и комментировал! А сегодня хочу немного рассказать про милый моему сердцу кусочек математики — часть аналитической геометрии, которая повествует о кривых второго порядка.

Кривые второго порядка — это не просто красивые абстракции. Они прочно вплетены в вашу повседневность: параболы помогают сфокусировать сигнал вашего Wi-Fi, гиперболы — определить ваше местоположение, а эллипсы — это орбиты спутников.

В посте обсудим, что такое кривые второго порядка с точки зрения математики и какие у них есть родственники. Найдем связь графиков из школьной математики и современных технологий — для этого даже сгоняем в космос! А еще узнаем, по какой траектории полетит брошенный мячик, если вы ну очень сильны. Предупреждаю: будет много ссылок. Надеюсь, получилось собрать их воедино и дать жизненного контекста, не погружаясь в тяжелые формулы. Поехали!

Читать далее

Более быстрые хеш-таблицы: претенденты на место SwissTable

Уровень сложностиСредний
Время на прочтение11 мин
Количество просмотров8.6K

24 ноября 2021 года на сайте ArXiv.org была опубликована научная статья «Крошечные указатели» (Tiny Pointers) с описанием новой структуры данных — «крошечных» указателей, которые указывают путь к фрагменту хранимых данных и занимают меньше памяти, чем традиционные указатели.

Осенью 2021 года эту статью заметил Андрей Крапивин (Andrew Krapivin), студент Ратгерского университета в Нью-Джерси, и не придал ей особого значения, пишет Quanta Magazine, журнал о последних достижениях в математике (перевод статьи на Хабре). Только через два года он нашёл время, чтобы внимательно ознакомиться с материалом. И понял, насколько это прорывное изобретение, если применить его для оптимизации хеш-таблиц.

Данная тема уже упоминалась на Хабре, но заслуживает более подробного обсуждения.
Читать дальше →

Пределы Формальных Систем: Теоремы Гёделя о Неполноте и Их Значение для Математики

Уровень сложностиСредний
Время на прочтение5 мин
Количество просмотров3.1K

Математика традиционно воспринимается как область абсолютной достоверности, где каждое корректно сформулированное утверждение либо истинно, либо ложно, и где истинность, по крайней мере в принципе, может быть установлена путем строгого логического доказательства, исходящего из набора фундаментальных аксиом. В начале XX века это представление достигло своего апогея в программе Давида Гильберта, целью которой была полная формализация математики — построение единой, непротиворечивой и полной аксиоматической системы, способной охватить все математические истины и, что немаловажно, доказать собственную непротиворечивость. Однако в 1931 году австрийский логик Курт Гёдель опубликовал работу «О формально неразрешимых предложениях Principia Mathematica и родственных систем I», которая радикально изменила ландшафт оснований математики. Его две теоремы о неполноте продемонстрировали фундаментальные ограничения формальных аксиоматических систем.

Читать далее

Истории

За гранью A/B: Синтетический контроль для оценки офлайн и онлайн экспериментов там, где A/B-тест невозможен

Уровень сложностиСредний
Время на прочтение13 мин
Количество просмотров1.7K

Привет! Я Настя — лид A/B Платформы в Wildberries. На протяжении всего карьерного пути меня интересует тема оценки эффектов. Для этого существуют различные инструменты, в числе которых как A/B-тестирование, так и альтернативные способы, например, различные вариации Causal Inference.

В этой статье я хочу поделиться примером проведения двух квази‑тестов в Wildberries с использованием Синтетического контроля (Synthetic Control), когда не получалось провести A/B‑тест, но все равно хотелось оценить эффект от изменений.

Читать далее

«Решаем задачки про ненормальных детей», или Как приблизить математику к реальности

Уровень сложностиПростой
Время на прочтение6 мин
Количество просмотров2.4K

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

В заголовок статьи вынесено название прошлогоднего чатика (в теперь уже запрещённом для учителей мессенджере, но сейчас не об этом) с моими учениками, причём назвали его так они сами. Так что же не так с героями задач и можно ли с этим что-то поделать?

Давайте разбираться

Как ЦБ РФ профукал 100млрд. долларов

Время на прочтение4 мин
Количество просмотров105K

Я уже достаточно давно критикую политику ЦБ РФ, и в общем то не безосновательно. Почти все действия ЦБ приводят к ухудшения положения в экономике, а их основные прогнозы упорно не хотят сбываться. В статьях "ЦБ против инфляции, нулевые результаты за год" и "Как спрогнозировать будущую инфляцию?" я достаточно подробно это описывал.

Читать далее

Винтик и Шпунтик — Сhallenge продолжается

Уровень сложностиСредний
Время на прочтение19 мин
Количество просмотров4.7K

Некоторое время назад я объявил челлендж имени Винтика и Шпунтика. Суть его — в подсчете числа решений задачки, почерпнутой из математической олимпиады для 7 класса. Изначально я рассчитывал на то, что лучшие умы Хабра разберутся с задачей за месяц. Однако с тех пор прошло 10, и не сказать, чтобы обозначились какие-то серьезные прорывы. Но некоторые новые идеи появились. Поэтому сегодня мы подведем промежуточные итоги нашего челленджа, а также разберем некоторые подходы, которые позволяют двигаться вперед в нашем нелегком деле.

Читать далее

Ограниченность диагонального метода Кантора

Уровень сложностиСредний
Время на прочтение3 мин
Количество просмотров726

Диагональный метод Кантора традиционно используется как доказательство несчётности множества всех бесконечных последовательностей из 0 и 1 (или, эквивалентно, несчётности интервала [0, 1]). Однако, при попытке строго проанализировать сам метод, возникает естественный вопрос: действительно ли он доказывает существование «невычислимого» или «неперечислимого» элемента, или лишь указывает на ограниченность конкретного способа перечисления?

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

Читать далее

Три теоремы о сортировках

Уровень сложностиСредний
Время на прочтение12 мин
Количество просмотров11K

Я знаю многих программистов и руководителей в IT компаниях, которые недолюбливают математиков и в частности считают их далёкими от жизни идиотами из-за их утверждений в духе "нельзя отсортировать последовательность быстрее, чем за nlogn" -- ведь это очевидным образом неверно, есть же сортировка подсчетом и radix sort. Нюанс в том, что описанное выше -- это распространённая некорректная трактовка одной из ключевых теорем об алгоритмах сортировок, корректное утверждение выглядит так: "не существует алгоритма, который бы гарантированно находил перестановку n элементов, приводящую к возрастающему порядку, быстрее чем за nlogn используя только операции попарного сравнения". В этом утверждении больше слов, оно более сложно в плане когнитивного восприятия, ключевой момент обозначил жирным шрифтом, чувствуете разницу?

В статье хочу рассказать об этой теореме и ещё о двух, на которые я наткнулся когда вел занятия по информатике в 9-11 классах будучи студентом старших курсов. Эти теоремы для меня были удивительным открытием, радовался вне себя когда вывел сам одну из них - её я не встречал ни в одном учебнике по информатике. В последствии все три теоремы были найдены в недрах Кнута, но чёрт побери, их поиск был сложнее, чем вывод!

Если я ещё не убедил Вас прочитать статью, то вот моя последняя попытка: в статье объясню почему пузырёк -- это бесполезная фигня, но внезапно практически также работающая сортировка вставками -- это супер важная сортировка, являющаяся частью std::sort в MSVC, GCC и Clang. Расскажу, каким интересным свойством оптимальности обладает сортировка выбором, являющаяся в теории такой же неэффективной как пузырёк.

Читать далее

Гениальный водяной компьютер: гидравлический интегратор Владимира Лукьянова

Уровень сложностиПростой
Время на прочтение6 мин
Количество просмотров10K

В истории вычислительной техники существует замечательная и часто упускаемая из виду глава: разработка аналоговых водяных компьютеров в Советском Союзе. Среди этих инноваций гидравлический интегратор Владимира Сергеевича Лукьянова представляет собой пионерское достижение, которое опередило сложные математические расчеты почти на полвека. Благодаря этой чудо-машине был построен БАМ, Саратовская ГЭС и огромное количество других масштабных проектов.

Читать далее

Три шага в ШАД: как пройти вступительные и не сойти с дистанции

Время на прочтение6 мин
Количество просмотров3.5K

В статье мы опишем этапы вступительного экзамена в ШАД в прошедшем 2024 году. Сформулируем рекомендации по подготовке к каждому этапу и в конце разберём интересную задачу с письменного экзамена.

Вступительный экзамен состоит из трёх этапов: онлайн-тестирование, письменный экзамен, собеседование. Все этапы можно было проходить онлайн. Отличившимся на онлайн-тестировании студентам предлагали написать олимпиаду. Её нужно было писать очно и в случае успеха этап с письменным экзаменом отменялся.

На всех этапах проверялись знания по математике, алгоритмам и программировании. На этапе собеседования дополнительно обсуждалась мотивация студента (подробнее чуть ниже). Время на всех этапах, кроме собеседования, 5 часов.

В таблице ниже мы собрали данные по задачам и проходным баллам.

Читать далее

Генерация случайных чисел

Уровень сложностиСредний
Время на прочтение10 мин
Количество просмотров8.9K
Картинка Benzoix, Freepik

Зачем вообще нужны случайные числа? Дело в том, что случайные числа не представляют собой оторванную от жизни абстракцию, а широко применяются во множестве областей, начиная от научных исследований и заканчивая технологиями, окружающими нас.

Рассмотрим наиболее известные применения случайных чисел и способы их получения как программным способом, так и комбинированным (программно-физическим).
Читать дальше →

Ближайшие события

4 – 5 апреля
Геймтон «DatsCity»
Онлайн
8 апреля
Конференция TEAMLY WORK MANAGEMENT 2025
МоскваОнлайн
25 – 26 апреля
IT-конференция Merge Tatarstan 2025
Казань
20 – 22 июня
Летняя айти-тусовка Summer Merge
Ульяновская область

Как стать продуктовым аналитиком в Ozon Банке?

Уровень сложностиПростой
Время на прочтение9 мин
Количество просмотров8.3K

Всем привет! Меня зовут Миша, и я работаю продуктовым аналитиком в Ozon Банке. Мой путь в профессии начался всего 3 года назад, и я отлично помню, как мне самому не хватало подробного плана по входу в профессию. Поэтому я решил написать свой. Надеюсь, что он поможет новичкам и тем, кто только задумывается об аналитике данных)

Для того чтобы мой план был более интерактивным, давайте представим, что, идя по плану мы как Танос из вселенной Marvel – собираем навыки аналитика в свою перчатку бесконечности.

Читать далее

Автокорреляционная функция фликкер-шума

Уровень сложностиСложный
Время на прочтение10 мин
Количество просмотров1.3K

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

Смотреть далее

DiffSplat: генерация 3D-объектов с помощью диффузионных моделей изображений

Уровень сложностиСредний
Время на прочтение7 мин
Количество просмотров1.8K

Полезно было бы уметь генерировать по текстовому описанию не только картинки, а полноценный 3D-объект, который можно рассмотреть со всех сторон. Это открывает огромные возможности для дизайна, игр, виртуальной реальности. Однако генерация 3D-контента — задача непростая. Современные методы требуют огромных объемов данных для обучения и страдают от несогласованности между разными ракурсами.  

Авторы DiffSplat предлагают подход, который решает эти проблемы элегантно и, что более важно, быстро! Вместо того чтобы создавать 3D-модели с нуля, создатели используют уже предобученные text-to-image модели. И просто «перепрофилируют» их для работы с 3D-гауссовыми сплатами.  

Читать далее

Ну заяц, погоди! Часть 3. Эволюция

Уровень сложностиПростой
Время на прочтение5 мин
Количество просмотров1.6K

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

Подробное описание создания модели в первой части статьи

Читать далее

Мультимодальные языковые модели: как нейросети учатся видеть и слышать

Уровень сложностиСложный
Время на прочтение6 мин
Количество просмотров2.2K

Мультимодальные языковые модели представляют собой самый прогрессивный класс нейросетевых архитектур, объединяющих способность воспринимать и обрабатывать различные типы данных одновременно - текст, изображения, аудио и видео. Это похоже на то, как наш мозг интегрирует информацию из разных органов чувств, чтобы создать полную картину мира. Как сказал философ Марсель Пруст, “Настоящее открытие не в том, чтобы увидеть новые земли, а в том, чтобы иметь новые глаза”.

Читать далее

А не пора ли нам подкрепиться?

Уровень сложностиСредний
Время на прочтение10 мин
Количество просмотров1.5K

Обучение с подкреплением – это одна из ключевых концепций ИИ. Пришло время подкрепить коммивояжера и его задачу поиска кратчайшего пути Q-обучением. Табличный вариант Q-обучения является сравнительно простой и эффективной реализацией обучения с подкреплением.

Читать далее

Пишем свой Transformer

Время на прочтение12 мин
Количество просмотров6K

Захотелось более детально разобраться и попробовать самостоятельно написать Transformer на PyTorch, а результатом поделиться здесь. Надеюсь, так же как и мне, это поможет ответить на какие-то вопросы в данной архитектуре.

Читать далее
1
23 ...