close
1.

図書

図書
仙波一郎著
出版情報: 東京 : コロナ社, 1999.11  vi, 202p ; 22cm
シリーズ名: コンピュータ数学シリーズ / 斎藤信男, 有澤誠, 筧捷彦編 ; 2
所蔵情報: loading…
2.

図書

図書
西岡弘明著
出版情報: 東京 : コロナ社, 1999.5  v, 182p ; 21cm
所蔵情報: loading…
3.

図書

東工大
目次DB

図書
東工大
目次DB
小倉久和著
出版情報: 東京 : 近代科学社, 2005.12  vi, 224p ; 21cm
所蔵情報: loading…
目次情報: 続きを見る
第1章論理と証明 1
   1.1述語と論理演算 1
   1.2論理と証明 9
   1章の演習問題 15
第2章離散集合 18
   2.1集合 18
   2.2集合演算 22
   2章の演習問題 30
第3章写像・関数 34
   3.1対応と写像 34
   3.2写像と関数 40
   3章の演習問題 46
第4章帰納法 51
   4.1無限の数え挙げ 51
   4.2帰納法と自然数 54
   4.3帰納的定義 57
   4章の演習問題 65
第5章離散関係 68
   5.1関係 68
   5.2関係グラフと関係行列 72
   5.3同値関係 76
   5章の演習問題 83
第6章整数演算 87
   6.1数値演算 87
   6.2剰余演算の代数 92
   6.3剰余演算と暗号 99
   6章の演習問題 105
第7章離散代数系 109
   7.1演算と代数系 109
   7.2群とモノイド 113
   7.3数の代数系 122
   7章の演習問題 126
第8章順序集合と束 131
   8.1順序関係と順序集合 131
   8.2順序集合と束 138
   8.3ブール代数 142
   8章の演習問題 146
第9章離散グラフ 151
   9.1有限離散グラフ 151
   9.2グラフの隣接行列 156
   9.3離散グラフの特徴 160
   9章の演習問題 166
第10章木グラフ 170
   10.1木 170
   10.2グラフの探索と探索木 177
   10.3構文木 186
   10章の演習問題 190
   参考図書 195
   練習問題略解 197
   索引 217
第1章論理と証明 1
   1.1述語と論理演算 1
   1.2論理と証明 9
4.

図書

図書
成嶋弘, 土屋守正訳
出版情報: 東京 : 東海大学出版会, 1988.3  iv, 192p ; 21cm
シリーズ名: 組合せ論演習 / László Lovász [著] ; 1
所蔵情報: loading…
5.

図書

図書
秋山仁, 榎本彦衛監訳
出版情報: 東京 : 東海大学出版会, 1988.4  iv, 200p ; 21cm
シリーズ名: 組合せ論演習 / László Lovász [著] ; 3
所蔵情報: loading…
6.

図書

図書
喜安善市著
出版情報: 東京 : 電子通信学会, 1980.3  v, 406p ; 22cm
シリーズ名: 情報とシステムシリーズ
所蔵情報: loading…
7.

図書

図書
ラスロウ・ロバース [ほか] 著 ; 秋山仁, ピーター・フランクル翻案
出版情報: 東京 : 共立出版, 1985.4  125p ; 21cm
所蔵情報: loading…
8.

図書

図書
高橋磐郎著
出版情報: 東京 : 岩波書店, 1979.6  iv, 274p ; 19cm
シリーズ名: 岩波全書 ; 316
所蔵情報: loading…
9.

図書

図書
山本幸一著
出版情報: 東京 : 朝倉書店, 1989.11  iv, 237p ; 22cm
シリーズ名: 新数学講座 / 田村一郎, 木村俊房編 ; 14
所蔵情報: loading…
10.

図書

図書
惠羅博, 土屋守正著
出版情報: 東京 : 産業図書, 1996.12  viii, 225p ; 21cm
シリーズ名: シリーズ/情報科学の数学
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼