サイト内検索

詳細検索

ヘルプ

セーフサーチについて

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

【HB】3冊以上でポイント3倍キャンペーン(~8/31)

8/1【HB】honto withアプリカード利用でポイント2倍キャンペーン (~8/31)

目次

計算理論の基礎 2 計算可能性の理論

計算理論の基礎 2 計算可能性の理論

  • Michael Sipser(著)/ 太田 和夫(監訳)/ 田中 圭介(監訳)/ 阿部 正幸(ほか訳)
  • 3 Church‐Turingの提唱
    • 3.1 Turing機械
    • 3.2 Turing機械の変型
    • 3.3 アルゴリズムの定義
  • 4 判定可能性
    • 4.1 判定可能な言語
    • 4.2 停止問題
  • 5 帰着可能性
    • 5.1 言語理論における判定不可能問題
    • 5.2 単純な判定不可能問題
    • 5.3 写像帰着可能性
  • 6 計算可能性の理論における先進的な話題
    • 6.1 再帰定理
    • 6.2 数理論理における判定可能性
    • 6.3 Turing帰着可能性
    • 6.4 情報の定義

情報理論・情報科学 ランキング

情報理論・情報科学のランキングをご紹介します一覧を見る