Modules For the Development of Reasoning in Mathematics

数学推理发展​​模块

基本信息

  • 批准号:
    7926662
  • 负责人:
  • 金额:
    $ 27.85万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    1980
  • 资助国家:
    美国
  • 起止时间:
    1980-09-01 至 1985-03-31
  • 项目状态:
    已结题

项目摘要

项目成果

期刊论文数量(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 }}

Leon Henkin其他文献

In Memoriam: Leon Albert Henkin 1921–2006
悼念:莱昂·阿尔伯特·亨金 1921–2006
Review: Antonio Monteiro, Matrices de Morgan Caracteristiques pour le Calcul Propositionnel Classique
  • DOI:
  • 发表时间:
    1963-06
  • 期刊:
  • 影响因子:
    0.6
  • 作者:
    Leon Henkin
  • 通讯作者:
    Leon Henkin
Identity as a logical primitive
  • DOI:
    10.1007/bf02380832
  • 发表时间:
    1975-01-01
  • 期刊:
  • 影响因子:
    0.500
  • 作者:
    Leon Henkin
  • 通讯作者:
    Leon Henkin

Leon Henkin的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Leon Henkin', 18)}}的其他基金

Mathematical Sciences: Increasing Minority Participation in Mathematics at the Collegiate Level and Beyond
数学科学:增加少数人对大学及以后数学的参与
  • 批准号:
    9006453
  • 财政年份:
    1990
  • 资助金额:
    $ 27.85万
  • 项目类别:
    Standard Grant
Students and Teachers Acquiring Mathematical Power
学生和教师获得数学能力
  • 批准号:
    8850993
  • 财政年份:
    1989
  • 资助金额:
    $ 27.85万
  • 项目类别:
    Continuing Grant
Mathematical Sciences: The Partial Differential Equations OfFluid Dynamics and Their Numerical Approximation
数学科学:流体动力学偏微分方程及其数值逼近
  • 批准号:
    8403223
  • 财政年份:
    1984
  • 资助金额:
    $ 27.85万
  • 项目类别:
    Continuing Grant

相似国自然基金

水稻边界发育缺陷突变体abnormal boundary development(abd)的基因克隆与功能分析
  • 批准号:
    32070202
  • 批准年份:
    2020
  • 资助金额:
    58 万元
  • 项目类别:
    面上项目
Development of a Linear Stochastic Model for Wind Field Reconstruction from Limited Measurement Data
  • 批准号:
  • 批准年份:
    2020
  • 资助金额:
    40 万元
  • 项目类别:

相似海外基金

CAREER: Programming Abstractions and Formal Reasoning for IoT Application Development
职业:物联网应用程序开发的编程抽象和形式推理
  • 批准号:
    2340479
  • 财政年份:
    2024
  • 资助金额:
    $ 27.85万
  • 项目类别:
    Continuing Grant
How reasoning contributes to preschoolers’ prosocial development
推理如何促进学龄前儿童亲社会发展
  • 批准号:
    10645706
  • 财政年份:
    2023
  • 资助金额:
    $ 27.85万
  • 项目类别:
Development of clinical reasoning model in the era of multimorbidity
多发病时代临床推理模型的发展
  • 批准号:
    23K19829
  • 财政年份:
    2023
  • 资助金额:
    $ 27.85万
  • 项目类别:
    Grant-in-Aid for Research Activity Start-up
Development of a EEG connectivity feedback system for human intention reasoning
开发用于人类意图推理的脑电图连接反馈系统
  • 批准号:
    23K20008
  • 财政年份:
    2023
  • 资助金额:
    $ 27.85万
  • 项目类别:
    Grant-in-Aid for Research Activity Start-up
Societal assumptions regarding typical personhood and their effects on reasoning development
关于典型人格的社会假设及其对推理发展的影响
  • 批准号:
    10389429
  • 财政年份:
    2022
  • 资助金额:
    $ 27.85万
  • 项目类别:
FW-HTF-P: Augmenting Healthcare Professionals’ Training, Expertise Development, and Diagnostic Reasoning with AI-based Immersive Technologies in Telehealth
FW-HTF-P:通过远程医疗中基于人工智能的沉浸式技术增强医疗保健专业人员的培训、专业知识发展和诊断推理
  • 批准号:
    2128684
  • 财政年份:
    2022
  • 资助金额:
    $ 27.85万
  • 项目类别:
    Standard Grant
Societal assumptions regarding typical personhood and their effects on reasoning development
关于典型人格的社会假设及其对推理发展的影响
  • 批准号:
    10546438
  • 财政年份:
    2022
  • 资助金额:
    $ 27.85万
  • 项目类别:
Developing a Statewide Professional Development Network for Effective Teaching of Undergraduate Quantitative Reasoning Course
建立全州专业发展网络,以实现本科定量推理课程的有效教学
  • 批准号:
    2216197
  • 财政年份:
    2022
  • 资助金额:
    $ 27.85万
  • 项目类别:
    Standard Grant
Spatio-temporal reasoning in mixed reality with a hybrid approach to support scalability and development of virtuality-reality continnum software
混合现实中的时空推理,采用混合方法来支持虚拟现实连续体软件的可扩展性和开发
  • 批准号:
    577627-2022
  • 财政年份:
    2022
  • 资助金额:
    $ 27.85万
  • 项目类别:
    Alliance Grants
The development of category-based reasoning during early childhood
幼儿时期基于类别的推理的发展
  • 批准号:
    RGPIN-2019-05310
  • 财政年份:
    2022
  • 资助金额:
    $ 27.85万
  • 项目类别:
    Discovery Grants Program - Individual
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了