Формальные Системы 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-%D1%81%D0%B8%D1%81%D1%82%D0%B5%D0%BC%D1%8B/ Recent content in Формальные Системы on Digitable courses Hugo ru-RU Sat, 01 Aug 2026 00:19:38 +0300 Как человечество научилось рассуждать: от Аристотеля до программ и категорий https://courses.digitable.life/post/logic/00a-history-and-levels-of-abstraction/ Tue, 28 Jul 2026 10:05:00 +0300 https://courses.digitable.life/post/logic/00a-history-and-levels-of-abstraction/ Две полноценные редакции одной истории: человеческий путь от убеждения к доказательству и инженерный путь от требования к типам, политикам, тестам и архитектуре.