公理学方法相关硕士博士期刊学术论文 - 搜论网

公理学方法相关论文

一种证明程序正确性的方法

介绍一种证明程序正确性的方法 ,并和Floyed—Hoare公理学方法作了一些比较。为了形象的描述该方法 ,建立了一个抽象模型及一个程......

期刊

程序证明程序正确性程序设计方法学抽象模型公理学方法

制订要求的形式化方法

...

期刊

非形式化方法技术要求公理学方法检索系统医院信息形式模型说明图表语言模拟选代过程软件说明

关于传统形式逻辑的现代化问题

<正> 一、问题的提出逻辑科学是关于人们思维形式及其规律的科学。恩格斯说:“……这样从全部以前的哲学中,还保留独立意义的只......

期刊

传统形式逻辑数理逻辑现代形式门逻辑辩证逻辑逻辑科学现代化问题思维形式推理形式公理学方法

看过本文同时还关注