• 本

証明論と計算量

出版社名 裳華房
出版年月 1995年11月
ISBNコード 978-4-7853-1096-7
4-7853-1096-0
税込価格 3,780円
頁数・縦 205P 22cm

商品内容

目次

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