検索結果書誌詳細

  • 書誌の詳細です。 現在、予約は 0 件です。
  • 「資料情報」から書誌を予約カートに入れるページに移動します。

蔵書情報

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

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

書誌情報サマリ

書名

計算理論の基礎 2

著者名 Michael Sipser/著
著者名ヨミ Michael Sipser
出版者 共立出版
出版年月 2008.5


この資料に対する操作

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

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

この資料に対する操作

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


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


資料情報

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

No. 所蔵館 配架場所 請求記号 資料番号 資料種別 状態 個人貸出 在庫
1 西部図書館一般開架0071/258/21102117357一般貸出中  ×

書誌詳細

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

タイトルコード 1000001857952
書誌種別 図書
書名 計算理論の基礎 2
巻次(漢字) 2
書名ヨミ ケイサン リロン ノ キソ
各巻書名 計算可能性の理論
言語区分 日本語
著者名 Michael Sipser/著   太田 和夫/監訳   田中 圭介/監訳   阿部 正幸/[ほか]訳
著者名ヨミ Michael Sipser オオタ カズオ タナカ ケイスケ アベ マサユキ
著者名原綴 Sipser Michael
出版地 東京
出版者 共立出版
出版年月 2008.5
本体価格 ¥3000
ISBN 978-4-320-12208-6
ISBN 4-320-12208-6
数量 23p,p160~292 48p
大きさ 21cm
分類記号 007.1
件名 オートマトン   計算量理論
注記 原タイトル:Introduction to the theory of computation 原著第2版の翻訳
注記 文献:巻末p1~6
内容紹介 計算の理論の主テーマである、オートマトンと言語の理論、計算可能性の理論、計算の複雑さの理論をまとめた、計算理論の教科書。問題に対する解答を加えた原著第2版を分冊にしたもの。2は計算可能性の理論を収録。



内容細目

No. 内容タイトル 内容著者1 内容著者2 内容著者3 内容著者4
1 3 Church‐Turingの提唱
2 3.1 Turing機械
3 3.2 Turing機械の変型
4 3.3 アルゴリズムの定義
5 4 判定可能性
6 4.1 判定可能な言語
7 4.2 停止問題
8 5 帰着可能性
9 5.1 言語理論における判定不可能問題
10 5.2 単純な判定不可能問題
11 5.3 写像帰着可能性
12 6 計算可能性の理論における先進的な話題
13 6.1 再帰定理
14 6.2 数理論理における判定可能性
15 6.3 Turing帰着可能性
16 6.4 情報の定義

関連資料

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

2008
007.1
オートマトン 計算量理論
前のページへ

本文はここまでです。


ページの終わりです。