Живой канал: 13 постов в индексе за 30 дней, охват ≈88 % аудитории, аудитория стабильна, цитировали 23 площадки за всё время.
О канале
Материалы лекций и задания по теории категорий, теории типов и формализации математики в Lean.
🔬 Наука › Математика🧩 Курс и обучение👨💻 Программирование🎓 Университеты и студентыРусскийКаналы Telegram
Типканал
ID3330712592
Аудитория
Подписчики 442
история копится с 2026-10-14
2026-10-142026-10-29
0за 7 дней
Это ваш канал? Покажите статистику рекламодателямСтрока для описания или поста о рекламе и значок для сайта — со свежими числами и ссылкой на эту страницу.
Получить ссылку и значок
Поставьте строку в описание — у названия появится отметка «✓ ссылка от владельца» на сайте, в боте и мини-аппе. Описание мы перечитываем сами; сразу — кнопкой «Проверить ссылку» в боте или мини-аппе.
Для описания в Telegram
HTML для сайта
Markdown — README и вики
BBCode — форумы
Посты
Последние посты
Сегодня вечером пройдет следующая лекция по типам. Начинаем разбирать зависимые типы: как типы зависят от значений, программы становятся доказательствами, а проверка типов требует вычислений. Посмотрим: * Зависимые функции и пары (Π и Σ), к…Хотим поделиться классным докладом Василия Ионина по теории кос, который он прочитал на днях в кружочке в 179 школе. Видео: https://www.youtube.com/watch?v=h56tg3vBB8k Слайды: https://t.me/kruzhochek179/1065Лекция по формализации математики в Lean начнется через 30 минут: https://yandex.zoom.us/j/99316512535 В этот раз обсудим математический анализМенитаск временно умер, я создал репозиторий курса на гитхабе https://github.com/vasnesterov/public-2026-fall Дедлайны домашек продлимСегодня продолжится курс по теории категорий. В этот раз будет лемма Йонеды и сопряжённые функторы. Что мы обсудим (ключевые слова): • Лемма Йонеды. • Вложение малой категории в категорию предпучков не ней. • Сопряженные функторы: - свобода…В следующую субботу лекции по Lean не будет. Продолжим 10 октябряВся лента →Похожие площадки — Математика
Д
Данир на связи | Математика ОГЭ 2027 | Умскул
Математик Андрей
Максим Коваль. ЕГЭ по математике
Стас Экспонента | Математика ОГЭ | 100балльный репетитор
Physics.Math.Code
Артур Шарафиев | Профильная математика ЕГЭ 2027 | Турик Матанит | Умскул
@danirmath
канал384 020 уч.ruМ@matematik_andrei_channel
канал969 956 уч.2 постов/нед1 авторов/недruМ@MO_EGE
канал80 435 уч.7 постов/нед1 авторов/недruС@exponentamath
канал94 202 уч.ruP@physics_lib
канал146 825 уч.ruА@art_matanit
канал148 906 уч.ruАрхив по месяцам · 4
Архив по месяцам
данные витрины на 29.10.2026 07:14 UTC · Как считаем →