节点文献
R演算——科学发现的逻辑
【摘要】 R演算是一个关于逻辑连接词符号和量词符号的形式推理系统,它可以把现有理论中与实验和观测结果矛盾的原理或定律推演出来并予以删除,之后再与实验支持的事实合并,获得新的自然科学理论。文章对R演算进行简单介绍,并使用R演算,对爱因斯坦创立狭义相对论和达尔文创立进化论的科学发现活动进行逻辑验证,最后讨论R演算的基本性质及其基本思想在软件测试和程序调试等方面的应用。
【基金】 软件开发环境国家重点实验室自主研究课题(SKLSDE-2011ZX-22)
- 【文献出处】 计算机教育 ,Computer Education , 编辑部邮箱 ,2012年11期
- 【分类号】N02
- 【下载频次】147