サイト内検索

詳細検索

ヘルプ

セーフサーチについて

性的・暴力的に過激な表現が含まれる作品の表示を調整できる機能です。
ご利用当初は「セーフサーチ」が「ON」に設定されており、性的・暴力的に過激な表現が含まれる作品の表示が制限されています。
全ての作品を表示するためには「OFF」にしてご覧ください。
※セーフサーチを「OFF」にすると、アダルト認証ページで「はい」を選択した状態になります。
※セーフサーチを「OFF」から「ON」に戻すと、次ページの表示もしくはページ更新後に認証が入ります。

【HB】丸善・ジュンク堂書店×hontoブックツリー 私が22歳で出会いたかった本 ポイント5倍キャンペーン (~5/23)

【HB】丸善丸の内本店×hontoブックツリー matching booktree ~今の気分で探す新しい本~ ポイント5倍キャンペーン(~5/31)

目次

計算理論入門

計算理論入門 (数理情報科学シリーズ)

  • 五十嵐 善英(著)/ Forbes D.Lewis(著)/ 舩田 眞里子(著)
  • 第1章 計算可能性とは何か
    • 1.1 プログラミング言語NICE
    • 1.2 チューリング機械
    • 1.3 プログラミング言語SMALL
    • 1.4 計算モデルの等価性
    • 1.5 拡張チューリング機械
    • 1.6 チャーチ・チューリングの定立
  • 第2章 解決不能性
    • 2.1 チューリング機械の数え上げ
    • 2.2 数え上げの性質
    • 2.3 万能チューリング機械
    • 2.4 停止問題
    • 2.5 還元可能性と解決不能性
    • 2.6 帰納的可算集合と帰納的集合
  • 第3章 計算の複雑さ
    • 3.1 計算量の測度
    • 3.2 計算量のクラス
    • 3.3 還元性と完全性
    • 3.4 クラスPとクラスNP
    • 3.5 手に負えない問題
  • 第4章 帰納的関数のいろいろな形式化
    • 4.1 ループプログラム
    • 4.2 原始帰納的関数
    • 4.3 アッカーマン関数
    • 4.4 μ帰納的関数
    • 4.5 句構造言語
    • 4.6 ポストシステム
    • 4.7 マルコフアルゴリズム