近代科学社

書籍検索
ジャンル選択

情報

情報の論理数学入門ブール代数から述語論理まで

著者 小倉 久和
著者 高濱 徹行

本書は、情報科学の基礎数学のうち特に論理数学に的を絞り体系的に基本から解説した入門書である。とかく抽象的になりがちな理論をわかりやすく説明するために、できる限り具体例を用いたり、また、パズル的な例題や練習問題も豊富に載せるなど、理論の理解に役立つよう工夫をこらしている。

紙の書籍¥2,700定価(税別)

基本情報

発売日 1991年1月1日
ページ数 224 ページ ※印刷物
サイズ A5
ISBN 9784764901803
ジャンル 情報
タグ 論理数学, prolog, 教科書

主要目次

第1部 基礎代数
1. 集合
2. 関係と写像
3. 代数系と群
4. 環と体
第2部 ブール代数
5. 束と順序集合
6. ブール代数
7. ブール関数
8. ブール関数とディジタル回路
第3部 記号論理学
9. 命題論理学
10. 述語論理学
演習問題の略解とヒント
11. 論理と推論
12. 論理プログラミング言語と推論
参考図書

目次をさらに表示する