蔵書情報
この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。
この資料に対する操作
電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。
資料情報
各蔵書資料に関する詳細情報です。
No. |
所蔵館 |
資料番号 |
請求記号 |
配架場所 |
所蔵棚番号 |
資料種別 |
帯出区分 |
状態 |
付録 |
貸出
|
1 |
中央図書館 | 0113767230 | 007.1/シ/ | 書庫2 | | 一般図書 | 一般貸出 | 在庫 | |
○ |
関連資料
この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。
Michael Sipser 渡辺 治 太田 和夫 阿部 正幸
「平成」の天皇と現代史
渡辺 治/著
安倍政権の終焉と新自由主義政治、改…
渡辺 治/著
日米安保と戦争法に代わる選択肢 :…
渡辺 治/編,福…
戦後70年の日本資本主義
渡辺 治/著,石…
コンピュータサイエンス : 計算を…
渡辺 治/著
秘密保護法から「戦争する国」へ :…
右崎 正博/編,…
集団的自衛権容認を批判する
渡辺 治/[ほか…
マンガで入門!会社の数字が面白いほ…
森岡 寛/作,渡…
社会人大学院生のススメ : 働きな…
松本 肇/編,稲…
今こそ学校で憲法を語ろう
渡辺 治/編著,…
安倍政権論 : 新自由主義から新保…
渡辺 治/著
「現代」という環境 : 10のキー…
渡辺 雅男/共編…
新自由主義 : その歴史的展開と現…
デヴィッド・ハー…
日本国憲法に出会う授業 : 子ども…
久保田 貢/著,…
憲法「改正」 : 軍事大国化・構造…
渡辺 治/著
スーパーコン甲子園 : プログラミ…
松田 裕幸/著,…
ほんとうに安全?現代の暗号
太田 和夫/著,…
暗号理論
フレッド・パイパ…
有事法制のシナリオ : 戦争する国…
渡辺 治/編著,…
憲法「改正」の争点 : 資料で読む…
渡辺 治/編著
憲法「改正」は何をめざすか
渡辺 治/[著]
日本の大国化とネオ・ナショナリズム…
渡辺 治/著
どうする日本の福祉 : 新自由主義…
福井 典子/編,…
企業社会・日本はどこへ行くのか :…
渡辺 治/著
よくわかる透析療法ハンドブック
太田 和夫/編著
日本の大国化は何をめざすか : 憲…
渡辺 治/[著]
計算論入門 : 計算の基本原理理解…
渡辺 治/著,米…
細菌感染の分子医学 : その新展開
渡辺 治雄/編
情報セキュリティの科学 : マジッ…
太田 和夫/[ほ…
政治改革と憲法改正 : 中曽根康弘…
渡辺 治/著
「憲法改正」批判
渡辺 治/[ほか…
これが透析生活の秘訣です
太田 和夫/著
企業支配と国家
渡辺 治/著
国際平和と日本社会のゆくえ
渡辺 洋三/著,…
「豊かな社会」日本の構造
渡辺 治/著
戦後政治史の中の天皇制
渡辺 治/著
臓器移植はなぜ必要か。
太田 和夫/著
現代日本の支配構造分析 : 基軸と…
渡辺 治/著
これが腎移植です
太田 和夫/著
日本国憲法「改正」史
渡辺 治/著
これが透析の食生活です
太田 和夫/[ほ…
これがCAPDです
太田 和夫/著
これが透析生活の秘訣です
太田 和夫/著
人工臓器 : 機能代行の現状と将来
太田 和夫/〔共…
これが腎移植です
太田 和夫/著
これが透析の食生活です
太田 和夫/著,…
合板の製造 : 実用木材加工全書 …
渡辺 治夫/著
前へ
次へ
書誌詳細
この資料の書誌詳細情報です。
タイトルコード |
1001001203673 |
書誌種別 |
図書 |
書名 |
計算理論の基礎 |
書名ヨミ |
ケイサン リロン ノ キソ |
著者名 |
Michael Sipser/著
|
著者名ヨミ |
Michael Sipser |
著者名 |
渡辺 治/監訳 |
著者名ヨミ |
ワタナベ オサム |
著者名 |
太田 和夫/監訳 |
著者名ヨミ |
オオタ カズオ |
出版者 |
共立出版
|
出版年月 |
2000.4 |
ページ数 |
483p |
大きさ |
24cm |
分類記号 |
007.1
|
分類記号 |
007.1
|
ISBN |
4-320-02948-8 |
内容紹介 |
計算の理論の主テーマである、オートマトンと言語の理論、計算可能性の理論、計算の複雑さの理論をまとめた、学部上級・大学院初級向けの計算機理論の教科書。定理とその証明を中心に、主要な話題を数学的に扱う。 |
著者紹介 |
カリフォルニア大学バークレー校で計算機科学の博士号取得。MIT応用数学科教授・計算機科学研究所メンバー。現在、「計算の複雑さの理論」の研究を進めている。 |
件名 |
オートマトン、計算量理論 |
言語区分 |
日本語 |
(他の紹介)内容紹介 |
計算の理論の世界へ、ようこそ!Michael Sipser教授の「Theory of Computation」の講義も、本書と同様に、このフレンドリーな挨拶から始まりました。彼の講義はMIT屈指の名講義で、教室には活気と笑いがあふれていました。2,3回の聴講を考えていた私はその魅力に魅せられて、91年秋学期の全講義に出席することになりました。本書はSipser教授のMITでの講義ノートをもとにまとめられたものです。計算の理論の主テーマである、オートマトンと言語の理論、計算可能性の理論、そして計算の複雑さの理論をカバーしています。 |
(他の紹介)目次 |
第1部 オートマトンと言語(正規言語 文脈自由文法) 第2部 計算可能性の理論(Church‐Turingの提唱 判定可能性 帰着可能性 ほか) 第3部 複雑さの理論(時間の複雑さ 領域の複雑さ 問題の扱いにくさ ほか) |
内容細目表
前のページへ