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

「論理トレーニングから始めて、システム理論の基礎を学びながら、その応用として情報システムを開発する」ための教科書。情報システムをソフトウェア工学の対象ではなく、システム理論の対象としている。２００７年に刊行された『形式手法モデル理論アプローチ―情報システム開発の基礎』の改訂第２版。

目次

第１章　論理的に考える（命題論理
述語論理）
第２章　集合で記述する（集合の表現とその記法
リスト
集合の演算
関係
同値関係
順序関係
関数）
第３章　オートマトンでモデル化する（オートマトン（２００円商品自動販売機）
オートマトンの例（状態がシンボルの場合）
モデル化の実際（状態が数値の場合）
オートマトンの動作と物理実現）
第４章　関係データベースでモデル化する（データベースとは
データベース設計
データベースの構築と操作）

本の帯に関して

帯つきでの出荷はお約束しておりません。
商品ページに、帯のみに付与される特典物等の表記がある場合でも、確実に帯つきでの出荷はお約束しておりません。
また、帯は商品の一部ではなく「広告扱い」のため、帯の有無・破損による交換や返品は承っておりません。

版・表紙について

版・表紙（カバー）のご指定は承っておりません。ご注文いただくタイミングによっては、お届けする商品の版や表紙が商品ページ上のものとは異なる場合がございます。
また、初版にのみにお付けしている特典（初回特典、初回仕様特典）がある商品は、商品ページに特典の表記がされている場合でも、無くなり次第終了となります。