模型论的研究及其应用
基本信息
批准号：10101008
项目类别：青年科学基金项目
资助金额：8.00
负责人：陈国龙
学科分类：
依托单位：淮北师范大学
批准年份：2001
结题年份：2004
起止时间：2002-01-01 - 2004-12-31
项目状态： 已结题
项目参与者：陈国龙,薛锐
关键词：
模型论计算复杂性
结项摘要
研究模型论对无限方阵理论的应用，一阶逻辑理论的计算复杂性，可数模型个数以及u演算的有限公理化和判定性问题。这些研究将充分体现模型论在数学论证中的独特作用晕尴尬咝源难芯烤哂猩羁痰睦砺垡庖澹扑愀丛有缘难芯吭蚨韵嘤Φ幕髦っ骷凹扑阄侍庥兄苯影镏陀跋臁
项目摘要
项目成果
{{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
陈国龙的其他基金
批准号：51807086
批准年份：2018
资助金额：26.00
项目类别：青年科学基金项目
批准号：11141005
批准年份：2011
资助金额：10.00
项目类别：专项基金项目
批准号：10871221
批准年份：2008
资助金额：26.00
项目类别：面上项目
批准号：60673161
批准年份：2006
资助金额：7.00
项目类别：面上项目
批准号：11271002
批准年份：2012
资助金额：66.00
项目类别：面上项目
相似国自然基金
1
相对论中的薄球壳模型及其在宇宙论中的应用
批准号：10605006
批准年份：2006
负责人：高思杰
学科分类：A2504
资助金额：20.00
项目类别：青年科学基金项目
2
电弧状态转换机理的突变论模型及其应用
批准号：59207065
批准年份：1992
负责人：荣命哲
学科分类：E0705
资助金额：4.00
项目类别：青年科学基金项目
3
相对论自洽角动量投影壳模型研究及其应用
批准号：10805030
批准年份：2008
负责人：李岩松
学科分类：A2701
资助金额：18.00
项目类别：青年科学基金项目
4
分布式计算环境下基于进化论的认识模型及其应用研究
批准号：70171061
批准年份：2001
负责人：王小平
学科分类：G0107
资助金额：13.00
项目类别：面上项目