递归可枚举度的脱殊性、杯帽性及其构造
项目介绍
AI项目解读
基本信息
- 批准号:19241005
- 项目类别:专项基金项目
- 资助金额:0.7万
- 负责人:
- 依托单位:
- 学科分类:A0101.数学史、数理逻辑与公理集合论
- 结题年份:1993
- 批准年份:1992
- 项目状态:已结题
- 起止时间:1992-01-01 至1993-12-31
- 项目参与者:--
- 关键词:
项目摘要
结项摘要
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:{{ item.doi || "--"}}
- 发表时间:{{ item.publish_year || "--" }}
- 期刊:{{ item.journal_name }}
- 影响因子:{{ item.factor || "--"}}
- 作者:{{ item.authors }}
- 通讯作者:{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:{{ item.authors }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:{{ item.authors }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:{{ item.authors }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:{{ item.authors }}
数据更新时间:{{ patent.updateTime }}
其他文献
A three-valued quantificational Logic of Context
上下文的三值量化逻辑
- DOI:--
- 发表时间:--
- 期刊:Lecture Notes in Computer Scie
- 影响因子:--
- 作者:苏开乐;丁德成;陈火旺
- 通讯作者:陈火旺
A generalization to the theory of Nonmonotonic Rule Systems
非单调规则系统理论的推广
- DOI:--
- 发表时间:--
- 期刊:Chinese Journal of Advanced S
- 影响因子:--
- 作者:赵希顺;丁德成
- 通讯作者:丁德成
Two Tractctable Subclasses of Minimal Unsatisfiable Formulas
最小不可满足公式的两个可处理子类
- DOI:--
- 发表时间:--
- 期刊:Science in china ,Series ,A
- 影响因子:--
- 作者:赵希顺;丁德成
- 通讯作者:丁德成
The Weak Density of properly d-r,e.Branching Degree in the d-r.e degrees
d-r.e度中适当d-r,e.支化度的弱密度
- DOI:--
- 发表时间:--
- 期刊:Science in china
- 影响因子:--
- 作者:陆宏;丁德成
- 通讯作者:丁德成
Two alternative notions of possibility
可能性的两种替代概念
- DOI:--
- 发表时间:--
- 期刊:Journal of Logic and Computat
- 影响因子:--
- 作者:苏开乐;丁德成
- 通讯作者:丁德成
其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:{{ item.doi || "--" }}
- 发表时间:{{ item.publish_year || "--"}}
- 期刊:{{ item.journal_name }}
- 影响因子:{{ item.factor || "--" }}
- 作者:{{ item.authors }}
- 通讯作者:{{ item.author }}
内容获取失败,请点击重试
查看分析示例
此项目为已结题,我已根据课题信息分析并撰写以下内容,帮您拓宽课题思路:
AI项目摘要
AI项目思路
AI技术路线图
请为本次AI项目解读的内容对您的实用性打分
非常不实用
非常实用
1
2
3
4
5
6
7
8
9
10
您认为此功能如何分析更能满足您的需求,请填写您的反馈:
丁德成的其他基金
实数的可计算性研究
- 批准号:11171148
- 批准年份:2011
- 资助金额:40.0 万元
- 项目类别:面上项目
递归可枚举度结构的代数性质和模型论性质的研究
- 批准号:10871091
- 批准年份:2008
- 资助金额:23.0 万元
- 项目类别:面上项目
Kolmogorov复杂性及其应用
- 批准号:10471060
- 批准年份:2004
- 资助金额:17.0 万元
- 项目类别:面上项目
关于d-r.e度和n-r.e度的研究
- 批准号:19771045
- 批准年份:1997
- 资助金额:6.5 万元
- 项目类别:面上项目
格嵌入γ.e.度的研究
- 批准号:19371042
- 批准年份:1993
- 资助金额:2.4 万元
- 项目类别:面上项目
相似国自然基金
{{ item.name }}
- 批准号:{{ item.ratify_no }}
- 批准年份:{{ item.approval_year }}
- 资助金额:{{ item.support_num }}
- 项目类别:{{ item.project_type }}
相似海外基金
{{
item.name }}
{{ item.translate_name }}
- 批准号:{{ item.ratify_no }}
- 财政年份:{{ item.approval_year }}
- 资助金额:{{ item.support_num }}
- 项目类别:{{ item.project_type }}