Доказательства on Digitable courses https://courses.digitable.life/tags/%D0%B4%D0%BE%D0%BA%D0%B0%D0%B7%D0%B0%D1%82%D0%B5%D0%BB%D1%8C%D1%81%D1%82%D0%B2%D0%B0/ Recent content in Доказательства on Digitable courses Hugo ru-RU Sat, 01 Aug 2026 00:12:59 +0300 Жадные алгоритмы и когда они корректны https://courses.digitable.life/post/algorithms/06-greedy/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/algorithms/06-greedy/ Как устроена жадность, почему она иногда даёт точный оптимум, а иногда катастрофу — аргумент обмена, greedy stays ahead, матроиды, классические задачи и приближённые гарантии. Математическая логика и доказательства: как рассуждать строго https://courses.digitable.life/post/mathematics/02-logic-and-proofs/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/mathematics/02-logic-and-proofs/ Пропозициональная логика, кванторы, правила вывода и методы доказательств — от таблиц истинности и SAT-солверов до инвариантов цикла, соответствия Карри–Ховарда и теорем Гёделя.