🔹Как математические формулы помогают писать чистый код?
🔹Как математические формулы помогают писать чистый код? 🔹Почему абстрактные теории вдруг становятся основой для реальных программ? 🔹И что общего между структурой Вселенной и архитектурой современных цифровых систем? Ответы — на лекции профессора Эдуарда Бабкина «На пути превращения камня преткновения в магический кристалл вычислительных технологий». Эдуард Александрович — профессор НИУ ВШЭ, заведующий лабораторией теории и практики систем поддержки принятия решений и руководитель программы «Бизнес-информатика». Он расскажет о вычислительной теории категорий — новом направлении на стыке фундаментальной математики и программирования. Во второй части лекции размерем конкретные примеры: преобразование программ, работа с графами и интеграция моделей. Лекция будет полезна программистам, инженерам, студентам технических специальностей и всем, кто хочет заглянуть в будущее цифровых технологий. Когда: 7 июля, 18:00 Где: ул. Семашко, 7Б, Информационный центр по атомной энергии (ИЦАЭ) Вход свободный, регистрация обязательна __ 💡Наука в Нижнем. Максимум науки в МАХ