软件的逻辑及相关技术研究-东篱科研大数据发现系统（DRDS）

位置：立项数据库 > 立项详情页

软件的逻辑及相关技术研究

项目名称：软件的逻辑及相关技术研究
项目类别：面上项目
批准号：69473004
申请代码：F0201
项目来源：国家自然科学基金
研究期限：1995-01-01-1997-12-01

项目负责人：杨东屏
负责人职称：研究员
依托单位：中国科学院软件研究所
批准年度：1994

中文摘要：

本项目解决了在软件理论及技术实践中提出的一系列逻辑理论问题Unity的代数的语义的建立；对函词式程序及入一项的协调性问题提出新的判定法则；易项分类问题的解决；线性逻辑量化系统的建立QLL；以可计算可枚举度界定最小度；BF（E）空间上包含关系的一阶可定义性。这些结果都有比较深刻的理论背景，同时又与应用紧密联系，是有相当的科学意义的。分别具有国内先进水平和国际水平。项上组已完成论文十几篇，圆满完成了任务。

中文主题词：程序验证;可计算性;λ- - 演算

成果综合统计