期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
一种证明程序正确性的方法 被引量:3
1
作者 厉海燕 李新明 《计算机应用》 CSCD 北大核心 2001年第z1期158-159,162,共3页
介绍一种证明程序正确性的方法 ,并和Floyed—Hoare公理学方法作了一些比较。为了形象的描述该方法 ,建立了一个抽象模型及一个程序实例 ,然后相对于这一模型并结合程序 。
关键词 程序证明 程序正确性 程序设计方法 抽象模型 公理学方法
在线阅读 下载PDF
关于传统形式逻辑的现代化问题
2
作者 高崇会 《人文杂志》 1982年第1期41-47,共7页
一、问题的提出 逻辑科学是关于人们思维形式及其规律的科学。恩格斯说:“……这样从全部以前的哲学中,还保留独立意义的只有关于思维及其规律的科学——形式逻辑和辩证法。”(《反杜林论》1957年版第24页)可见,逻辑科学从哲学中分化出... 一、问题的提出 逻辑科学是关于人们思维形式及其规律的科学。恩格斯说:“……这样从全部以前的哲学中,还保留独立意义的只有关于思维及其规律的科学——形式逻辑和辩证法。”(《反杜林论》1957年版第24页)可见,逻辑科学从哲学中分化出来是最晚的,而且有两种逻辑科学的存在:形式逻辑和辩证逻辑。 展开更多
关键词 传统形式逻辑 数理逻辑 现代形式 门逻辑 辩证逻辑 逻辑科学 现代化问题 思维形式 推理形式 公理学方法
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部