検索結果書誌詳細

蔵書情報

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

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

書誌情報

書名

計算理論の基礎     

著者名 Michael Sipser/著   渡辺 治/監訳   太田 和夫/監訳   阿部 正幸/[ほか]訳
出版者 共立出版
出版年月 2000.4


この資料に対する操作

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

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

  

この資料に対する操作

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


マイ本棚へ追加ログインメモ


資料情報

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

No. 所蔵館 資料番号 請求記号 配架場所 所蔵棚番号 資料種別 帯出区分 状態 付録 貸出
1 中央図書館0113767230007.1/シ/書庫2一般図書一般貸出在庫  

関連資料

この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。

Michael Sipser 渡辺 治 太田 和夫 阿部 正幸
2000
007.1 007.1
オートマトン 計算量理論

書誌詳細

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

タイトルコード 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部 複雑さの理論(時間の複雑さ
領域の複雑さ
問題の扱いにくさ ほか)


内容細目表

前のページへ

本文はここまでです。


ページの終わりです。