公理化和形式化 正文 研究演绎科学理论和构造演绎系统的两种方法。它们被广泛应用于现代逻辑和数学研究中。 公理化 把一个科学理论公理化，就是用公理方法研究它，建立一个公理系统。每一科学理论都是由... [阅读全文]
Copyright © 2005-2009 hudong.com Ltd. All Rights Reserved. 互动在线 版权所有
