検索結果書誌詳細

図書
ログインすると表紙画像を
ご覧になれます
  • 書誌の詳細です。 現在、予約は 0 件です。
  • 「資料情報」から書誌を予約カートに入れるページに移動します。

蔵書情報

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

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

書誌情報サマリ

書名

計算理論の基礎　2

著者名 Michael Sipser／著
著者名ヨミ Michael Sipser
出版者 共立出版
出版年月 2023.5

この資料に対する操作

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

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

この資料に対する操作

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

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

資料情報

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

No. 所蔵館 配架場所 請求記号 資料番号 資料種別 状態 個人貸出 在庫
1 中央図書館一般開架0071/75/20106825184一般在庫 可 ○

書誌詳細

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

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



内容細目

関連資料

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

DBジャパン
【テ…2023.7-2023.12-2】 テ…2023.7-2023.12-2
DBジャパン／編… 【テ…2023.7-2023.12-1】 テ…2023.7-2023.12-1
DBジャパン／編… 【齊藤先生。ネット時代のレファレンス…】 齊藤先生。ネット時代のレファレンス…
齊藤 誠一／監修… 【世界の児…単行本篇2020-2022】 世界の児…単行本篇2020-2022
DBジャパン／編… 【テーマ・ジャンル・歴史上の…2023】 テーマ・ジャンル・歴史上の…2023
DBジャパン／編… 【テーマ・ジャンルからさ…2023-2】 テーマ・ジャンルからさ…2023-2
DBジャパン／編… 【テーマ・ジャンルからさ…2023-1】 テーマ・ジャンルからさ…2023-1
DBジャパン／編… 【テーマ・ジャンルか…2023-[2]】 テーマ・ジャンルか…2023-[2]
DBジャパン／編… 【テーマ・ジャンルか…2023-[1]】 テーマ・ジャンルか…2023-[1]
DBジャパン／編… 【テーマ・ジャンルからさがす…1993】 テーマ・ジャンルからさがす…1993
DBジャパン／編… 【翻訳ミス…単行本篇2022-2023】 翻訳ミス…単行本篇2022-2023
DBジャパン／編… 【お仕事さくいん　：　テレビ・映画・…】 お仕事さくいん　：　テレビ・映画・…
DBジャパン／編… 【お仕事さくいん　：　芸術や音楽にか…】 お仕事さくいん　：　芸術や音楽にか…
DBジャパン／編… 【テーマ・ジャンルからさがす…2023】 テーマ・ジャンルからさがす…2023
DBジャパン／編… 【テーマ・ジャンルからさがす…2023】 テーマ・ジャンルからさがす…2023
DBジャパン／編… 【テー…2023.1-2023.6-2】 テー…2023.1-2023.6-2
DBジャパン／編… 【テー…2023.1-2023.6-1】 テー…2023.1-2023.6-1
DBジャパン／編… 【お仕事さくいん　：　新時代のIT・…】 お仕事さくいん　：　新時代のIT・…
DBジャパン／編… 【テーマ・ジャンル・歴史上の…2016】 テーマ・ジャンル・歴史上の…2016
DBジャパン／編… 【翻訳ミス…単行本篇2020-2021】 翻訳ミス…単行本篇2020-2021
DBジャパン／編… 【テーマ・ジャンルからさ…2022-2】 テーマ・ジャンルからさ…2022-2
DBジャパン／編… 【テーマ・ジャンルからさ…2022-1】 テーマ・ジャンルからさ…2022-1
DBジャパン／編… 【テーマ・ジャンルからさがす…1994】 テーマ・ジャンルからさがす…1994
DBジャパン／編… 【蛭田先生。地域資料は集めるだけじゃ…】 蛭田先生。地域資料は集めるだけじゃ…
蛭田 廣一／監修… 【お仕事さくいん　：　学びや成長にか…】 お仕事さくいん　：　学びや成長にか…
DBジャパン／編… 【世界の児…単行本篇2017-2019】 世界の児…単行本篇2017-2019
DBジャパン／編… 【テーマ・ジャンルからさがす…2023】 テーマ・ジャンルからさがす…2023
DBジャパン／編… 【テーマ・ジ…理数編2010-2021】 テーマ・ジ…理数編2010-2021
DBジャパン／編… 【テーマ・ジャンル…1955-1957】 テーマ・ジャンル…1955-1957
DBジャパン／編… 【テーマ・ジャンルからさがす…1995】 テーマ・ジャンルからさがす…1995
DBジャパン／編… 【お仕事さくいん　：　いのちと健康を…】 お仕事さくいん　：　いのちと健康を…
DBジャパン／編… 【テーマ・ジャンルからさがす…2022】 テーマ・ジャンルからさがす…2022
DBジャパン／編… 【子どもの未来をま…2010-2020】 子どもの未来をま…2010-2020
DBジャパン／編… 【テ…2022.7-2022.12-2】 テ…2022.7-2022.12-2
DBジャパン／編… 【テ…2022.7-2022.12-1】 テ…2022.7-2022.12-1
DBジャパン／編… 【翻訳ミス…単行本篇2018-2019】 翻訳ミス…単行本篇2018-2019
DBジャパン／編… 【未来につなぐ伝統…2006-2020】 未来につなぐ伝統…2006-2020
DBジャパン／編… 【テーマ・ジャンルからさがす…2022】 テーマ・ジャンルからさがす…2022
DBジャパン／編… 【テーマ・ジャンル・歴史上の…2022】 テーマ・ジャンル・歴史上の…2022
DBジャパン／編… 【テーマ・ジャンルからさ…2010-2】 テーマ・ジャンルからさ…2010-2
DBジャパン／編…
2020
【森林浴　：　近くの公園で家族と一緒…】 森林浴　：　近くの公園で家族と一緒…
李 卿／著 【パンどろぼう】 パンどろぼう
柴田 ケイコ／作 【このあななんじゃ[1]】 このあななんじゃ[1]
みぞぐち ともや… 【要件事実マニュアル1】 要件事実マニュアル1
岡口 基一／著 【海と地域を蘇らせるプラスチック「革…】 海と地域を蘇らせるプラスチック「革…
グンター・パウリ… 【鉄筋定着・継手指針2020年版】 鉄筋定着・継手指針2020年版
土木学会コンクリ… 【図書委員アイデアブック　：　「やっ…】 図書委員アイデアブック　：　「やっ…
吉岡 裕子／監修… 【スパースモデリング　：　理論、アル…】 スパースモデリング　：　理論、アル…
Irina Ri… 【水族館のサバイバル　：　生き残り…1】 水族館のサバイバル　：　生き残り…1
ゴムドリco.／… 【運動のつながりから導く姿勢と歩行の…】 運動のつながりから導く姿勢と歩行の…
千葉 慎一／編集 【新和解技術論　：　和解は未来を創る】 新和解技術論　：　和解は未来を創る
草野 芳郎／著 【手織りの組織図事典　：　三原組織か…】 手織りの組織図事典　：　三原組織か…
彦根 愛／著 【妖精の教科書　：　神話と伝説と物語】 妖精の教科書　：　神話と伝説と物語
スカイ・アレクサ… 【呼吸器】 呼吸器
讃井 將満／[ほ… 【わかりやすい臨床中医臓腑学】 わかりやすい臨床中医臓腑学
王 財源／著 【ザリガニの鳴くところ】 ザリガニの鳴くところ
ディーリア・オー… 【超高層ビルのサバイバル　：　生き…1】 超高層ビルのサバイバル　：　生き…1
ポップコーン・ス… 【サーキュラー・エコノミー・ハンドブ…】 サーキュラー・エコノミー・ハンドブ…
ピーター・レイシ… 【ゴミの島のサバイバル　：　生き残り…】 ゴミの島のサバイバル　：　生き残り…
ゴムドリco.／… 【管理組合・理事のためのマンション管…】 管理組合・理事のためのマンション管…
マンション維持管… 【おしりたんてい おしりたんていのこ…】 おしりたんてい おしりたんていのこ…
トロル／さく・え 【水族館のサバイバル　：　生き残り…2】 水族館のサバイバル　：　生き残り…2
ゴムドリco.／… 【新プロゼミ行政法　：　「3つの手続…】 新プロゼミ行政法　：　「3つの手続…
石川 敏行／著 【52ヘルツのクジラたち】 52ヘルツのクジラたち
町田 そのこ／著 【恋とポテトと夏休み】 恋とポテトと夏休み
神戸 遙真／著 【新・臨床家のためのホメオパシーマ…下】 新・臨床家のためのホメオパシーマ…下
森井 啓二／編著 【新・臨床家のためのホメオパシーマ…上】 新・臨床家のためのホメオパシーマ…上
森井 啓二／編著 【民法の基礎1】 民法の基礎1
佐久間 毅／著 【<図説>毒と毒殺の歴史】 <図説>毒と毒殺の歴史
ベン・ハバード／… 【うごきません。】 うごきません。
大塚 健太／作,… 【病気がみえるvol.1】 病気がみえるvol.1
医療情報科学研究… 【要件事実民法1】 要件事実民法1
大江 忠／著 【会社法】 会社法
高橋 美加／著,… 【小児の弱視と視機能発達】 小児の弱視と視機能発達
三木 淳司／編集… 【関節リウマチの診かた,考えかた】 関節リウマチの診かた,考えかた
岸本 暢将／編著… 【恋とポテトとクリスマス】 恋とポテトとクリスマス
神戸 遙真／著 【どんぐりえんおばけ】 どんぐりえんおばけ
こさか まさみ／… 【恋とポテトと文化祭】 恋とポテトと文化祭
神戸 遙真／著 【刑法総論の悩みどころ】 刑法総論の悩みどころ
橋爪 隆／著 【やさいのおにたいじ　：　御伽草子「…】 やさいのおにたいじ　：　御伽草子「…
つるた ようこ／…
909.031　909.031
【世界の児…単行本篇2020-2022】 世界の児…単行本篇2020-2022
DBジャパン／編… 【世界の児…単行本篇2017-2019】 世界の児…単行本篇2017-2019
DBジャパン／編… 【テーマ・ジャンルからさがす…2023】 テーマ・ジャンルからさがす…2023
DBジャパン／編… 【テーマ・ジャンル…1955-1957】 テーマ・ジャンル…1955-1957
DBジャパン／編… 【児童文学書全情報2020-2023】 児童文学書全情報2020-2023
日外アソシエーツ… 【テーマ・ジャンル…1958-1960】 テーマ・ジャンル…1958-1960
DBジャパン／編… 【テーマ・ジャンルからさがす…2022】 テーマ・ジャンルからさがす…2022
DBジャパン／編… 【ショートストーリ…2011-2015】 ショートストーリ…2011-2015
DBジャパン／編… 【テーマ・ジャンル…1961-1963】 テーマ・ジャンル…1961-1963
DBジャパン／編… 【テーマ・ジャンル…1964-1966】 テーマ・ジャンル…1964-1966
DBジャパン／編… 【テーマ・ジャンル…1967-1969】 テーマ・ジャンル…1967-1969
DBジャパン／編… 【テーマ・ジャンルからさがす…2021】 テーマ・ジャンルからさがす…2021
DBジャパン／編… 【テーマ・ジャンル…1970-1972】 テーマ・ジャンル…1970-1972
DBジャパン／編… 【ショートストーリ…2016-2020】 ショートストーリ…2016-2020
DBジャパン／編… 【テーマ・ジャンル…1973-1975】 テーマ・ジャンル…1973-1975
DBジャパン／編… 【テーマ・ジャンル…1976-1977】 テーマ・ジャンル…1976-1977
DBジャパン／編… 【テーマ・ジャンル…1978-1979】 テーマ・ジャンル…1978-1979
DBジャパン／編… 【テーマ・ジャンル…1980-1981】 テーマ・ジャンル…1980-1981
DBジャパン／編… 【テーマ・ジャンル…1982-1983】 テーマ・ジャンル…1982-1983
DBジャパン／編… 【テーマ・ジャンル…1984-1985】 テーマ・ジャンル…1984-1985
DBジャパン／編… 【テーマ・ジャンル…1986-1987】 テーマ・ジャンル…1986-1987
DBジャパン／編… 【テーマ・ジャンル…1988-1989】 テーマ・ジャンル…1988-1989
DBジャパン／編… 【テーマ・ジャンル…1990-1991】 テーマ・ジャンル…1990-1991
DBジャパン／編… 【テーマ・ジャンルからさがす…2020】 テーマ・ジャンルからさがす…2020
DBジャパン／編… 【テーマ・ジャンル…1992-1993】 テーマ・ジャンル…1992-1993
DBジャパン／編… 【テーマ・ジャンル…1994-1995】 テーマ・ジャンル…1994-1995
DBジャパン／編… 【テーマ・ジャンル…1996-1997】 テーマ・ジャンル…1996-1997
DBジャパン／編… 【テーマ・ジャンル…1998-1999】 テーマ・ジャンル…1998-1999
DBジャパン／編… 【テーマ・ジャンル…2000-2001】 テーマ・ジャンル…2000-2001
DBジャパン／編… 【テーマ・ジャンル…2002-2003】 テーマ・ジャンル…2002-2003
DBジャパン／編… 【テーマ・ジャンルからさがす…2004】 テーマ・ジャンルからさがす…2004
DBジャパン／編… 【テーマ・ジャンルからさがす…2005】 テーマ・ジャンルからさがす…2005
DBジャパン／編… 【テーマ・ジャンルからさがす…2006】 テーマ・ジャンルからさがす…2006
DBジャパン／編… 【テーマ・ジャンルからさがす…2019】 テーマ・ジャンルからさがす…2019
DBジャパン／編… 【テーマ・ジャンルからさがす…2007】 テーマ・ジャンルからさがす…2007
DBジャパン／編… 【テーマ・ジャンルからさがす…2008】 テーマ・ジャンルからさがす…2008
DBジャパン／編… 【テーマ・ジャンルからさがす…2009】 テーマ・ジャンルからさがす…2009
DBジャパン／編… 【テーマ・ジャンルからさがす…2010】 テーマ・ジャンルからさがす…2010
DBジャパン／編… 【テーマ・ジャンルからさがす…2011】 テーマ・ジャンルからさがす…2011
DBジャパン／編… 【テーマ・ジャンルからさがす…2013】 テーマ・ジャンルからさがす…2013
DBジャパン／編…
児童文学-書誌
【テーマ・ジャンルからさがす…2023】 テーマ・ジャンルからさがす…2023
DBジャパン／編… 【テーマ・ジャンル…1955-1957】 テーマ・ジャンル…1955-1957
DBジャパン／編… 【子どもの読書への…2017-2023】 子どもの読書への…2017-2023
DBジャパン／編… 【児童文学書全情報2020-2023】 児童文学書全情報2020-2023
日外アソシエーツ… 【テーマ・ジャンル…1958-1960】 テーマ・ジャンル…1958-1960
DBジャパン／編… 【テーマ・ジャンルからさがす…2022】 テーマ・ジャンルからさがす…2022
DBジャパン／編… 【ショートストーリ…2011-2015】 ショートストーリ…2011-2015
DBジャパン／編… 【テーマ・ジャンル…1961-1963】 テーマ・ジャンル…1961-1963
DBジャパン／編… 【テーマ・ジャンル…1964-1966】 テーマ・ジャンル…1964-1966
DBジャパン／編… 【テーマ・ジャンル…1967-1969】 テーマ・ジャンル…1967-1969
DBジャパン／編… 【テーマ・ジャンルからさがす…2021】 テーマ・ジャンルからさがす…2021
DBジャパン／編… 【テーマ・ジャンル…1970-1972】 テーマ・ジャンル…1970-1972
DBジャパン／編… 【ショートストーリ…2016-2020】 ショートストーリ…2016-2020
DBジャパン／編… 【テーマ・ジャンル…1973-1975】 テーマ・ジャンル…1973-1975
DBジャパン／編… 【テーマ・ジャンル…1976-1977】 テーマ・ジャンル…1976-1977
DBジャパン／編… 【テーマ・ジャンル…1978-1979】 テーマ・ジャンル…1978-1979
DBジャパン／編… 【お話から考えるS…2010-2014】 お話から考えるS…2010-2014
DBジャパン／編… 【テーマ・ジャンル…1980-1981】 テーマ・ジャンル…1980-1981
DBジャパン／編… 【テーマ・ジャンル…1982-1983】 テーマ・ジャンル…1982-1983
DBジャパン／編… 【テーマ・ジャンル…1984-1985】 テーマ・ジャンル…1984-1985
DBジャパン／編… 【テーマ・ジャンル…1986-1987】 テーマ・ジャンル…1986-1987
DBジャパン／編… 【テーマ・ジャンル…1988-1989】 テーマ・ジャンル…1988-1989
DBジャパン／編… 【テーマ・ジャンル…1990-1991】 テーマ・ジャンル…1990-1991
DBジャパン／編… 【テーマ・ジャンルからさがす…2020】 テーマ・ジャンルからさがす…2020
DBジャパン／編… 【テーマ・ジャンル…1992-1993】 テーマ・ジャンル…1992-1993
DBジャパン／編… 【お話から考えるS…2015-2019】 お話から考えるS…2015-2019
DBジャパン／編… 【テーマ・ジャンル…1994-1995】 テーマ・ジャンル…1994-1995
DBジャパン／編… 【テーマ・ジャンル…1996-1997】 テーマ・ジャンル…1996-1997
DBジャパン／編… 【テーマ・ジャンル…1998-1999】 テーマ・ジャンル…1998-1999
DBジャパン／編… 【テーマ・ジャンル…2000-2001】 テーマ・ジャンル…2000-2001
DBジャパン／編… 【テーマ・ジャンル…2002-2003】 テーマ・ジャンル…2002-2003
DBジャパン／編… 【テーマ・ジャンルからさがす…2004】 テーマ・ジャンルからさがす…2004
DBジャパン／編… 【楽しみながら外国…2000-2019】 楽しみながら外国…2000-2019
DBジャパン／編… 【テーマ・ジャンルからさがす…2005】 テーマ・ジャンルからさがす…2005
DBジャパン／編… 【テーマ・ジャンルからさがす…2006】 テーマ・ジャンルからさがす…2006
DBジャパン／編… 【テーマ・ジャンルからさがす…2019】 テーマ・ジャンルからさがす…2019
DBジャパン／編… 【テーマ・ジャンルからさがす…2007】 テーマ・ジャンルからさがす…2007
DBジャパン／編… 【テーマ・ジャンルからさがす…2008】 テーマ・ジャンルからさがす…2008
DBジャパン／編… 【テーマ・ジャンルからさがす…2009】 テーマ・ジャンルからさがす…2009
DBジャパン／編… 【テーマ・ジャンルからさがす…2010】 テーマ・ジャンルからさがす…2010
DBジャパン／編…
前のページへ
トップページへ

本文はここまでです。

ページの終わりです。