検索結果資料の内容

図書
ログインすると表紙画像を
ご覧になれます
ご利用の地域の図書館が所蔵している場合、そちらの方が早く借りられることもあります。
また、ご利用の地域の図書館に申し込み、県立図書館の資料を取り寄せることもできます。
岡山県図書館横断検索

この資料の情報へのリンク：

蔵書情報

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

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

資料の状態

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

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

この資料に対する操作

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

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

この資料に対する操作

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

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

書誌情報サマリ

タイトル

形式手法モデル理論アプローチ　モデル編　

人名 高原 康彦／著
人名ヨミ タカハラ ヤスヒコ
出版者・発行者 日科技連出版社
出版年月 2016.2

書誌詳細

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

書誌種別 図書
タイトル 形式手法モデル理論アプローチ　モデル編　
サブタイトル 情報システム開発の基礎
タイトルヨミ ケイシキ シュホウ モデル リロン アプローチ　モデルヘン　
サブタイトルヨミ ジョウホウ システム カイハツ ノ キソ
人名 高原 康彦／著 　 齋藤 敏雄／著 　 旭 貴朗／著 　 柴 直樹／著 　 竹田 信夫／著 　 高木 徹／著
人名ヨミ タカハラ ヤスヒコ　サイトウ トシオ　アサヒ タカオ　シバ ナオキ　チクダ ノブオ　タカギ トオル
版次 第2版
出版者・発行者 日科技連出版社
出版者・発行者等ヨミ ニッカ ギレン シュッパンシャ
出版地・発行地 東京
出版・発行年月 2016.2
ページ数または枚数・巻数 10,151p
大きさ 21cm
価格 ￥２２００
ISBN 978-4-8171-9572-2
ISBN 4-8171-9572-2
注記 文献:章末
分類記号 007.61
件名 システム設計
内容紹介 「論理トレーニングから始めて、システム理論の基礎を学びながら、その応用として情報システムを開発する」ためのテキスト。モデル編は、論理学と集合論の基礎、オートマトン、表のサイエンスに基づくデータベース論を解説。
著者紹介 東京工業大学名誉教授。
言語区分 JPN
タイトルコード 1009811991278
目次 第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章の参考文献



目次


内容細目

関連資料

この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。

007.61　007.61
【よくわかる最新システム開発者のため…】 よくわかる最新システム開発者のため…
増田 智明／著 【間違いだらけの設計レビュー　：　な…】 間違いだらけの設計レビュー　：　な…
森崎 修司／著 【システム設計のセオリー2】 システム設計のセオリー2
 【Arduinoで学ぶ組込みシステム…】 Arduinoで学ぶ組込みシステム…
猪股 俊光／著 【図解まるわかり要件定義のきほん】 図解まるわかり要件定義のきほん
西村 泰洋／著,… 【よくわかる最新要求定義の基本と実践…】 よくわかる最新要求定義の基本と実践…
佐川 博樹／著 【システムの失敗を克服するメタシステ…】 システムの失敗を克服するメタシステ…
中村 隆文／著 【ITレジリエンスの教科書　：　止ま…】 ITレジリエンスの教科書　：　止ま…
大和総研／著 【UMLのしくみと実装がこれ1冊でし…】 UMLのしくみと実装がこれ1冊でし…
尾崎 惇史／著 【はじめての設計をやり抜くための本　…】 はじめての設計をやり抜くための本　…
吉原 庄三郎／著 【カオスエンジニアリング入門】 カオスエンジニアリング入門
澤橋 松王／監修… 【オブジェクト指向でなぜつくるのか　…】 オブジェクト指向でなぜつくるのか　…
平澤 章／著 【オブジェクト指向の考え方　：　概念…】 オブジェクト指向の考え方　：　概念…
Matt Wei… 【ローコード革命】 ローコード革命
篠田 ヒロシ／著… 【要件定義のセオリーと実践方法がこれ…】 要件定義のセオリーと実践方法がこれ…
上村 有子／著 【元セールスが伝えたい情報システム構…】 元セールスが伝えたい情報システム構…
山田 耕嗣／編著 【システム技術に基づく安全設計ガイド…】 システム技術に基づく安全設計ガイド…
組込みシステム技… 【トコトンやさしい組込みシステムの本】 トコトンやさしい組込みシステムの本
坂巻 佳壽美／著 【組込みエンジニアの教科書】 組込みエンジニアの教科書
渡辺 登／著,牧… 【よくわかる最新システム開発者のため…】 よくわかる最新システム開発者のため…
増田 智明／著 【インフラ設計のセオリー　：　要件定…】 インフラ設計のセオリー　：　要件定…
JIEC基盤エン… 【形式的モデル化　：　離散事象/実時…】 形式的モデル化　：　離散事象/実時…
平石 邦彦／著 【システム開発のための見積りのすべて…】 システム開発のための見積りのすべて…
佐藤 大輔／著,… 【本当に使える開発プロセス　：　シス…】 本当に使える開発プロセス　：　シス…
岡 大勝／著,三… 【インフラCI実践ガイド　：　Ans…】 インフラCI実践ガイド　：　Ans…
中島 倫明／著,…
システム設計
【図解!システム開発で失敗しないため…】 図解!システム開発で失敗しないため…
中田 亨／著,三… 【エクスペリエンス指向のシステム開発…】 エクスペリエンス指向のシステム開発…
NSSOLアカデ… 【システム外注の知識と実践がこれ1冊…】 システム外注の知識と実践がこれ1冊…
青山システムコン… 【システム障害対応の教科書】 システム障害対応の教科書
木村 誠明／著 【よくわかる最新システム開発者のため…】 よくわかる最新システム開発者のため…
増田 智明／著 【事例から学ぶシステム開発契約書作成…】 事例から学ぶシステム開発契約書作成…
吉羽 真一郎／編… 【間違いだらけの設計レビュー　：　な…】 間違いだらけの設計レビュー　：　な…
森崎 修司／著 【運用設計のセオリー　：　インフラか…】 運用設計のセオリー　：　インフラか…
小出 淳平／共著… 【3カ月で改善!システム障害対応実践…】 3カ月で改善!システム障害対応実践…
野村 浩司／著,… 【運用設計の教科書　：　現場でもっと…】 運用設計の教科書　：　現場でもっと…
日本ビジネスシス… 【システム設計のセオリー2】 システム設計のセオリー2
 【kintoneファース…2023年版】 kintoneファース…2023年版
相澤 裕介／著 【クラウドネイティブ時代のデータ基盤…】 クラウドネイティブ時代のデータ基盤…
川上 明久／著 【エンジニアが学ぶ在庫管理システムの…】 エンジニアが学ぶ在庫管理システムの…
GeNEE DX… 【図解まるわかり要件定義のきほん】 図解まるわかり要件定義のきほん
西村 泰洋／著,… 【SI企業の進む道　：　業界歴40年…】 SI企業の進む道　：　業界歴40年…
室脇 慶彦／著 【よくわかる最新要求定義の基本と実践…】 よくわかる最新要求定義の基本と実践…
佐川 博樹／著 【行政情報システム受託・開発の教科書】 行政情報システム受託・開発の教科書
根本 直樹／著 【システム開発成功のカギは「オーナー…】 システム開発成功のカギは「オーナー…
澁谷 裕以／著 【ITレジリエンスの教科書　：　止ま…】 ITレジリエンスの教科書　：　止ま…
大和総研／著 【UMLのしくみと実装がこれ1冊でし…】 UMLのしくみと実装がこれ1冊でし…
尾崎 惇史／著 【御社のシステム発注は、なぜ「ベンダ…】 御社のシステム発注は、なぜ「ベンダ…
田村 昇平／著 【はじめての設計をやり抜くための本　…】 はじめての設計をやり抜くための本　…
吉原 庄三郎／著 【クラウドシステム移行・導入　：　ア…】 クラウドシステム移行・導入　：　ア…
金子 格／編著,… 【ポストモーテム　：　みずほ銀行シス…】 ポストモーテム　：　みずほ銀行シス…
日経コンピュータ…
もどる
このページの先頭へ トップページへ

本文はここまでです。

ページの終わりです。