証明論と計算量

サンプルサンプル

サンプルサンプルサンプルサンプル

サンプル著者名
5,720円
hontoで電子版を見る
証明論と計算量
  • 発売日：1995/11/10
  • 出版社：裳華房
  • ISBN：9784785310967

読み込み中…

証明論と計算量

証明論と計算量

竹内 外史
3,850 円（税込）
3,850 円（税込）
SALE 売り切れ
  • 発売日：1995/11/10
  • 出版社：裳華房
  • ISBN：9784785310967
ネットストア在庫 詳細
    読み込み中...
My店舗在庫
    My店舗登録で店頭在庫と店舗お受け取り可否が確認できます。(要ログイン)
  • 在庫表示のサンプル
店舗在庫
商品説明
自然数論の証明論は数学基礎論の中心的問題であったが、弱い自然数論の証明論が計算量の理論と密接な関係にあることが知られている。本書は、証明論と計算量との中間領域についての基本的な事柄を、最近の話題を含めてまとめたものである。限定算術固有の分野には深入りせず、最近の目覚しい話題のFregeシステムについてふれた。
詳細を表示する

カスタマーレビュー

honto本の通販ストアのレビュー(0件)

並び順:
  • 最新順
  • 評価高い順
  • 評価低い順
1/1ページ

最近チェックした商品