数理逻辑

工具

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

该负责人其他项目

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

南京大学其他项目

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

数理逻辑学科其他项目

• 一些伪代数闭赋值域上的立即膨胀问题（国自然，洪继展，2019）
• 反推数学与可计算分析（国自然，王玮，2019）
• 使用相对化随机的方法探讨随机性的可定义性（国自然，彭宁宁，2017）
• NIP理论中可定义顺从群的可定义拓扑动力性质的研究（国自然，姚宁远，2016）
• 某些伪代数闭赋值域上的量词消去（国自然，洪继展，2016）
• Universal Algebra and Constraint Satisfaction（国自然，Wires Alexander Duane，2016）
• 随机变量结构的模型论（国自然，宋诗畅，2014）
• 基于Ershov分层的图灵度结构研究（国自然，方成玲，2014）