程序逻辑概要

冯玉琳

首页> 中文期刊> 《计算机科学》 >程序逻辑概要

程序逻辑概要

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

＜正＞逻辑的理论和方法正越来越深刻地应用到计算机科学的各个领域。本文介绍理论计算机科学的一个重要分支——程序逻辑的概况以及它的发展动向。命题逻辑研究命题之间的关系,而谓词逻辑则深入到命题的内部结构,命题的性质依赖于论域的各别个体的性质。模态逻辑更进一步,命题的性质不仅依赖于论域个体的性质,还依赖于这些个体住质的某种传送关系。如果将程序的状态空间视作论域,程序的执行导致了状态的改变,程序确定了状态之间的某种传送关系,这正反映了一种模态性质。程序逻辑将程序当作逻辑对象来处理,加入适当的模态词之后,使得这种新的逻辑有了丰富的含义。

著录项

来源
《计算机科学》 |1982年第4期|30-35|共6页
作者
冯玉琳;
展开▼
作者单位

中国科学技术大学;

展开▼
原文格式 PDF
正文语种 chi
中图分类
关键词

相似文献

中文文献
外文文献
专利

1. 基于护理程序逻辑行动方案在提高PICC置管患者自我护理能力中的应用 [J] . 杜永磊 ,兰灵 ,段晓丽 . 哈尔滨医药 . 2023,第1期
2. 基于程序逻辑模式的德育品牌项目设计——以“巧补破窗·校园欺凌的班主任干预”项目为例 [J] . 刘莎莎 ,祝培志 . 中小学德育 . 2023,第9期
3. “1+X”证书制度下《使用Java理解程序逻辑》课程实训操作教学探索 [J] . 庄帅 . 产业与科技论坛 . 2022,第16期
4. 护理程序逻辑行动方案应用对心肌梗死患者认知与行动水平的影响 [J] . 闫振 ,周昆明 ,李沛沛 . 黑龙江医学 . 2022,第14期
5. 基于护理程序逻辑行动方案对子宫肌瘤患者认知与行为转变的影响 [J] . 杨海霞 ,党丹 ,段丽 . 齐鲁护理杂志 . 2021,第13期
6. 浅谈可编程序逻辑控制器(PLC)的演变和前景 [C] . 谭文理 ,刘培军 . 2012年全国聚氯乙烯行业技术年会 . 2012
7. 基于神经网络的云计算程序逻辑混淆方法研究 [A] . 王博 . 2020

程序逻辑概要

摘要

著录项

相似文献

相关主题

期刊订阅