Формальные Методы on Digitable courses https://courses.digitable.life/tags/%D1%84%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D1%8B%D0%B5-%D0%BC%D0%B5%D1%82%D0%BE%D0%B4%D1%8B/ Recent content in Формальные Методы on Digitable courses Hugo ru-RU Sat, 01 Aug 2026 00:12:59 +0300 Математическая логика и доказательства: как рассуждать строго 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-солверов до инвариантов цикла, соответствия Карри–Ховарда и теорем Гёделя.