数理逻辑及其应用
基本信息
批准号：19931020
项目类别：重点项目
资助金额：62.00
负责人：冯琦
学科分类：
依托单位：中国科学院数学与系统科学研究院
批准年份：1999
结题年份：2003
起止时间：2000-01-01 - 2003-12-31
项目状态： 已结题
项目参与者：王世强,丁德成,李昂生,王驹
关键词：
集合论模型论递归论
结项摘要
本项目研究数理逻辑的一些理论与应用问题,主要涉及集合论,模型论,递归论及非经典逻辑械那把匚侍?包括欧氏空间中一些可定义子集的几何特征;几何模型论及其在代数几何中的τ?实数的计算复杂性分类及各种度结构的局部与全局特性;非经典逻辑的复杂性.这对解决数学中的一些基本问题以及信息时代我们将要面临的一些基本问题都有重要意义......
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
粗颗粒土的静止土压力系数非线性分析与计算方法
粗颗粒土的静止土压力系数非线性分析与计算方法
DOI：10.16285/j.rsm.2019.1280
发表时间：2019
2
中国参与全球价值链的环境效应分析
中国参与全球价值链的环境效应分析
DOI：10.12062/cpre.20181019
发表时间：2019
3
基于公众情感倾向的主题公园评价研究——以哈尔滨市伏尔加庄园为例
基于公众情感倾向的主题公园评价研究——以哈尔滨市伏尔加庄园为例
DOI：
发表时间：2022
4
基于细粒度词表示的命名实体识别研究
基于细粒度词表示的命名实体识别研究
DOI：10.3969/j.issn.1003-0077.2018.11.009
发表时间：2018
5
货币政策与汇率制度对国际收支的影响研究
货币政策与汇率制度对国际收支的影响研究
DOI：
发表时间：2022
冯琦的其他基金
批准号：10971216
批准年份：2009
资助金额：22.00
项目类别：面上项目
批准号：81800112
批准年份：2018
资助金额：22.00
项目类别：青年科学基金项目
批准号：81701746
批准年份：2017
资助金额：20.00
项目类别：青年科学基金项目
批准号：11804382
批准年份：2018
资助金额：27.00
项目类别：青年科学基金项目
批准号：10571168
批准年份：2005
资助金额：15.00
项目类别：面上项目
相似国自然基金
1
数理逻辑及其在计算机科学技术中的应用
批准号：68873023
批准年份：1988
负责人：杨东屏
学科分类：F0201
资助金额：3.50
项目类别：面上项目
2
数理逻辑（非经典）在知识工程中的应用
批准号：19861002
批准年份：1998
负责人：张明义
学科分类：A0101
资助金额：7.50
项目类别：地区科学基金项目
3
数理逻辑，能行性理论模型论及其在计算机中应用
批准号：19071043
批准年份：1990
负责人：莫绍揆
学科分类：A0101
资助金额：1.20
项目类别：面上项目
4
应用逻辑、数理逻辑及其在计算机科学技术中的应用研究
批准号：69173324
批准年份：1991
负责人：杨东屏
学科分类：F0201
资助金额：4.00
项目类别：面上项目