検索結果資料の内容

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

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

蔵書情報

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

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

資料の状態

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

No. 資料番号 資料種別 請求記号 配架場所 状態 貸出
1 0016303703図書一般007.1/ｼﾌ23/22F自然貸出中  ×

この資料に対する操作

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

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

この資料に対する操作

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

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

書誌情報サマリ

タイトル

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

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

書誌詳細

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

書誌種別 図書
タイトル 計算理論の基礎　2　　計算可能性の理論　
タイトルヨミ ケイサン リロン ノ キソ　ケイサン カノウセイ ノ リロン　
人名 Michael Sipser／著 　 田中 圭介／監訳 　 藤岡 淳／監訳 　 阿部 正幸／訳 　 植田 広樹／訳 　 太田 和夫／訳 　 田中 圭介／訳 　 藤岡 淳／訳 　 渡辺 治／訳
人名ヨミ Michael Sipser　タナカ ケイスケ　フジオカ アツシ　アベ マサユキ　ウエダ ヒロキ　オオタ カズオ　タナカ ケイスケ　フジオカ アツシ　ワタナベ オサム
出版者・発行者 共立出版
出版者・発行者等ヨミ キョウリツ シュッパン
出版地・発行地 東京
出版・発行年月 2023.5
ページ数または枚数・巻数 27p,p196〜328 40p
大きさ 21cm
価格 ￥３４００
ISBN 978-4-320-12562-9
ISBN 4-320-12562-9
注記 原タイトル:Introduction to the theory of computation 原著第3版の翻訳
注記 文献:巻末p1〜7
分類記号 007.1
件名 オートマトン ／ 計算量理論
内容紹介 計算の理論の主テーマである、オートマトンと言語の理論、計算可能性の理論、計算の複雑さの理論をまとめた、計算理論の教科書。新たな図などを加えた原著第3版を分冊にしたもの。2は計算可能性の理論を収録。
言語区分 JPN
タイトルコード 1009812672902
目次 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 情報の定義



目次


内容細目

関連資料

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

Michael Sipser　田中 圭介　藤岡 淳　阿部 正幸　植田 広樹　太田 和夫　田中 圭介　藤岡 淳…
【性問題行動のある子どもへの対応　：…】 性問題行動のある子どもへの対応　：…
藤岡 淳子／編著… 【計算理論の基礎3】 計算理論の基礎3
Michael … 【計算理論の基礎1】 計算理論の基礎1
Michael … 【よくわかる最新都市交通の基本と仕組…】 よくわかる最新都市交通の基本と仕組…
秋山 芳弘／監修… 【理論計算機科学事典】 理論計算機科学事典
徳山 豪／総編集… 【「平成」の天皇と現代史】 「平成」の天皇と現代史
渡辺 治／著 【安倍政権の終焉と新自由主義政治、改…】 安倍政権の終焉と新自由主義政治、改…
渡辺 治／著 【司法・犯罪心理学】 司法・犯罪心理学
藤岡 淳子／編 【プロトタイプシティ　：　深【セン】…】 プロトタイプシティ　：　深【セン】…
高須 正和／編著… 【戦後史のなかの安倍改憲　：　安倍政…】 戦後史のなかの安倍改憲　：　安倍政…
渡辺 治／著 【｢ハードウェアのシリコンバレー深圳…】 ｢ハードウェアのシリコンバレー深圳…
藤岡 淳一／著 【現代史とスターリン　：　『スターリ…】 現代史とスターリン　：　『スターリ…
渡辺 治／著,不… 【非行・犯罪の心理臨床】 非行・犯罪の心理臨床
藤岡 淳子／著 【日米安保と戦争法に代わる選択肢　：…】 日米安保と戦争法に代わる選択肢　：…
渡辺 治／編,福… 【戦後70年の日本資本主義】 戦後70年の日本資本主義
渡辺 治／著,石… 【現代史の中の安倍政権　：　憲法・戦…】 現代史の中の安倍政権　：　憲法・戦…
渡辺 治／著 【アディクションと加害者臨床　：　封…】 アディクションと加害者臨床　：　封…
藤岡 淳子／編著 【性加害行動のある少年少女のためのグ…】 性加害行動のある少年少女のためのグ…
ボビー・プリント… 【コンピュータサイエンス　：　計算を…】 コンピュータサイエンス　：　計算を…
渡辺 治／著 【憲法改正問題資料下】 憲法改正問題資料下
渡辺 治／編著 【憲法改正問題資料上】 憲法改正問題資料上
渡辺 治／編著 【秘密保護法から「戦争する国」へ　：…】 秘密保護法から「戦争する国」へ　：…
右崎 正博／編,… 【<大国>への執念 安倍政権と日本の…】 <大国>への執念 安倍政権と日本の…
渡辺 治／著,岡… 【集団的自衛権容認を批判する】 集団的自衛権容認を批判する
渡辺 治／[ほか… 【今度こそわかるP≠NP予想】 今度こそわかるP≠NP予想
渡辺 治／著
オートマトン　計算量理論
もどる
このページの先頭へ トップページへ

本文はここまでです。

ページの終わりです。