Семинар: Александр Андреев - Алгоритмы решения SAT: теоретические и практические аспекты

Семинар: Егор Дудырев - Неформальное введение в Анализ Формальных Понятий

Илья Манякин - Вероятностные графовые модели и байесовские сети

ЛОМОНОСОВ О КНЯЖЕНИИ ВЛАДИМИРОВЕ ПОСЛЕ КРЕЩЕНИЯ ЕГО

Байрам Аннаков - AI агенты: что это такое, что уже возможно, и что ожидать в будущем?

Идея алгоритма Флойда-Уоршелла

Александр Болдачев. От темпоральной онтологии к eventFlow архитектуре

Денис Юричев. SAT и SMT решатели, по своей книге "SAT/SMT by example", часть 1/3

Алгоритмы и структуры данных ФУНДАМЕНТАЛЬНЫЙ КУРС от А до Я. Графы, деревья, хеш таблицы и тд

Алексей Тарасов - Линейное программирование может больше чем кажется

Чем ОПАСЕН МАХ? Разбор приложения специалистом по кибер безопасности

Цепи Маркова — математика предсказаний [Veritasium]

Дмитрий Штукенберг - Теория типов и некоторые её применения

Алексейс Ложкинс - RL для оптимизаторов: новый взгляд на старые задачи

Виталий Черненко - Применение комбинаторной оптимизации в задаче планирования молочного завода

SAT-солверы | Александр Куликов | Лекториум

Обыграешь меня — дам $1 000 000», — смеялся профи, не зная, что дочь горничной — гений

Ловушка для Украины с Россией и шансы на мир. Завершится ли война в будущем году? Итоги 2025

Вот почему лучше быть одиноким, чем следовать за стадом! Еврейская мудрость

ХРУЩЕВА: "Внезапно!". О чем молчали в Кремле, зачем вышел Лавров, как с Козаком, "Валдай", Украина

Математическая тревожность, нейросети, задачи тысячелетия / Андрей Коняев