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

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

蔵書情報

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

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

資料の状態

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

No.	資料番号	資料種別	請求記号	配架場所	状態	貸出
1	0011938305	図書一般	007.1/ｲｶ13/	書庫	貸出可	○

この資料に対する操作

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

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

この資料に対する操作

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

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

書誌情報サマリ

タイトル	計算理論入門
人名	五十嵐善英／著
人名ヨミ	イガラシヨシヒデ
出版者・発行者	牧野書店
出版年月	2013.6

書誌詳細

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

書誌種別	図書
タイトル	計算理論入門
シリーズ名	数理情報科学シリーズ
シリーズ番号	27
タイトルヨミ	ケイサンリロンニュウモン
シリーズ名ヨミ	スウリジョウホウカガクシリーズ
シリーズ番号ヨミ	27
人名	五十嵐善英／著　 Forbes D.Lewis／著　舩田眞里子／著
人名ヨミ	イガラシヨシヒデ　Forbes D Lewis　フナダマリコ
出版者・発行者	牧野書店／星雲社(発売)
出版者・発行者等ヨミ	マキノショテン／セイウンシャ
出版地・発行地	東京／東京
出版・発行年月	2013.6
ページ数または枚数・巻数	6,212p
大きさ	21cm
価格	￥２６００
ISBN	978-4-434-17974-7
ISBN	4-434-17974-7
注記	奥付の責任表示(誤植):Fobes D.Lewis
注記	文献:p189〜191
分類記号	007.1
件名	オートマトン／計算量理論
内容紹介	計算機科学専攻の学部学生から大学院初年度の学生までを対象に、計算理論の本質を、例題と図表を用いて解説するテキスト。問題解法の説明にはプログラミングの手法を適宜使用する。各章末に演習問題を収録。
言語区分	JPN
タイトルコード	1009811685174
目次	第1章計算可能性とは何か
	1.1 プログラミング言語NICE／1.2 チューリング機械／1.3 プログラミング言語SMALL／1.4 計算モデルの等価性／1.5 拡張チューリング機械／1.6 チャーチ・チューリングの定立
	第2章解決不能性
	2.1 チューリング機械の数え上げ／2.2 数え上げの性質／2.3 万能チューリング機械／2.4 停止問題／2.5 還元可能性と解決不能性／2.6 帰納的可算集合と帰納的集合
	第3章計算の複雑さ
	3.1 計算量の測度／3.2 計算量のクラス／3.3 還元性と完全性／3.4 クラスPとクラスNP／3.5 手に負えない問題
	第4章帰納的関数のいろいろな形式化
	4.1 ループプログラム／4.2 原始帰納的関数／4.3 アッカーマン関数／4.4 μ帰納的関数／4.5 句構造言語／4.6 ポストシステム／4.7 マルコフアルゴリズム