証明論と計算量

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

目次

1 多項式時間で計算できる関数
2 限定算術
3 超数学の形式化と不完全性定理
4 PHPと数え上げ原理