検索結果書誌詳細：蔵書検索システム

ログインの状態：ログインしていません。ログインすると利用状況の確認等のサービスを利用できます。		カート（予約候補） 0 登録されていません。

蔵書情報

この資料の蔵書に関する統計情報です。現在の所蔵数在庫数予約数などを確認できます。

所蔵数	1	在庫数	1	予約数	0

カートに入れるを押すとこの資料を予約する候補として予約カートに追加します。

いますぐ予約するを押すと認証後この資料をすぐに予約します。

電子書籍を読むを押すと電子図書館に移動しこの資料の電子書籍を読むことができます。

各蔵書資料に関する詳細情報です。

No.	所蔵館	配架場所	請求記号	資料番号	資料種別	状態	個人貸出	在庫
1	西部図書館	一般書庫	00764/46/	1102093030	一般	在庫	可	○

この資料の書誌詳細情報です。

タイトルコード	1000001809259
書誌種別	図書
書名	計算論
書名ヨミ	ケイサンロン
叢書名	コンピュータサイエンス教科書シリーズ
叢書番号	16
言語区分	日本語
著者名	小林孝次郎／著
著者名ヨミ	コバヤシコウジロウ
出版地	東京
出版者	コロナ社
出版年月	2008.1
本体価格	￥２６００
ISBN	978-4-339-02716-7
ISBN	4-339-02716-7
数量	9,201p
大きさ	21cm
分類記号	007.64
件名	アルゴリズム
注記	文献:p184～187
内容紹介	「計算」あるいは計算の手順を示す「アルゴリズム」の性質を数学的な立場から調べることを目的とし、アルゴリズムに関する理論のうち、計算可能性と計算の複雑さの理論、NP完全集合の理論について解説する。
著者紹介	東京大学工学部応用物理学科卒業。理学博士。創価大学教授。

No.	内容タイトル	内容著者１	内容著者２	内容著者３	内容著者４
1	1 アルゴリズムの限界と効率
2	1.1 アルゴリズムの概念
3	1.2 アルゴリズムの限界
4	1.3 アルゴリズムの効率
5	2 ループプログラムと計算可能関数
6	2.1 ループプログラム
7	2.2 計算可能関数,決定可能述語,決定可能集合
8	2.3 数列の表現
9	3 万能プログラムと計算不能関数
10	3.1 レジスタ機械プログラム
11	3.2 プログラムのゲーデル数
12	3.3 対角線論法と計算不能部分関数
13	3.4 RMプログラムの動作を記述する関数,述語と万能プログラム
14	3.5 停止性判定問題
15	4 いろいろな決定不能問題
16	4.1 s‐m‐n定理
17	4.2 プログラムに関する決定不能述語
18	4.3 還元可能性
19	4.4 枚挙可能集合
20	4.5 数学の定理と枚挙可能集合
21	5 チューリング機械の基本概念
22	5.1 計算時間の分析に適したアルゴリズムのモデル
23	5.2 チューリング機械
24	5.3 ループプログラムとチューリング機械
25	5.4 ポストの対応問題
26	5.5 非決定性チューリング機械の概念
27	6 時間限定チューリング機械
28	6.1 チューリング機械の計算時間
29	6.2 P,EXP,PSPACE
30	6.3 非決定性チューリング機械の計算時間とNP
31	6.4 NPの基本性質
32	7 NP完全集合
33	7.1 NP完全集合の基本概念
34	7.2 充足可能性問題
35	7.3 いろいろなNP完全集合