サイト内検索

詳細検索

ヘルプ

セーフサーチについて

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

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

【ネットストア】インプレス ポイント最大10倍キャンペーン(~10/31)

目次

形式手法モデル理論アプローチ 情報システム開発の基礎 第2版 モデル編

形式手法モデル理論アプローチ 情報システム開発の基礎 第2版 モデル編

  • 高原 康彦(著)/ 齋藤 敏雄(著)/ 旭 貴朗(著)/ 柴 直樹(著)/ 竹田 信夫(著)/ 高木 徹(著)
  • 第1章 論理的に考える
    • 1.1 命題論理
    • 1.2 述語論理
    • 第1章の演習問題の解答例
    • 付録
  • 第2章 集合で記述する
    • 2.1 集合の表現とその記法
    • 2.2 リスト
    • 2.3 集合の演算
    • 2.4 関係
    • 2.5 同値関係
    • 2.6 順序関係
    • 2.7 関数
    • 第2章の演習問題の解答例
  • 第3章 オートマトンでモデル化する
    • 3.1 オートマトン(200円商品自動販売機)
    • 3.2 オートマトンの例(状態がシンボルの場合)
    • 3.3 モデル化の実際(状態が数値の場合)
    • 3.4 オートマトンの動作と物理実現
    • 第3章の演習問題の解答例
    • 第3章の参考文献
  • 第4章 関係データベースでモデル化する
    • 4.1 データベースとは
    • 4.2 データベース設計
    • 4.3 データベースの構築と操作
    • 付録
    • 第4章の参考文献