Categorical logic as a foundation of mathematics
分类逻辑作为数学的基础
基本信息
- 批准号：347834-2008
- 负责人：
- 金额：$ 1.26万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Postgraduate Scholarships - Master's
- 财政年份：2008
- 资助国家：加拿大
- 起止时间：2008-01-01 至 2009-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
No summary - Aucun sommaire
没有总结 - Aucun sommaire
项目成果
期刊论文数量（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 }}
Wares, Trevor其他文献
Wares, Trevor的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Wares, Trevor', 18)}}的其他基金
Projectivity of n in the free topos
自由拓扑中 n 的投影率
- 批准号：
393150-2010 - 财政年份：2011
- 资助金额：
$ 1.26万 - 项目类别：
Alexander Graham Bell Canada Graduate Scholarships - Doctoral
Projectivity of n in the free topos
自由拓扑中 n 的投影率
- 批准号：
393150-2010 - 财政年份：2011
- 资助金额：
$ 1.26万 - 项目类别：
Alexander Graham Bell Canada Graduate Scholarships - Doctoral
Projectivity of n in the free topos
自由拓扑中 n 的投影率
- 批准号：
393150-2010 - 财政年份：2010
- 资助金额：
$ 1.26万 - 项目类别：
Alexander Graham Bell Canada Graduate Scholarships - Doctoral
Projectivity of n in the free topos
自由拓扑中 n 的投影率
- 批准号：
393150-2010 - 财政年份：2010
- 资助金额：
$ 1.26万 - 项目类别：
Alexander Graham Bell Canada Graduate Scholarships - Doctoral
Categorical logic as a foundation of mathematics
分类逻辑作为数学的基础
- 批准号：
347834-2007 - 财政年份：2007
- 资助金额：
$ 1.26万 - 项目类别：
Alexander Graham Bell Canada Graduate Scholarships - Master's
Categorical logic as a foundation of mathematics
分类逻辑作为数学的基础
- 批准号：
347834-2007 - 财政年份：2007
- 资助金额：
$ 1.26万 - 项目类别：
Alexander Graham Bell Canada Graduate Scholarships - Master's
相似国自然基金
基础教育机会不平等与财政政策干预：治理逻辑、效应评估与优化设计
- 批准号：
- 批准年份：2021
- 资助金额：30 万元
- 项目类别：青年科学基金项目
近似推理的图片模型及其逻辑基础
- 批准号：12171445
- 批准年份：2021
- 资助金额：50 万元
- 项目类别：面上项目
职业成功内涵的逻辑基础与跨层建构——中国情境下融合新制度主义视角的探索研究
- 批准号：72002124
- 批准年份：2020
- 资助金额：24 万元
- 项目类别：青年科学基金项目
计算存储融合的高性能氧化物忆阻逻辑器件基础研究
- 批准号：61874006
- 批准年份：2018
- 资助金额：63.0 万元
- 项目类别：面上项目
近似推理的区间值模型及其逻辑基础
- 批准号：61773019
- 批准年份：2017
- 资助金额：50.0 万元
- 项目类别：面上项目
相似海外基金
100K spontaneous mutations: the foundation for an evolutionary systems biology of C. elegans
100K 自发突变：线虫进化系统生物学的基础
- 批准号：
9756424 - 财政年份：2018
- 资助金额：
$ 1.26万 - 项目类别：
100K spontaneous mutations: the foundation for an evolutionary systems biology of C. elegans
100K 自发突变：线虫进化系统生物学的基础
- 批准号：
9915935 - 财政年份：2018
- 资助金额：
$ 1.26万 - 项目类别：
Methylation in Antibiotic Biosynthesis: Methylcobalamin-Radical SAM Enzymes
抗生素生物合成中的甲基化：甲钴胺-自由基 SAM 酶
- 批准号：
8049287 - 财政年份：2010
- 资助金额：
$ 1.26万 - 项目类别：
Methylation in Antibiotic Biosynthesis: Methylcobalamin-Radical SAM Enzymes
抗生素生物合成中的甲基化：甲钴胺-自由基 SAM 酶
- 批准号：
7653870 - 财政年份：2007
- 资助金额：
$ 1.26万 - 项目类别：
Categorical logic as a foundation of mathematics
分类逻辑作为数学的基础
- 批准号：
347834-2007 - 财政年份：2007
- 资助金额：
$ 1.26万 - 项目类别：
Alexander Graham Bell Canada Graduate Scholarships - Master's