История и настоящее настольных игр для юных (и не только) программистов и робототехников. Часть 1

[ioannes]

Оставлю на всякий случай, настольная игра, которую сделал Никита Соболев, ShipIt!

https://github.com/sobolevn/ship-it-boardgame/blob/master/ru/rules.md

[estet]

Еще есть https://en.wikipedia.org/wiki/WFF_'N_PROOF

WFF 'N PROOF is a game of modern logic, developed to teach principles of symbolic logic. It was developed by Layman E. Allen in 1962[1][2] a former professor of Yale Law School and the University of Michigan.

[akdengi]

Я про нее знаю, но это не совсем про компьютеры: тут больше игра на слова и буквы с элементами алгоритмики. Ее и позиционировали как интеллектуальное развлечение в части символьной логики. Там еще были логические игры, но вот массово с 70-х "поперло".