証明論と計算量

証明論と計算量

  • ただいまウェブストアではご注文を受け付けておりません。
  • サイズ A5判／ページ数 205p／高さ 22cm
  • 商品コード 9784785310967
  • NDC分類 410.9
  • Cコード C3041

目次

１　多項式時間で計算できる関数
２　限定算術
３　超数学の形式化と不完全性定理
４　ＰＨＰと数え上げ原理

最近チェックした商品

悪の華　新装版　12 SMART COMICS
  • 電子書籍
悪の華　新装版　12 SMART CO…
死、欲望、人形 - 評伝ハンス・ベルメール
  • 和書
死、欲望、人形 - 評伝ハンス・ベルメ…
家出熟女 分冊版 14 アクションコミックス
  • 電子書籍
家出熟女 分冊版 14 アクションコミ…
法の理論と実務の交錯 - 共栄法律事務所創立２０周年記念論文集
  • 和書
法の理論と実務の交錯 - 共栄法律事務…
一刀両断先生、もっと勉強しなさい！
  • 和書
一刀両断先生、もっと勉強しなさい！