Принцип инвариантности

🛠 Теория автоматов состояний: от головоломки «Пятнашки» до верификации алгоритмов

⚙ Эрик Демейн о математике алгоритмов: «Инварианты гарантируют корректность»