資料詳細

[ 和図書 ] 形式手法モデル理論アプローチモデル編情報システム開発の基礎

高原康彦／著 -- 日科技連出版社 -- 2016.2 -- 第2版

所蔵

所蔵は 1 件です。

所蔵館	所蔵場所	資料区分	請求記号	資料コード	所蔵状態	資料の利用
配架日	協力貸出	利用状況	返却予定日	資料取扱	予約数	付録注記	備考
中央	書庫	一般図書	/007.6/8829/1	7106952519		Digital BookShelf
2016/03/22	可能	利用可			0

Eメールによる郵送複写申込みは、「東京都在住」の登録利用者の方が対象です。

- 統合検索
  都内図書館の所蔵を
  横断検索します。 類似資料 AI Shelf
  この資料に類似した資料を
  AIが紹介します。

ページの先頭へ

資料詳細

ISBN	4-8171-9572-2
ISBN13桁	978-4-8171-9572-2
タイトル	形式手法モデル理論アプローチ
タイトルカナ	ケイシキシュホウモデルリロンアプローチ
タイトル関連情報	情報システム開発の基礎
タイトル関連情報読み	ジョウホウシステムカイハツノキソ
巻次	モデル編
著者名	高原康彦／著, 齋藤敏雄／著, 旭貴朗／著, 柴直樹／著, 竹田信夫／著, 高木徹／著
著者名典拠番号	110000588480000 , 110005143240000 , 110005143250000 , 110005143270000 , 110006949190000 , 110006949300000
版表示	第2版
出版地	東京
出版者	日科技連出版社
出版者カナ	ニッカギレンシュッパンシャ
出版年	2016.2
ページ数	10, 151p
大きさ	21cm
価格	¥2200
内容紹介	「論理トレーニングから始めて、システム理論の基礎を学びながら、その応用として情報システムを開発する」ためのテキスト。モデル編は、論理学と集合論の基礎、オートマトン、表のサイエンスに基づくデータベース論を解説。
書誌・年譜・年表	文献:章末
一般件名	システム工学-ndlsh-00571263
一般件名カナ	システムコウガク-00571263
一般件名	システム設計
一般件名カナ	システムセッケイ
一般件名典拠番号	510166000000000
分類：都立NDC10版	007.61
資料情報1	『形式手法モデル理論アプローチ情報システム開発の基礎モデル編』第2版　高原康彦／著, 齋藤敏雄／著 , 旭貴朗／著　日科技連出版社　2016.2（所蔵館：中央　請求記号：/007.6/8829/1　資料コード：7106952519）
URL	https://catalog.library.metro.tokyo.lg.jp/winj/opac/switch-detail.do?lang=ja&bibid=1152774474

ページの先頭へ

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

ページの先頭へ