researchmap
 

研究キーワード  [ 再帰理論 ]

総件数: 3件

英訳recursion theory
意味数学基礎論(数理論理学)の一分野で,計算可能性/計算不可能性を対象とする.
類義語計算可能性理論(2) , 帰納的関数論

  • <
  • >
  • キハラ タカユキ
    名古屋大学
    大学院情報学研究科  数理情報学専攻 数理情報基礎論  
    講師
  • ナガシマ タカシ
    (三ねんせい)
    一橋大学
    大学院経済学研究科  
    名誉教授
  • ヤマザキ タケシ
    東北大学
    大学院理学研究科・理学部 数学専攻  
    准教授

  • <
  • >