検索結果資料の内容

図書
ログインすると表紙画像を
ご覧になれます
ご利用の地域の図書館が所蔵している場合、そちらの方が早く借りられることもあります。
また、ご利用の地域の図書館に申し込み、県立図書館の資料を取り寄せることもできます。
岡山県図書館横断検索

この資料の情報へのリンク：

蔵書情報

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

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

資料の状態

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

No. 資料番号 資料種別 請求記号 配架場所 状態 貸出
1 0008626921図書一般007.1/ｼﾌ08/2書庫貸出可  ○

この資料に対する操作

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

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

この資料に対する操作

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

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

書誌情報サマリ

タイトル

計算理論の基礎　2　　計算可能性の理論　

人名 Michael Sipser／著
人名ヨミ Michael Sipser
出版者・発行者 共立出版
出版年月 2008.5

書誌詳細

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

書誌種別 図書
タイトル 計算理論の基礎　2　　計算可能性の理論　
タイトルヨミ ケイサン リロン ノ キソ　ケイサン カノウセイ ノ リロン　
人名 Michael Sipser／著 　 太田 和夫／監訳 　 田中 圭介／監訳 　 阿部 正幸／[ほか]訳
人名ヨミ Michael Sipser　オオタ カズオ　タナカ ケイスケ　アベ マサユキ
出版者・発行者 共立出版
出版者・発行者等ヨミ キョウリツ シュッパン
出版地・発行地 東京
出版・発行年月 2008.5
ページ数または枚数・巻数 23p,p160〜292 48p
大きさ 21cm
価格 ￥３０００
ISBN 978-4-320-12208-6
ISBN 4-320-12208-6
注記 原タイトル:Introduction to the theory of computation 原著第2版の翻訳
注記 文献:巻末p1〜6
分類記号 007.1
件名 オートマトン ／ 計算量理論
内容紹介 計算の理論の主テーマである、オートマトンと言語の理論、計算可能性の理論、計算の複雑さの理論をまとめた、計算理論の教科書。問題に対する解答を加えた原著第2版を分冊にしたもの。2は計算可能性の理論を収録。
言語区分 jpn
タイトルコード 1009811079791
目次 3 Church‐Turingの提唱
3.1 Turing機械／3.2 Turing機械の変型／3.3 アルゴリズムの定義
4 判定可能性
4.1 判定可能な言語／4.2 停止問題
5 帰着可能性
5.1 言語理論における判定不可能問題／5.2 単純な判定不可能問題／5.3 写像帰着可能性
6 計算可能性の理論における先進的な話題
6.1 再帰定理／6.2 数理論理における判定可能性／6.3 Turing帰着可能性／6.4 情報の定義



目次


内容細目

関連資料

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

オートマトン　計算量理論
もどる
このページの先頭へ トップページへ

本文はここまでです。

ページの終わりです。