形式语义学中的序结构和逻辑结构
基本信息
批准号：69873034
项目类别：面上项目
资助金额：8.00
负责人：陈仪香
学科分类：
依托单位：上海师范大学
批准年份：1998
结题年份：2001
起止时间：1999-01-01 - 2001-12-31
项目状态： 已结题
项目参与者：吴望名,徐剑清,尹艳,陆秋君
关键词：
形式语义学序结构逻辑结构
结项摘要
计算机语言的形成语义是计算机科学理论的重要研究领域，其研究成果对程序设计、软件形式化、编译技术、分布式系统等分支领域有重大的实际意义。本项目主要研究计算机语言的形式语义中序结构、逻辑结构、用数学的序理论、代数理论及范畴理论进一步探讨论域理论、非Hoare型逻辑、不确定程序语义、PCF语言的全抽象性、及∑代数和项理论。
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
基于被动变阻尼装置高层结构风振控制效果对比分析
基于被动变阻尼装置高层结构风振控制效果对比分析
DOI：10.13197/j.eeev.2019.05.95.fuwq.009
发表时间：2019
2
基于改进LinkNet的寒旱区遥感图像河流识别方法
基于改进LinkNet的寒旱区遥感图像河流识别方法
DOI：10.6041/j.issn.1000-1298.2022.07.022
发表时间：2022
3
血管内皮细胞线粒体动力学相关功能与心血管疾病关系的研究进展
血管内皮细胞线粒体动力学相关功能与心血管疾病关系的研究进展
DOI：10.13191/j.chj.2017.0028
发表时间：2016
4
基于SSR 的西南地区野生菰资源 遗传多样性及遗传结构分析
基于SSR 的西南地区野生菰资源 遗传多样性及遗传结构分析
DOI：
发表时间：2017
5
WMTL-代数中的蕴涵滤子及其应用
WMTL-代数中的蕴涵滤子及其应用
DOI：10.11897/SP.J.1016.2018.00886
发表时间：2018
陈仪香的其他基金
批准号：60673117
批准年份：2006
资助金额：26.00
项目类别：面上项目
批准号：90718013
批准年份：2007
资助金额：50.00
项目类别：重大研究计划
批准号：61370100
批准年份：2013
资助金额：73.00
项目类别：面上项目
批准号：60273052
批准年份：2002
资助金额：20.00
项目类别：面上项目
相似国自然基金
1
序、拓扑及形式语义学的数学基础
批准号：10331010
批准年份：2003
负责人：罗懋康
学科分类：A0112
资助金额：95.00
项目类别：重点项目
2
非经典序结构理论中在拓扑、逻辑和概念格中的应用
批准号：10926044
批准年份：2009
负责人：赖洪亮
学科分类：A0112
资助金额：3.00
项目类别：数学天元基金项目
3
基于结构逻辑的建筑形式生成方法研究
批准号：51608103
批准年份：2016
负责人：张弦
学科分类：E0801
资助金额：20.00
项目类别：青年科学基金项目
4
模糊集理论中拓扑，序，与逻辑结构之间的相互关系
批准号：11071174
批准年份：2010
负责人：张德学
学科分类：A0112
资助金额：24.00
项目类别：面上项目