computer science themes

abstraction: hiding details

universality: 1) way to make decisions; 2) way to keep track; 3) way to keep going

recursive definitiondesign under constraint

design under constraint

liberal art;

trivium: 三学科（语法，逻辑，修辞）

quadrivium:四学科（算术，几何，音乐，天文）