サイト内検索

詳細検索

ヘルプ

セーフサーチについて

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

送料無料 日付更新(2017年7月)

【ネットストア】講談社全品ポイント最大10倍キャンペーン(~10/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 マルコフアルゴリズム

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

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

前へ戻る

次に進む