全球最大中文百科网站,人人都可编辑百科全书
 
当前位置:维吧 >> 公理化和形式化吧 >> 主题列表 吧主: 暂无吧主
开启维吧 申请吧主维吧投诉

公理化和形式化

公理化和形式化 正文  研究演绎科学理论和构造演绎系统的两种方法。它们被广泛应用于现代逻辑和数学研究中。   公理化 把一个科学理论公理化,就是用公理方法研究它,建立一个公理系统。每一科学理论都是由... [阅读全文]

相关维吧

数理逻辑史
谓词逻辑
高阶逻辑
一阶逻辑
实在主义
集合论
希尔伯特方案
多复变函数论
逻辑演算
集合论公理系统
提 示
1.遵守国家有关法律、法规,尊重网上道德
2.承担一切因您的行为而直接或间接导致的民事或刑事法律责任
3.互动百科留言板管理人员有权保留或删除其管辖留言中的任意内容

Copyright © 2005-2009 hudong.com Ltd. All Rights Reserved. 互动在线 版权所有