証明論と計算量
著者
書誌事項
証明論と計算量
裳華房, 1995.11
- タイトル別名
-
Bounded arithmetic and computational complexity
- タイトル読み
-
ショウメイロン ト ケイサンリョウ
大学図書館所蔵 件 / 全136件
-
410.9||Ta67000057851,
410.9||Ta67000237396, 410.9||Ta6700005785, 410.9||Ta6700023739 -
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
内容説明・目次
目次
- 1 多項式時間で計算できる関数
- 2 限定算術
- 3 超数学の形式化と不完全性定理
- 4 PHPと数え上げ原理
「BOOKデータベース」 より