検索結果書誌詳細：蔵書検索システム

ログインの状態：ログインしていません。ログインすると利用状況の確認等のサービスを利用できます。		カート（予約候補） 0 登録されていません。

蔵書情報

この資料の蔵書に関する統計情報です。現在の所蔵数在庫数予約数などを確認できます。

所蔵数	1	在庫数	1	予約数	0

資料の状態

各蔵書資料に関する詳細情報です。

No.	資料番号	資料種別	請求記号	配架場所	状態	貸出
1	0008304925	図書一般	007.61/ﾀｶ07/	書庫	貸出可	○

この資料に対する操作

カートに入れるを押すとこの資料を予約する候補として予約カートに追加します。

いますぐ予約するを押すと認証後この資料をすぐに予約します。

この資料に対する操作

電子書籍を読むを押すと電子図書館に移動しこの資料の電子書籍を読むことができます。

登録するリストログインメモ

書誌情報サマリ

タイトル	形式手法モデル理論アプローチ
人名	高原康彦／著
人名ヨミ	タカハラヤスヒコ
出版者・発行者	日科技連出版社
出版年月	2007.11

書誌詳細

この資料の書誌詳細情報です。

書誌種別	図書
タイトル	形式手法モデル理論アプローチ
サブタイトル	情報システム開発の基礎
タイトルヨミ	ケイシキシュホウモデルリロンアプローチ
サブタイトルヨミ	ジョウホウシステムカイハツノキソ
人名	高原康彦／著　齋藤敏雄／著　旭貴朗／著　柴直樹／著
人名ヨミ	タカハラヤスヒコ　サイトウトシオ　アサヒタカオ　シバナオキ
出版者・発行者	日科技連出版社
出版者・発行者等ヨミ	ニッカギレンシュッパンシャ
出版地・発行地	東京
出版・発行年月	2007.11
ページ数または枚数・巻数	17,314p
大きさ	21cm
価格	￥３８００
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 システム開発環境の操作