Как-то прочел на Хабре статью «Перевозим волка, козу и капусту через реку с эффектами на Haskell», которая так понравилась, что решил написать фреймворк для всего класса задач о переправах, используя мультипарадигменное проектирование. Наконец удалось найти время, и вот, спустя…
Слово «мультивселенная» используют многие люди, но не все подразумевают под ним одно и то же понятие. Читатель Крис Олсон спрашивает о двух разных значениях этого слова: Каким образом идеи Эверетта о квантовой механике и вечная инфляция связаны друг с другом, если они вообще…
Это как бы ответ на статью lxsmkv «Задача о переправе». Наиболее запоминающаяся часть той статьи — это огромная (в сопоставлении с сложностью задачи) таблица, в которой выражена модель задачи. Попробуем придумать что-то попроще. Читать дальше →
На мой взгляд, в русскоязычном секторе интернета тематика формальной верификации освещена недостаточно, и особенно не хватает простых и наглядных примеров. Я приведу такой пример из зарубежного источника, и дополню собственным решением известной задачи о переправе волка, козы