З
💬 Заметные цитаты
Субъективность понятности текста
«Любая вещь, которая ясна и очевидна вам, может быть совсем не ясна вашим читателям, проверяющим или коллегам.»
Запрет на токсичную очевидность
«Пожалуйста, не используйте так называемое «доказательство запугиванием». Избегайте слов «очевидно» или «ясно».»
Разрыв между пониманием и написанием
«Понимание доказательства и написание доказательства — два разных навыка.»
Суть асимптотической нотации
«Асимптотическая нотация — это один из хлебных навыков анализа алгоритмов. Это язык, который позволяет сравнивать их, не увязая в деталях.»
Определение паросочетания в графах
«Паросочетание — это подмножество ребер нашего графа, где никакие два выбранных ребра не имеют общей конечной точки.»
«Доказательство существует, чтобы помочь вам проверить правильность вещей и помочь вам выявить ошибки.»
«Всякий раз, когда вы видите теорему, начинающуюся с «для всех», ваша первая строка почти всегда будет именно такой.»
«Индукция — это ответственность за доказательство левой части таблицы, чтобы бесплатно получить правую.»
📺 Где появляется
🧠 Ключевые концепции
📈 Темы
Закари Абель4MIT OpenCourseWare4Gale-Shapley algorithm1аксиомы1Big O1математическое доказательство1теория графов1логическая дедукция1математическая индукция1математические доказательства1Гармонические числа1Асимптотический анализ1
📺 Материалы с участием
1ч 18м🧩 Закари Абель: «Доказательство — это метод установления истины»
1ч 19м🧠 Закари Абель: «Никогда не используйте фразы „это очевидно“ в доказательствах»
1ч 19м🧠 Закари Абель: «Доказательства — это не магия, а скучная рутина»
1ч 18м🧱 Искусство игнорировать лишнее: как Big O помогает сравнивать Swap Sort и Merge Sort
1ч 21м🔗 Математика Match Day: как алгоритм Гейла — Шепли решает судьбы выпускников и серверов