Games where problems are solved through programming: creating algorithms, writing simple code, or assembling circuits from blocks so that robots, machines, and processors can do what's needed. This is excellent logic training, and for many, it's their first introduction to how a programmer thinks. Classic games include Zachtronics and Human Resource Machine.
You can download programming games via torrent: the filters above will help you choose by language, size, and build type.