資料詳細

  • 1 件中、 1 件目

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

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

所蔵

所蔵は 1 件です。

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

    • 統合検索
      都内図書館の所蔵を
      横断検索します。       類似資料 AI Shelf
      この資料に類似した資料を
      AIが紹介します。
遠隔複写申込みは、東京都在住・在勤・在学の方からお受けいたします。
複写カート機能には、Cookieを使用しています。申込む際はCookieを有効にしてください。

ページの先頭へ

資料詳細 閉じる

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

ページの先頭へ