计算机科学的数学基础

工具

查询更多基金项目 | 智能选刊推荐

该负责人其他项目

• 社会博弈的逻辑与计算模拟研究（国社科，赵希顺，2013）
• 极小不可满足公式的结构与分类（国自然，赵希顺，2012）
• 度量空间上的计算复杂性的进一步研究（国自然，赵希顺，2011）
• 度量空间上的计算复杂性理论（国自然，赵希顺，2010）
• 二阶逻辑的表达能力与计算复杂性（国自然，赵希顺，2009）
• 第11届可满足性问题的理论与应用国际会议（国自然，赵希顺，2008）
• 逻辑方法建模中的可满足性广州国际研讨会（国自然，赵希顺，2006）
• 量化布尔公式的理论与算法研究（国自然，赵希顺，2005）

中山大学其他项目

• 基于μOCT的血细胞活体动态成像方法研究（国自然，葛昕，2026）
• 声学双曲节点线材料波动和物理效应研究（国自然，郑立洋，2026）
• 带停时与控制的非平稳连续时间Markov博弈（国自然，郭昕，2026）
• 利用新型径迹算法寻找超出标准模型新物理（国自然，刘洋，2026）
• 利用四底夸克末态的双希格斯产生过程研究希格斯自耦合（国自然，石辽珊，2026）
• 非建模引力波搜索与分类的级联式深度学习框架研究（国自然，严建祺，2026）
• 考虑三重孔隙结构特征的岛礁隧洞爆破损伤机理与优化设计研究（国自然，马建军，2026）
• 局部向上非均匀渗流诱发砂层流化-剪切耦合失稳机理研究（国自然，林存刚，2026）

数理逻辑和与计算机相关的数学学科其他项目

• 集合论方法在递归论中的应用（国自然，喻良，2016）
• 复杂推理的序、代数和逻辑方法及其计量化模型（国自然，赵彬，2015）
• 半代数混杂系统形式化分析与验证的例证法研究（国自然，吴尽昭，2014）
• 不确定系统中的伪加权下推计算模型研究（国自然，金检华，2014）
• 混成系统验证与分析（国自然，佘志坤，2014）
• 可计算枚举度与d.c.e.度之间的结构性质交叉研究（国自然，王慎玲，2014）
• 控制系统形式化设计中逻辑特征应用的研究（国自然，张晋津，2014）
• 基于量子逻辑的不确定性计算模型及其应用研究（国自然，韩召伟，2014）