刘新宇 编著

同构：编程中的数学

全书共分为七章。 第1章介绍皮亚诺算术公理系统，通过5条公理，构筑了计算机程序大...