摘要： 以下内容摘自 “第5章 计算学科中的数学方法”： http://px.zjnu.net.cn/attachments/month_0404/ch5-7.pdf 5.7.2 形式化方法 1形式化方法 王元元教授在他的著作计算机中的逻辑学中将形式化方法定义为彻头彻尾的符号化+抽象公理化 本书所指的形式化方法特指这一含义 2形式系统的组成部分 ... 阅读全文