课题基金 / 基金详情

解析学の論理分析(ペアノ算術に帰納的定義を加えた体系で)

解析学の論理分析(ペアノ算術に帰納的定義を加えた体系で)
分析的逻辑分析（使用在皮亚诺算术中添加归纳定义的系统）
批准号：
58580018
负责人：
八杉 満利子
金额：
$1.22万
依托单位：
University of Tsukuba
依托单位国家：
日本
项目类别：
Grant-in-Aid for General Scientific Research (C)
财政年份：
1983
资助国家：
日本
项目状态：
已结题
起止时间：
1983 至 1984
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-58580018/
关键词：

项目摘要

项目成果

八杉 満利子的其他基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
極限計算可能数学の計算機上の実行
  • 批准号：
    18650003
  • 项目类别：
    Grant-in-Aid for Exploratory Research
  • 资助金额：
    $1.34万
  • 财政年份：
    2006
  • 负责人：
    八杉 満利子
  • 依托单位：
    Kyoto Sangyo University
限定合理性の情報構造:証明論およびセラ・オートマタによる特徴づけ
  • 批准号：
    12878061
  • 项目类别：
    Grant-in-Aid for Exploratory Research
  • 资助金额：
    $1.22万
  • 财政年份：
    2000
  • 负责人：
    八杉 満利子
  • 依托单位：
    Kyoto Sangyo University
ゲーム理論の論理化とその計算機実験
  • 批准号：
    10874024
  • 项目类别：
    Grant-in-Aid for Exploratory Research
  • 资助金额：
    $1.15万
  • 财政年份：
    1998
  • 负责人：
    八杉 満利子
  • 依托单位：
    Kyoto Sangyo University
自然演繹の体系と古典論理の計算機構
  • 批准号：
    07804012
  • 项目类别：
    Grant-in-Aid for General Scientific Research (C)
  • 资助金额：
    $0.77万
  • 财政年份：
    1995
  • 负责人：
    八杉 満利子
  • 依托单位：
    Kyoto Sangyo University