close
1.

図書

図書
鑰山徹著
出版情報: 東京 : 工学図書, 1991.7  4, 122p ; 21cm
所蔵情報: loading…
2.

図書

図書
鑰山徹著
出版情報: 東京 : 共立出版, 1996.7  11,154p ; 26cm
シリーズ名: 情報二種テキストシリーズ ; 3
所蔵情報: loading…
3.

図書

図書
杉原敏夫, 鑰山徹共著
出版情報: 東京 : 工学図書, 1989.12  139p ; 19cm
所蔵情報: loading…
4.

図書

東工大
目次DB

図書
東工大
目次DB
鑰山徹著
出版情報: 東京 : 工学図書, 2002.2  3, 193p ; 26cm
所蔵情報: loading…
目次情報: 続きを見る
第 1 章 数学への序章 1
   1.1 数の分類 1
   1.2 集合と写像 3
   第 1 章のまとめ 6
   練習問題 1 7
第 2 章 命題論理
   2.1 命題と真理値 8
   2.2 論理演算子 9
   2.3 論理式とその真理値 12
   2.4 真理値表 14
   2.5 恒真式と矛盾式 15
   2.6 論理式の変形 17
   2.7 標準形 20
   2.8 論理的帰結 22
   第 2 章のまとめ 24
   練習問題 2 24
第 3 章 述語論理 26
   3.1 命題論理の限界 26
   3.2 述語 27
   3.3 変数と量子化 29
   3.4 論理式の解釈 32
   3.5 論理的帰結 34
   3.6 同値式 35
   第 3 章のまとめ 38
   練習問題 3 38
第 4 章 推論と証明 40
   4.1 三段論法 40
   4.2 その他の推論 42
   4.3 推論と証明 43
   4.4 数学における各種証明法 48
   第 4 章のまとめ 54
   練習問題 4 54
第 5 章 初等的集合論(Ⅰ) 56
   5.1 基礎概念 56
   5.2 基本的な集合演算 58
   5.3 直積と関係 64
   5.4 集合の集合 67
   第 5 章のまとめ 68
   練習問題 5 68
第 6 章 初等的集合論(Ⅱ) 70
   6.1 写像 70
   6.2 濃度 77
   第 6 章のまとめ 78
   練習問題 6 79
第 7 章 数列(Ⅰ) 80
   7.1 数列と級数 80
   7.2 等差数列と等比数列 83
   第 7 章のまとめ 90
   練習問題 7 91
第 8 章 数列(Ⅱ) 92
   8.1 数列と漸化式 92
   8.2 漸化式と一般項 93
   8.3 数列と数学的帰納法 96
   8.4 数列の極限 99
   第 8 章のまとめ 102
   練習問題 8 104
第 9 章 流れ図とアルゴリズム 104
   9.1 流れ図の記法 104
   9.2 判断分岐 106
   9.3 繰り返し 108
   9.4 配列と繰り返し 111
   9.5 関数の呼び出しと実行 112
   第 9 章のまとめ 115
   練習問題 9 116
第 10 章 指数と対数 117
   10.1 指数 117
   10.2 対数 121
   第 10 章のまとめ 125
   練習問題 10 126
第 11 章 データと計算量 127
   11.1 データ型と桁数 127
   11.2 データ構造とデータ量 130
   11.3 計算量 133
   11.4 データ探索と計算量 135
   第 11 章のまとめ 138
   練習問題 11 139
第 12 章 述語論理と論理プログラム 140
   12.1 述語論理の復習 140
   12.2 冠頭標準形 140
   12.3 スコーレム関数と節集合 142
   12.4 導出原理と論理プログラム 144
   第 12 章のまとめ 150
   練習問題 12 151
補 講 更に学習を進めるために 152
   補.1 各種証明の妥当性 152
   補.2 集合の濃度 154
   補.3 公理的集合論 157
   補.4 数列の極限 158
   補.5 Prolog とリスト処理 159
まとめの解答 163
問の略解 164
練習問題の略解 180
索引 191
参考文献 193
第 1 章 数学への序章 1
   1.1 数の分類 1
   1.2 集合と写像 3
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼