蔵書情報
この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。
資料の状態
各蔵書資料に関する詳細情報です。
No. |
資料番号 |
資料種別 |
請求記号 |
配架場所 |
状態 |
貸出
|
1 |
0008304925 | 図書一般 | 007.61/タカ07/ | 書庫 | 貸出可 |
○ |
この資料に対する操作
カートに入れる を押すと この資料を 予約する候補として予約カートに追加します。
いますぐ予約する を押すと 認証後この資料をすぐに予約します。
この資料に対する操作
電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。
書誌情報サマリ
タイトル |
形式手法モデル理論アプローチ
|
人名 |
高原 康彦/著
|
人名ヨミ |
タカハラ ヤスヒコ |
出版者・発行者 |
日科技連出版社
|
出版年月 |
2007.11 |
書誌詳細
この資料の書誌詳細情報です。
書誌種別 |
図書 |
タイトル |
形式手法モデル理論アプローチ |
サブタイトル |
情報システム開発の基礎 |
タイトルヨミ |
ケイシキ シュホウ モデル リロン アプローチ |
サブタイトルヨミ |
ジョウホウ システム カイハツ ノ キソ |
人名 |
高原 康彦/著
齋藤 敏雄/著
旭 貴朗/著
柴 直樹/著
|
人名ヨミ |
タカハラ ヤスヒコ サイトウ トシオ アサヒ タカオ シバ ナオキ |
出版者・発行者 |
日科技連出版社
|
出版者・発行者等ヨミ |
ニッカ ギレン シュッパンシャ |
出版地・発行地 |
東京 |
出版・発行年月 |
2007.11 |
ページ数または枚数・巻数 |
17,314p |
大きさ |
21cm |
価格 |
¥3800 |
ISBN |
978-4-8171-9245-5 |
ISBN |
4-8171-9245-5 |
分類記号 |
007.61
|
件名 |
システム設計
|
内容紹介 |
モデル理論アプローチによる“問題解決システム”とそれを含む“業務処理システム”の体系を、初心者のための教育的配慮を加えつつ、わかりやすく紹介する。 |
著者紹介 |
1935年生まれ。東京工業大学および中南大学(中国)名誉教授。共著に「経営情報システム」等。 |
言語区分 |
jpn |
タイトルコード |
1009811027530 |
目次 |
序章 モデル理論アプローチとは何か |
|
0.1 わたしたちの生活を支えている情報システム/0.2 情報システム開発に対する本書の立場/0.3 モデル理論アプローチの定義/0.4 他のアプローチとモデル理論アプローチの比較/0.5 集合論に対する誤解と集合論の潜在力/0.6 モデル理論アプローチの今後の展開 |
|
第1章 論理的に考える |
|
1.1 命題と真理値/1.2 述語 |
|
第2章 集合で記述する |
|
2.1 集合の表現とその記法/2.2 リスト/2.3 集合の演算/2.4 関係/2.5 同値関係/2.6 順序関係/2.7 関数 |
|
第3章 オートマトンでモデル化する |
|
3.1 オートマトン(200円商品自動販売機)/3.2 オートマトンの例(状態がシンボルの場合)/3.3 モデル化の実際(状態が数値の場合)/3.4 オートマトンの動作と物理実現 |
|
第4章 コンピュータ可読に表現する |
|
4.1 モデルの例/4.2 コンピュータ可読表現/4.3 集合の実現と操作/4.4 関係(述語)の実現と操作/4.5 関数の実現と操作/4.6 その他の特別な述語と関数/4.7 オートマトンの実行による確認/4.8 複雑な集合の定義 |
|
第5章 問題解決システムを開発する |
|
5.1 問題解決システム/5.2 狼,山羊,キャベツの川渡し問題/5.3 水差し問題/5.4 巡回セールスマン問題 |
|
第6章 業務処理システムを開発する |
|
6.1 業務処理システム/6.2 業務処理システムのモデル/6.3 業務処理システムの開発/6.4 <開発例1>書店売掛管理システム/6.5 <開発例2>酒問屋のシステム |
|
第7章 システムの開発環境 |
|
7.1 システム開発環境の入手と設置/7.2 システム開発環境の外観/7.3 システム開発環境の操作 |
目次
内容細目
関連資料
この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。
もどる