ようこそ！
マイページ
サイトトップ   eフレンズトップ
本 > 理学 > 数学 > 情報数学
出版社名：共立出版
出版年月：2023年5月
ISBN：978-4-320-12562-9
Ｐ１９６～３２８　４０Ｐ　２１ｃｍ
計算理論の基礎　２/計算可能性の理論
Ｍｉｃｈａｅｌ　Ｓｉｐｓｅｒ／著　田中圭介／監訳　藤岡淳／監訳　阿部正幸／〔ほか〕訳
 
組合員価格 税込 3,553円
(通常価格 税込 3,740円)
割引率 5%
在庫あり
生協宅配にてお届け
※ご注文が集中した場合、お届けが遅れる場合がございます。
内容紹介・もくじなど
もくじ情報：３　Ｃｈｕｒｃｈ‐Ｔｕｒｉｎｇの提唱（Ｔｕｒｉｎｇ機械；Ｔｕｒｉｎｇ機械の変型　ほか）；４　判定可能性（判定可能な言語；判定不可能性）；５　帰着可能性（言語理論における判定不可能問題　計算履歴を用いた帰着；単純な判定不可能問題　ほか）；６　計算可能性の理論における先進的な話題（再帰定理；数理論理における判定可能性　ほか）
もくじ情報：３　Ｃｈｕｒｃｈ‐Ｔｕｒｉｎｇの提唱（Ｔｕｒｉｎｇ機械；Ｔｕｒｉｎｇ機械の変型　ほか）；４　判定可能性（判定可能な言語；判定不可能性）；５　帰着可能性（言語理論における判定不可能問題　計算履歴を用いた帰着；単純な判定不可能問題　ほか）；６　計算可能性の理論における先進的な話題（再帰定理；数理論理における判定可能性　ほか）
著者プロフィール
田中　圭介(タナカ　ケイスケ)
北陸先端科学技術大学院大学情報科学研究科博士後期課程修了。現在、東京工業大学情報理工学院教授、サイバーセキュリティ研究教育センター長、博士（情報科学）。専門分野：暗号理論、計算の複雑さの理論
田中　圭介(タナカ　ケイスケ)
北陸先端科学技術大学院大学情報科学研究科博士後期課程修了。現在、東京工業大学情報理工学院教授、サイバーセキュリティ研究教育センター長、博士（情報科学）。専門分野：暗号理論、計算の複雑さの理論

同じ著者名で検索した本

マンダロリアンとグローグー　出会い、そして、銀河の冒険へ/小学館ジュニア文庫スペシャル　ジウ１－１
ブルック・ヴィターレ／著　マイケル・シグレイン／著　エメリ・ユーリン／著　トマトファーム／絵　代田亜香子／訳
パランティア　「哲学者」が率いる軍事ＡＩ企業の野望
マイケル・スタインバーガー／著　土方奈美／訳
エルリック：魔術師の誕生　上/ＮｉｇｈｔＬａｎｄ　Ｇｒａｐｈｉｃ　Ｎｏｖｅｌｓ　１－１　マイクル・ムアコックライブラリー
マイクル・ムアコック／作　ウォルター・サイモンスン／画　健部伸明／訳
エルリック：魔術師の誕生　下/ＮｉｇｈｔＬａｎｄ　Ｇｒａｐｈｉｃ　Ｎｏｖｅｌｓ　１－２　マイクル・ムアコックライブラリー
マイクル・ムアコック／作　ウォルター・サイモンスン／画　健部伸明／訳
Ｔｈｅ　Ｂｏｏｋ　ｏｆ　Ｆｉｖｅ　Ｒｉｎｇｓ/ＩＢＣ　Ｃｌａｓｓｉｃｓ
宮本武蔵／著　マイケル・ブレーズ／英訳
ドーパミン断ち　最先端の脳科学が解明した自分を「うまく動かす」方法
マイケル・ロング／著　中里京子／訳
アルティン代数学
Ｍｉｃｈａｅｌ　Ａｒｔｉｎ／著　松田茂樹／訳
全図解日本のしくみ/対訳ニッポン双書
安部直文／著　マイケル・ブレーズ／訳
人口崩壊　データで見る人類の過去と未来
ディーン・スピアーズ／著　マイケル・ジェルーソ／著　土方奈美／訳
ＳＥＬＦ　ＤＥＦＥＮＣＥ体を守る免疫の真実
ダニエル・Ｍ．デイヴィス／著　久保尚子／訳
 
 
このサイトの利用に関しては、ご利用生協の宅配事業に関する約款等ならびにeフレンズ利用規約に基づきます。
このサイトについて
ご利用ガイド
利用規約
特定取引法に基づく表示
個人情報の取り扱いについて
eフレンズトップ
お問い合わせ
©COOP KINKI all rights reserved.