Музыка и математика: как аккорды вдохновляют архитектуру алгоритмов
Эта статья — эксперимент на стыке музыки, математики и программирования. Мы попробуем взглянуть на аккорды не как на набор звуков, а как на архитектурные паттерны. Я покажу, как гармонические последовательности могут подсказать нам структуру алгоритмов, приведу примеры кода и проведу параллели между миром нот и миром вычислений.
Gemini начал объяснять проблемы с формулами в Google Таблицах
Чат-бот Gemini научился объяснять, почему не работают формулы в Google Таблицах. Ранее ИИ работал только с текстом и диаграммами.
Планы CS Space на осенний семестр
Как обещали в первом посте, возвращаемся с подробным анонсом осенних курсов. В этом семестре мы организуем большие и малые курсы, охватывающие несколько тем в компьютерных науках, искусственном интеллекте и математике.
Ученые предложили новый метод решения вариационных неравенств в условиях, когда производные нельзя вычислить точно
Коллектив ученых из МФТИ, Университета искусственного интеллекта имени Мохаммеда бен Заида (Абу-Даби, ОАЭ), Иннополиса и Сколтеха исследовал задачу решения вариационных неравенств при неточной информации о производных. Им удалось предложить новый численный метод, а также теоретически и экспериментально показать его преимущества перед старыми методами. Работа опубликована в материалах конференции NeurIPS 2024.
Протоарифметика или Стратифицированная система без нуля: фундаментальные основания
ВведениеСтратифицированная система без нуля представляет собой иерархическую конструкцию формальных языков, построенную на принципе постепенного введения абстракций без использования нулевых элементов на начальных уровнях. Данный подход решает фундаментальную проблему дуализма нуля в основаниях математики и обеспечивает концептуальную чистоту формальных систем.I. Концептуальные основания1.1. Проблема дуализма нуляВ традиционных формализмах ноль играет двойственную роль:Как отсутствие объектов (пустота, ничто)Как полноценный математический объект с определёнными свойствами
Математика креативности
Альберт Эйнштейн. Фото: David Topper / ResearchGate Учёные пришли к выводу, что творчество состоит из математических закономерностей. В основу заложены уравнения и статистические законы. Глава 1: Правило равных шансов
Запуск Computer Science Space
Лекция С.И. НиколенкоПриветствуем любителей компьютерных наук! Хотим рассказать про новую инициативу: 1 марта в Санкт-Петербурге запустился Computer Science Space — открытый научно-технологический клуб для всех заинтересованных в современных и классических областях CS.Что в планах?
Забавные названия математических теорем
Известно, что математики - это устройства, трансформирующие кофе в теоремы. Много кофе в большое количество теорем. Чтобы их различать, им дают названия. Часто по имени авторов ("Теорема Ху", "Теорема Банаха-Алаоглу"); иногда, если авторы плодовитые, - просто по номеру (так и говорят: "Теорема 3.4 из "). Иногда дают пафосные названия ("Основная Теорема Арифметики", "Центральная Предельная Теорема"). Если совсем нет идей, называют по содержанию ("Теорема о существовании и единственности решения дифференциального уравнения").
