資料詳細

【図書】証明論と計算量貸出可

竹内外史／著 -- 裳華房 -- 1995.11 -- 410.9410.9 410.9 , 410.9

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館	所蔵場所	棚区分	請求記号	資料コード	資料区分	帯出区分	状態	WEB書棚
山形県立	地下書庫		/410.9/ﾀｹ/	102753504	一般和書	帯出可	在庫

タイトル	証明論と計算量
著者	竹内外史／著
出版者	裳華房
出版年	1995.11
ページ数	205p
大きさ	22cm
一般件名	数学基礎論
NDC分類(9版)	410.9
NDC分類(10版)	410.9
内容紹介	1.多項式時間で計算できる関数 2.限定算術 3.超数字の形式化と不完全性定理 4.PHPと数え上げ原理
ISBN	4-7853-1096-0