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

同じ著者名で検索した本

日本の神々/Ｒｅａｄ　Ｒｅａｌ　ＮＩＨＯＮＧＯ：Ｊａｐａｎｅｓｅ　ｔｅｘｔｓ　ｆｏｒ　ｉｎｔｅｒｍｅｄｉａｔｅ　ｌｅａｒｎｅｒｓ
安部直文／著　マイケル・ブレーズ／訳
失われた都市・文明百科事典
マイケル・シャリー＝ジェンセン／著　アンソニー・ヴィヴィアン／著　大城道則／監訳
ＪＡＰＡＮ　Ａ　Ｓｈｏｒｔ　Ｈｉｓｔｏｒｙ
西海コエン／著　ジョン・ギレスピー／監修　マイケル・ブレーズ／リライト
チョコレートの王さま
マイケル・レーベンサール／文　ラウラ・カタラン／絵　宮坂宏美／訳
ファラデーのつくった世界！　ロウソクの科学が歴史を変えた
藤嶋昭／著　落合剛／著　濱田健吾／著
中世の騎士の日常生活　訓練、装備、戦術から騎士道文化までの実践非公式マニュアル
マイケル・プレストウィッチ／著　大槻敦子／訳
ピアノトリオ　モダンジャズへの入り口/岩波新書　新赤版　２０１２
マイク・モラスキー／著
文脈で覚えるＩＥＬＴＳ英単語
ジョン・グラント／著　マイケル・サンダークリフ／監修　土橋健一郎／監修
Ｍｉｎｅ！　私たちを支配する「所有」のルール
マイケル・ヘラー／著　ジェームズ・ザルツマン／著　村井章子／訳
私はアウシュヴィッツと５つの収容所を生きのびナチス・ハンターとなった
ヨセフ・レフコヴィチ／著　マイケル・カルヴィン／著　辻元よしふみ／訳　辻元玲子／監訳
 
 
このサイトの利用に関しては、ご利用生協の宅配事業に関する約款等ならびにeフレンズ利用約款に基づきます。
このサイトについて
ご利用ガイド
利用約款
特定取引法に基づく表示
個人情報の取り扱いについて
eフレンズトップ
お問い合わせ
©COOP KINKI all rights reserved.