I cannot believe that someone has not mentioned a LEGO Mindstorm yet. My 3 year old is already learning formal Logic with this and as a side effect he is learning robotics. My 10 year old has already dropped the graphical language for a C style language for robotics.