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

同じ著者名で検索した本

「幸せをお金で買う」５つの授業
エリザベス・ダン／著　マイケル・ノートン／著　古川奈々子／訳
フラジャイル・モーメント気候危機の真実　地球４６億年の歴史から学ぶ私たちの生存戦略
マイケル・Ｅ．マン／原著　伊藤昭彦／監訳　大前奈月／訳
実践ＡＩエージェント開発　マルチエージェントシステムの設計と実装
Ｍｉｃｈａｅｌ　Ａｌｂａｄａ／著　鈴木駿／訳　高山洪銘／訳　山下正浩／訳
スヌーピーと、いつもいっしょに　ＰＥＡＮＵＴＳを生んだチャールズ・シュルツの物語
マイケル・Ａ．シューマン／著　小松原宏子／訳
シシィの肖像　皇妃エリーザベトをめぐる神話と実像
ミヒャエラ・ヴォツェルカ／著　カール・ヴォツェルカ／著　上村敏郎／訳
遊びの力で学校を変える　ワクワクがあふれる休み時間のつくり方
マイケル・フォレット／著　ＩＰＡ日本支部／監訳　梶木典子／〔ほか〕訳・編
５２週で変わる、親子の関係づくりワークブック　毎日がちょっと楽しくなる！５２のヒント
マイケル・Ｈ．ポプキン／著　野中利子／訳
はじめてのＴＯＥＦＬテスト完全攻略　２０２６年新形式対応版
トフルゼミナール／編著　齋藤直哉／著　Ｚａｃｈａｒｙ　Ｇ．Ｋｅｌｌｙ／著　Ｍｉｃｈａｅｌ　ＭｃＤｏｗｅｌｌ／著
教育測定の歴史　「知を測る科学」の誕生と展開
ブライアン・Ｅ．クラウザー／編　マイケル・Ｂ．バンチ／編　木村拓也／監訳　脇田貴文／監訳
真菌症の診断と治療
Ｄｕａｎｅ　Ｒ．Ｈｏｓｐｅｎｔｈａｌ／編　Ｍｉｃｈａｅｌ　Ｇ．Ｒｉｎａｌｄｉ／編　Ｔｈｏｍａｓ　Ｊ．Ｗａｌｓｈ／編　亀井克彦／監訳
 
 
このサイトの利用に関しては、ご利用生協の宅配事業に関する約款等ならびにeフレンズ利用規約に基づきます。
このサイトについて
ご利用ガイド
利用規約
特定取引法に基づく表示
個人情報の取り扱いについて
eフレンズトップ
お問い合わせ
©COOP KINKI all rights reserved.