Доказательство Корректности 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%BE-%D0%BA%D0%BE%D1%80%D1%80%D0%B5%D0%BA%D1%82%D0%BD%D0%BE%D1%81%D1%82%D0%B8/ Recent content in Доказательство Корректности on Digitable courses Hugo ru-RU Sat, 01 Aug 2026 00:12:59 +0300 Анализ алгоритмов: асимптотика, инварианты и доказательство корректности https://courses.digitable.life/post/algorithms/01-analysis-and-proofs/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/algorithms/01-analysis-and-proofs/ Как измерять алгоритмы независимо от железа, считать рекуррентности и амортизацию, доказывать корректность через инварианты цикла и проверять теорию эмпирическими замерами.