刷新
{{item.name}}会员
Mathematical Logic
数理逻辑
基本信息
- 批准号：7801849
- 负责人：
- 金额：$ 7.33万
- 依托单位：
- 依托单位国家：美国
- 项目类别：Standard Grant
- 财政年份：1978
- 资助国家：美国
- 起止时间：1978-06-01 至 1983-11-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 }}
Manuel Lerman其他文献
r-Maximal major subsets
- DOI：
10.1007/bf02761377 - 发表时间：
1978-03-01 - 期刊：
- 影响因子：0.800
- 作者：
Manuel Lerman;Richard A. Shore;Robert I. Soare - 通讯作者：
Robert I. Soare
Maximal sets in α-recursion theory
α-递归理论中的最大集
- DOI：
10.1007/bf02764882 - 发表时间：
1973 - 期刊：
- 影响因子：1
- 作者：
Manuel Lerman;S. G. Simpson - 通讯作者：
S. G. Simpson
Degrees of Unsolvability: Local and Global Theory
- DOI：
10.1017/9781316717059 - 发表时间：
1983-07 - 期刊：
- 影响因子：0
- 作者：
Manuel Lerman - 通讯作者：
Manuel Lerman
RECURSIVE FUNCTIONS MODULO CO-r-MAXIMAL SETS*1)
递归函数模 CO-r-最大集*1)
- DOI：
- 发表时间：
- 期刊：
- 影响因子：0
- 作者：
Manuel Lerman - 通讯作者：
Manuel Lerman
Manuel Lerman的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Manuel Lerman', 18)}}的其他基金
Mathematical Sciences: An Algebraic Measure of Computational Information Content
数学科学：计算信息内容的代数度量
- 批准号：
9625445 - 财政年份：1996
- 资助金额：
$ 7.33万 - 项目类别：
Standard Grant
Mathematical Sciences: Recursively Enumerable Degrees and Priority Arguments
数学科学：递归可枚举度和优先级参数
- 批准号：
9200539 - 财政年份：1992
- 资助金额：
$ 7.33万 - 项目类别：
Continuing Grant
Mathematical Sciences: Recursion Theory
数学科学：递归理论
- 批准号：
8900349 - 财政年份：1989
- 资助金额：
$ 7.33万 - 项目类别：
Continuing Grant
U.S.-New Zealand Cooperative Research: Degrees of Oracle Computable Functions
美国-新西兰合作研究：Oracle 可计算函数的度数
- 批准号：
8722887 - 财政年份：1988
- 资助金额：
$ 7.33万 - 项目类别：
Standard Grant
Mathematical Sciences: Recursion Theory
数学科学：递归理论
- 批准号：
8521843 - 财政年份：1986
- 资助金额：
$ 7.33万 - 项目类别：
Continuing Grant
Mathematical Sciences: Recursion Theory
数学科学：递归理论
- 批准号：
8300560 - 财政年份：1983
- 资助金额：
$ 7.33万 - 项目类别：
Continuing Grant
A Conference on Mathematical Logic, Storrs, Connecticut, November 11-13, 1979
数理逻辑会议，康涅狄格州斯托斯，1979 年 11 月 11-13 日
- 批准号：
7903308 - 财政年份：1979
- 资助金额：
$ 7.33万 - 项目类别：
Standard Grant
相似国自然基金
greenwashing behavior in China:Basedon an integrated view of reconfiguration of environmental authority and decoupling logic
- 批准号：
- 批准年份：2024
- 资助金额：万元
- 项目类别：外国学者研究基金项目
相似海外基金
Conference: Travel Awards to Attend the Twentieth Latin American Symposium on Mathematical Logic
会议：参加第二十届拉丁美洲数理逻辑研讨会的旅行奖
- 批准号：
2414907 - 财政年份：2024
- 资助金额：
$ 7.33万 - 项目类别：
Standard Grant
WILDMOD: Model Theory of wild mathematical structures, new perspectives via geometries and positive logic.
WILDMOD：狂野数学结构的模型理论，通过几何和正逻辑的新视角。
- 批准号：
EP/Y027833/1 - 财政年份：2023
- 资助金额：
$ 7.33万 - 项目类别：
Fellowship
Construction of Mathematical Logic System to Verify Quantum Communication Networks and Its Quantum Computational Implications
验证量子通信网络的数学逻辑系统的构建及其量子计算意义
- 批准号：
22KJ1483 - 财政年份：2023
- 资助金额：
$ 7.33万 - 项目类别：
Grant-in-Aid for JSPS Fellows
Nineteenth Latin American Symposium on Mathematical Logic
第十九届拉丁美洲数理逻辑研讨会
- 批准号：
2212620 - 财政年份：2022
- 资助金额：
$ 7.33万 - 项目类别：
Standard Grant
Collaborative Research: Fostering Virtual Learning of Data Science Foundations with Mathematical Logic for Rural High School Students
协作研究：促进农村高中生数据科学基础与数学逻辑的虚拟学习
- 批准号：
2201394 - 财政年份：2022
- 资助金额：
$ 7.33万 - 项目类别：
Continuing Grant
Reconsideration of the applications of the mathematical logic in "French Thought".
数理逻辑在《法国思想》中应用的再思考
- 批准号：
22K00103 - 财政年份：2022
- 资助金额：
$ 7.33万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Collaborative Research: Fostering Virtual Learning of Data Science Foundations with Mathematical Logic for Rural High School Students
协作研究：促进农村高中生数据科学基础与数学逻辑的虚拟学习
- 批准号：
2201393 - 财政年份：2022
- 资助金额：
$ 7.33万 - 项目类别：
Continuing Grant
Geometric group theory, topology, mathematical logic and algorithms
几何群论、拓扑、数理逻辑与算法
- 批准号：
RGPIN-2016-06154 - 财政年份：2021
- 资助金额：
$ 7.33万 - 项目类别：
Discovery Grants Program - Individual
Geometric group theory, topology, mathematical logic and algorithms
几何群论、拓扑、数理逻辑与算法
- 批准号：
RGPIN-2016-06154 - 财政年份：2020
- 资助金额：
$ 7.33万 - 项目类别：
Discovery Grants Program - Individual
The Eighteenth Latin American Symposium on Mathematical Logic
第十八届拉丁美洲数理逻辑研讨会
- 批准号：
1947015 - 财政年份：2019
- 资助金额：
$ 7.33万 - 项目类别：
Standard Grant