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

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

蔵書情報

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

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

資料の状態

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

No.	資料番号	資料種別	請求記号	配架場所	状態	貸出
1	0008311995	図書一般	007.64/ｺﾊ07/	書庫	貸出可	○

この資料に対する操作

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

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

この資料に対する操作

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

登録するリストログインメモ

書誌情報サマリ

タイトル	計算論
人名	小林孝次郎／著
人名ヨミ	コバヤシコウジロウ
出版者・発行者	コロナ社
出版年月	2008.1

書誌詳細

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

書誌種別	図書
タイトル	計算論
シリーズ名	コンピュータサイエンス教科書シリーズ
シリーズ番号	16
タイトルヨミ	ケイサンロン
シリーズ名ヨミ	コンピュータサイエンスキョウカショシリーズ
シリーズ番号ヨミ	16
人名	小林孝次郎／著
人名ヨミ	コバヤシコウジロウ
出版者・発行者	コロナ社
出版者・発行者等ヨミ	コロナシャ
出版地・発行地	東京
出版・発行年月	2008.1
ページ数または枚数・巻数	9,201p
大きさ	21cm
価格	￥２６００
ISBN	978-4-339-02716-7
ISBN	4-339-02716-7
注記	文献:p184〜187
分類記号	007.64
件名	アルゴリズム
内容紹介	「計算」あるいは計算の手順を示す「アルゴリズム」の性質を数学的な立場から調べることを目的とし、アルゴリズムに関する理論のうち、計算可能性と計算の複雑さの理論、NP完全集合の理論について解説する。
著者紹介	東京大学工学部応用物理学科卒業。理学博士。創価大学教授。
言語区分	jpn
タイトルコード	1009811032712
目次	1 アルゴリズムの限界と効率
	1.1 アルゴリズムの概念／1.2 アルゴリズムの限界／1.3 アルゴリズムの効率
	2 ループプログラムと計算可能関数
	2.1 ループプログラム／2.2 計算可能関数,決定可能述語,決定可能集合／2.3 数列の表現
	3 万能プログラムと計算不能関数
	3.1 レジスタ機械プログラム／3.2 プログラムのゲーデル数／3.3 対角線論法と計算不能部分関数／3.4 RMプログラムの動作を記述する関数,述語と万能プログラム／3.5 停止性判定問題
	4 いろいろな決定不能問題
	4.1 s‐m‐n定理／4.2 プログラムに関する決定不能述語／4.3 還元可能性／4.4 枚挙可能集合／4.5 数学の定理と枚挙可能集合
	5 チューリング機械の基本概念
	5.1 計算時間の分析に適したアルゴリズムのモデル／5.2 チューリング機械／5.3 ループプログラムとチューリング機械／5.4 ポストの対応問題／5.5 非決定性チューリング機械の概念
	6 時間限定チューリング機械
	6.1 チューリング機械の計算時間／6.2 P,EXP,PSPACE／6.3 非決定性チューリング機械の計算時間とNP／6.4 NPの基本性質
	7 NP完全集合
	7.1 NP完全集合の基本概念／7.2 充足可能性問題／7.3 いろいろなNP完全集合