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

同じ著者名で検索した本

ｅａｓｙ　ｏｒｉｇａｍｉ　ｆｏｒ　ｂｅｇ
ＭｉｃｈａｅｌＧ．Ｌ
フードレジームと農業問題　資本主義的食農秩序の矛盾と変革/グローバル時代の食と農　３
フィリップ・マクマイケル／著　久野秀二／監訳　平賀緑／訳　小林舞／訳
エナクトメント　精神分析の新しい考え方
スティーヴン・Ｊ．エルマン／編著　マイケル・モスコウィッツ／編著　妙木浩之／訳　津野千文／訳
ＬＧＢＴＱ＋の歴史/世界を知る新しい教科書
マイケル・ブロンスキー／ほか著　藤崎百合／訳　清水晶子／日本語版監修
質問力で人を動かす　１万人のマネジャーを指導したコーチングのプロが教える
マイケル・バンゲイ・スタニエ／著　吉村明子／訳
不法に仕えた法律家　フランツ・シュレーゲルベルガー　ヒトラー・ナチス政権下で活躍した法律家の生涯と業績
ミヒャエル・フェルスター／著　本田稔／訳
穢れなき者へ/新潮文庫　コ－２７－１
マイクル・コリータ／作　越前敏弥／訳
ジャパン・ウェイ静かなる改革者たち　毅然たるリーダーシップが変える経営
池上重輔／著・監訳　ハビール・シン／著　マイケル・ユシーム／著　渡部典子／訳
マルクス哲学入門　動乱の時代の批判的社会哲学
ミヒャエル・クヴァンテ／著　桐原隆弘／訳　後藤弘志／訳　硲智樹／訳
心像と能力　ダメットから意味概念探究の方法論へ
佐藤暁／著
 
 
このサイトの利用に関しては、ご利用生協の宅配事業に関する約款等ならびにeフレンズ利用約款に基づきます。
このサイトについて
ご利用ガイド
利用約款
特定取引法に基づく表示
個人情報の取り扱いについて
eフレンズトップ
お問い合わせ
©COOP KINKI all rights reserved.