基本情報
| 発売日 | 1991年1月1日 |
|---|---|
| ページ数 | 224 ページ ※印刷物 |
| サイズ | A5 |
| ISBN | 9784764901803 |
| ジャンル | 情報 |
| タグ | 論理数学, prolog, 教科書 |
| 電子書籍形式 | 販売なし |
主要目次
第１部 基礎代数
1. 集合
2. 関係と写像
3. 代数系と群
4. 環と体
第２部 ブール代数
5. 束と順序集合
6. ブール代数
7. ブール関数
8. ブール関数とディジタル回路
第３部 記号論理学
9. 命題論理学
10. 述語論理学
演習問題の略解とヒント
11. 論理と推論
12. 論理プログラミング言語と推論
参考図書
1. 集合
2. 関係と写像
3. 代数系と群
4. 環と体
第２部 ブール代数
5. 束と順序集合
6. ブール代数
7. ブール関数
8. ブール関数とディジタル回路
第３部 記号論理学
9. 命題論理学
10. 述語論理学
演習問題の略解とヒント
11. 論理と推論
12. 論理プログラミング言語と推論
参考図書