ようこそ!
文庫
新書・選書
文芸
教養
人文
教育
芸術
児童
趣味
生活
地図・ガイド
就職・資格
語学
小学学参
中学学参
高校学参
辞典
コミック
ゲーム攻略本
エンターテイメント
日記手帳
社会
法律
経済
経営
ビジネス
理学
工学
コンピュータ
医学
看護学
薬学
出版社名:日科技連出版社
出版年月:2016年2月
ISBN:978-4-8171-9572-2
151P 21cm
形式手法モデル理論アプローチ 情報システム開発の基礎 モデル編
高原康彦/著 齋藤敏雄/著 旭貴朗/著 柴直樹/著 竹田信夫/著 高木徹/著
組合員価格 税込 2,299
(通常価格 税込 2,420円)
割引率 5%
在庫あり
生協宅配にてお届け
※ご注文が集中した場合、お届けが遅れる場合がございます。
内容紹介・もくじなど
「論理トレーニングから始めて、システム理論の基礎を学びながら、その応用として情報システムを開発する」ための教科書。情報システムをソフトウェア工学の対象ではなく、システム理論の対象としている。2007年に刊行された『形式手法モデル理論アプローチ―情報システム開発の基礎』の改訂第2版。
もくじ情報:第1章 論理的に考える(命題論理;述語論理);第2章 集合で記述する(集合の表現とその記法;リスト;集合の演算;関係;同値関係;順序関係;関数);第3章 オートマトンでモデル化する(オートマトン(200円商品自動販売機);オートマトンの例(状態がシンボルの場合);モデル化の実際(状態が数値の場合);オー…(続く
「論理トレーニングから始めて、システム理論の基礎を学びながら、その応用として情報システムを開発する」ための教科書。情報システムをソフトウェア工学の対象ではなく、システム理論の対象としている。2007年に刊行された『形式手法モデル理論アプローチ―情報システム開発の基礎』の改訂第2版。
もくじ情報:第1章 論理的に考える(命題論理;述語論理);第2章 集合で記述する(集合の表現とその記法;リスト;集合の演算;関係;同値関係;順序関係;関数);第3章 オートマトンでモデル化する(オートマトン(200円商品自動販売機);オートマトンの例(状態がシンボルの場合);モデル化の実際(状態が数値の場合);オートマトンの動作と物理実現);第4章 関係データベースでモデル化する(データベースとは;データベース設計;データベースの構築と操作)
著者プロフィール
高原 康彦(タカハラ ヤスヒコ)
東京工業大学名誉教授
高原 康彦(タカハラ ヤスヒコ)
東京工業大学名誉教授