帰納的関数と述語

著者

• 篠田, 壽一 シノダ, ジュイチ

書誌事項

帰納的関数と述語

篠田寿一著

（数学基礎論シリーズ / 倉田令二朗監修, 5巻）

河合文化教育研究所 , 河合出版 (発売), 1997.5

タイトル読み

キノウテキ カンスウ ト ジュツゴ

電子リソースにアクセスする 全1件

• 帰納的関数と述語

  1997

  NDLデジタルコレクション

  限定公開

注記

参考文献: p182-183

内容説明・目次

目次

• 第０章　自然数
• 第１章　計算可能性
• 第２章　帰納的可算集合
• 第３章　算術的述語
• 第４章　Ｈｉｌｂｅｒｔの第１０問題
• 第５章　抽象的計算量
• 第６章　Ｔｕｒｉｎｇ次数

「BOOKデータベース」 より

• NII書誌ID(NCID): BA30419112
• ISBN:
  • 4879999695
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 出版地: 名古屋,東京
• ページ数/冊数: vi, 188p
• 大きさ: 21cm
• 分類:
  • NDC8 : 410.9
• 件名:
  • BSH : 数学基礎論
• 親書誌ID:
  • BN13539696