資料詳細

  • 1 件中、 1 件目

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

高原 康彦／著 齋藤 敏雄／著

日科技連出版社 2016.2

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 請求記号 資料コード 資料区分 持禁区分 状態
オーテピア高知図書館 4F書庫 4Y/007.61/ｹｲ/ 1108251826 一般   利用可 iLisvirtual

ページの先頭へ

館別所蔵

所蔵数 貸出中数 貸出可能数
合計

ページの先頭へ

資料詳細

タイトル 形式手法モデル理論アプローチ モデル編
副書名 情報システム開発の基礎
著者 高原 康彦 ／著, 齋藤 敏雄 ／著, 旭 貴朗 ／著, 柴 直樹 ／著, 竹田 信夫 ／著, 高木 徹 ／著  
著者典拠番号 110000588480000 , 110005143240000 , 110005143250000 , 110005143270000 , 110006949190000 , 110006949300000
版表示 第2版
出版者 日科技連出版社
出版地 東京
出版年 2016.2
ページ数 10,151p
大きさ 21cm
言語 日本語
一般件名 システム設計
一般件名典拠番号 510166000000000
NDC分類(9版) 007.61
内容紹介 「論理トレーニングから始めて、システム理論の基礎を学びながら、その応用として情報システムを開発する」ためのテキスト。モデル編は、論理学と集合論の基礎、オートマトン、表のサイエンスに基づくデータベース論を解説。
ISBN 4-8171-9572-2
ISBN13桁 978-4-8171-9572-2
本体価格 ¥2200
資料情報1 『形式手法モデル理論アプローチ 情報システム開発の基礎 モデル編』第2版　高原 康彦／著, 齋藤 敏雄／著 , 旭 貴朗／著　日科技連出版社　2016.2（所蔵館：オーテピア高知図書館　 請求記号：4Y/007.61/ｹｲ/　 資料コード：1108251826）
URL
https://opac.library.kochi.jp/winj/opac/switch-detail.do?lang=ja&bibid=1120079663

ページの先頭へ

目次

第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章の参考文献

ページの先頭へ