Формальная верификация на примере задачи о волке, козе и капусте

А никого не смущает, что решение, которое описано в тексте — неправильное?

В нашем случае фермер поступил так: старт, отдых, отдых, переправа козы, переправа обратно, переправа капусты, возврат с козой, переправа капусты, возврат обратно в одиночку, переправа волка.

Момент с вторичной переправой капусты (которой уже нет на берегу) — это как?

Паттерны и антипаттерны обоснования задач

Отличная статья, спасибо!

Fuck Up story: как я разочаровался в digital-услугах для бизнеса и проимел своё дело (ну почти)

Отличная статья, спасибо большое!
Написано очень толково и интересно!

Выпуск#20: ITренировка — актуальные вопросы и задачи от ведущих компаний

Нужно наибольшее число.