刷新
Mathematical Sciences: Computability and Mathematical Definability
数学科学：可计算性和数学可定义性
基本信息
- 批准号：9796121
- 负责人：
- 金额：$ 11.74万
- 依托单位：
- 依托单位国家：美国
- 项目类别：Continuing Grant
- 财政年份：1996
- 资助国家：美国
- 起止时间：1996-07-01 至 2000-06-30
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
数据更新时间：{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
数据更新时间：{{ journalArticles.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ monograph.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ sciAawards.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ patent.updateTime }}
Theodore Slaman其他文献
Theodore Slaman的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Theodore Slaman', 18)}}的其他基金
Recursion Theory and Diophantine Approximation
递归理论和丢番图近似
- 批准号：
1600441 - 财政年份：2016
- 资助金额：
$ 11.74万 - 项目类别：
Continuing Grant
Recursion Theory, Randomness, and Subsystems of Second Order Arithmetic
递归理论、随机性和二阶算术子系统
- 批准号：
1301659 - 财政年份：2013
- 资助金额：
$ 11.74万 - 项目类别：
Continuing Grant
Computability and Mathematical Definability
可计算性和数学可定义性
- 批准号：
1001551 - 财政年份：2010
- 资助金额：
$ 11.74万 - 项目类别：
Continuing Grant
FRG: Collaborative Research: Algorithmic Randomness
FRG：协作研究：算法随机性
- 批准号：
0652533 - 财政年份：2007
- 资助金额：
$ 11.74万 - 项目类别：
Continuing Grant
Recursion Theory and Effective Aspects of Randomness
递归理论和随机性的有效方面
- 批准号：
0501167 - 财政年份：2005
- 资助金额：
$ 11.74万 - 项目类别：
Continuing Grant
Computability and Mathematical Definability
可计算性和数学可定义性
- 批准号：
9988644 - 财政年份：2000
- 资助金额：
$ 11.74万 - 项目类别：
Continuing Grant
Mathematical Sciences: Computability and Mathematical Definability
数学科学：可计算性和数学可定义性
- 批准号：
9500878 - 财政年份：1995
- 资助金额：
$ 11.74万 - 项目类别：
Continuing Grant
Mathematical Sciences: The Structure of Relative Definability
数学科学：相对可定义性的结构
- 批准号：
9212022 - 财政年份：1992
- 资助金额：
$ 11.74万 - 项目类别：
Continuing Grant
Mathematical Sciences: Aspects of Computability
数学科学：可计算性方面
- 批准号：
8902437 - 财政年份：1989
- 资助金额：
$ 11.74万 - 项目类别：
Continuing Grant
Mathematical Sciences: Effective Approximation in Recursion Theory
数学科学：递归理论中的有效逼近
- 批准号：
8601856 - 财政年份：1986
- 资助金额：
$ 11.74万 - 项目类别：
Continuing Grant
相似国自然基金
实施科学视角下食管癌加速康复外科证据转化障碍机制与多元靶向干预策略研究
- 批准号：82303925
- 批准年份：2023
- 资助金额：30 万元
- 项目类别：青年科学基金项目
游戏化mHealth干预模式下精神障碍出院患者自杀风险管理策略的实施科学研究——基于多阶段优化策略
- 批准号：72374095
- 批准年份：2023
- 资助金额：40 万元
- 项目类别：面上项目
基于成分转化-体内时空分布-空间代谢组学整体耦联阐释女贞子蒸制的科学内涵
- 批准号：82374041
- 批准年份：2023
- 资助金额：49 万元
- 项目类别：面上项目
虚拟实验环境下科学探究过程自动监测与适应性反馈研究
- 批准号：62377005
- 批准年份：2023
- 资助金额：50 万元
- 项目类别：面上项目
基于胆汁酸/CCL2/CCR2+TAMs代谢免疫穿越调控探讨乳腺癌“肝——乳”轴科学内涵与干预研究
- 批准号：82374446
- 批准年份：2023
- 资助金额：48 万元
- 项目类别：面上项目
相似海外基金
Mathematical Sciences: Computability in Mathematics
数学科学：数学中的可计算性
- 批准号：
9634565 - 财政年份：1996
- 资助金额：
$ 11.74万 - 项目类别：
Standard Grant
Mathematical Sciences: Coding Methods in Algebra, Computability Theory and Model Theory
数学科学：代数编码方法、可计算性理论和模型论
- 批准号：
9500983 - 财政年份：1995
- 资助金额：
$ 11.74万 - 项目类别：
Standard Grant
Mathematical Sciences: Computability, Decidability, and Definability
数学科学：可计算性、可判定性和可定义性
- 批准号：
9504474 - 财政年份：1995
- 资助金额：
$ 11.74万 - 项目类别：
Continuing Grant
Mathematical Sciences: Computability and Mathematical Definability
数学科学：可计算性和数学可定义性
- 批准号：
9500878 - 财政年份：1995
- 资助金额：
$ 11.74万 - 项目类别：
Continuing Grant
Mathematical Sciences: Logic and Computability
数学科学：逻辑与可计算性
- 批准号：
9503503 - 财政年份：1995
- 资助金额：
$ 11.74万 - 项目类别：
Continuing grant