这个就是形式化吗?
以下内容摘自 “第5章 计算学科中的数学方法”: http://px.zjnu.net.cn/attachments/month_0404/ch5-7.pdf 5.7.2 形式化方法 1形式化方法 王元元教授在他的著作计算机中的逻辑学中将形式化方法定义为彻头彻尾的符号化+抽象公理化 本书所指的形式化方法特指这一含义 2形式系统的组成部分 形式系统由下面几个部分组成 1初始符号初始符号不具有任何意义 2形式规则形式规则规定一种程序借以判定哪些符号串是本系统中的公式哪些不是 3公理即在本系统的公式中确定不加推导就可以断定的公式集 4变形规则变形规则亦称演绎规则或推导规则变形规则规定从已被断定的公式如何得出新的被 断定公式被断定的公式又称为系统中的定理 在以上4个组织部分中前两个部分定义了一个形式语言后两个部分在该形式语言上定义了一个 演绎结构形式系统由形式语言和定义于其上的演绎结构组成 在计算机系统中它的软硬件都是一种形式系统它们的结构也可以用形式化方法描述 程序设计语言更是不折不扣的形式语言系统 3形式系统的基本特点 1严格性 形式系统中初始符号和形式规则都要进行严格的定义不允许出现在有限步内无法判定的公式 形式系统采用的是一种纯形式的机械方法它的严格性高于一般的数学推导 2抽象性 抽象性不是形式系统的专利抽象是人们认识客观世界的基本方法只不过形式系统具有更强的抽象性