本/雑誌
形式手法モデル理論アプローチ 情報システム開発の基礎 モデル編
高原康彦/著 齋藤敏雄/著 旭貴朗/著 柴直樹/著 竹田信夫/著 高木徹/著
2420円
| ポイント | 1% (24p) |
|---|---|
| 発売日 | 2016年02月発売 |
| 出荷目安 | メーカー在庫あり:1-3日
※出荷目安について |
- 追跡可能メール便 送料無料
商品説明
「論理トレーニングから始めて、システム理論の基礎を学びながら、その応用として情報システムを開発する」ための教科書。情報システムをソフトウェア工学の対象ではなく、システム理論の対象としている。2007年に刊行された『形式手法モデル理論アプローチ―情報システム開発の基礎』の改訂第2版。
関連記事
収録内容
| 1 | 第1章 論理的に考える(命題論理 |
| 2 | 述語論理) |
| 3 | 第2章 集合で記述する(集合の表現とその記法 |
| 4 | リスト |
| 5 | 集合の演算 |
| 6 | 関係 |
| 7 | 同値関係 |
| 8 | 順序関係 |
| 9 | 関数) |
| 10 | 第3章 オートマトンでモデル化する(オートマトン(200円商品自動販売機) |
| 11 | オートマトンの例(状態がシンボルの場合) |
| 12 | モデル化の実際(状態が数値の場合) |
| 13 | オートマトンの動作と物理実現) |
| 14 | 第4章 関係データベースでモデル化する(データベースとは |
| 15 | データベース設計 |
| 16 | データベースの構築と操作) |
