工学系の 論理数学入門 |
---|
著者 | 田中 和明 |
---|---|
判型 | A5,108頁 |
本体価格 1,400円 | |
ISBN | 978-4-87783-159-2 C3041 |
論理数学は,論理的な思考を必要とする分野に通ずる基礎的な学問です。論理数学という学問は、どうしても論理学や数学といった、理論が中心の学問というイメージを持たれがちです。確かにそのような側面も学問的に重要であり、多くの研究者により研究が進められている分野ですが、その適用範囲は広く、さまざまな分野で役立っています。
本書は、論理数学を工学や情報科学の分野で活用することを想定して、数学的に必要な知識を習得してもらうことを目的としています。本書を通じて、技術者を目指す人たちに必要となる論理的な思考や論理の応用を身につけてください。
はじめに | |
---|---|
第1章
|
集合 |
1.1
|
集合とは |
1.2
|
集合の演算 |
1.3
|
ベン図 |
1.4
|
集合の規則 |
1.5
|
練習問題 |
第2章
|
論理 |
2.1
|
命題の演算 |
2.2
|
真理値表 |
2.3
|
複雑な場合の真理値 |
2.4
|
命題の性質 |
2.5
|
練習問題 |
第3章
|
ブール代数 |
3.1
|
ブール代数の公理 |
3.2
|
ブール代数の定理 |
3.3
|
命題とブール代数 |
3.4
|
練習問題 |
第4章
|
論理関数 |
4.1
|
論理関数 |
4.2
|
加法標準形 |
4.3
|
NAND |
4.4
|
練習問題 |
第5章
|
論理関数の作成 |
5.1
|
真理値表と論理関数 |
5.2
|
練習問題 |
第6章
|
カルノー図 |
6.1
|
真理値表の復習 |
6.2
|
カルノー図の作り方 |
6.3
|
複雑なカルノー図 |
6.4
|
Don't Care |
6.5
|
練習問題 |
第7章
|
複雑な論理関数の作成 |
7.1
|
カルノー図の復習 |
7.2
|
5変数以上の論理関数 |
7.3
|
練習問題 |
第8章
|
命題論理 |
8.1
|
条件節の復習 |
8.2
|
推論 |
8.3
|
推論の妥当性 |
8.4
|
Wangアルゴリズム |
8.5
|
練習問題 |
第9章
|
述語論理 |
9.1
|
命題関数 |
9.2
|
全称命題 |
9.3
|
存在命題 |
9.4
|
命題関数 |
9.5
|
命題関数の否定 |
9.6
|
練習問題 |
第10章
|
Prolog |
10.1
|
述語 |
10.2
|
複数の述語 |
10.3
|
推論 |
10.4
|
練習問題 |
第11章
|
論理回路 |
11.1
|
カルノー図の復習 |
11.2
|
論理演算と論理素子 |
11.3
|
NAND素子 |
11.4
|
記憶素子 |
11.5
|
練習問題 |
索引 |
採用実績
横浜国立大学、九州工業大学