可计算性理论及其应用

工具

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

该负责人其他项目

• 集合论方法在递归论中的应用（国自然，喻良，2016）
• 数理逻辑（国自然，喻良，2013）
• 可计算性与随机性（国自然，喻良，2009）
• 可计算性理论在算法信息论中的应用（国自然，喻良，2009）
• 可计算性理论及其在算法信息论中的应用（国自然，喻良，2007）
• 可计算性（国自然，喻良，2007）

南京大学其他项目

• 海藻酸锰水凝胶介导的锰离子局部递送增强放疗远端效应及抗肿瘤免疫研究（国自然，徐涛，2026）
• 靶向抑制剂修复化疗诱导的男性生育功能损伤的作用和机制研究（国自然，张天舒，2026）
• 响应肿瘤缺氧微环境的高穿透性酵母菌疫苗在结直肠癌中的治疗作用和机制研究（国自然，李昕阳，2026）
• 跨膜蛋白Claudin-6对胰腺癌发生发展的影响与机制研究（国自然，苏呈祥，2026）
• 全新世热带高海拔温度响应机制与敏感性估计：模拟与指标协同的定量约束（国自然，保云涛，2026）
• UnchartedRO₂reactionsofmixturesintheatmosphere:roleinaerosolformationandoxidantcycling（国自然，OtsoPeräkylä，2026）
• 海洋低云增亮情景下非均匀强迫对降水敏感度的影响机制及观测约束（国自然，张仕鹏，2026）
• 燃烧源有机气溶胶老化过程中的毒性演化模拟研究（国自然，郑昊天，2026）

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

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