内容説明
本書は、情報科学の基礎数学のうち特に論理数学に的を絞り体系的に基本から解説した入門書である。とかく抽象的になりがちな理論をわかりやすく説明するために、できる限り具体例を用いたり、また、パズル的な例題や練習問題も豊富に載せるなど、理論の理解に役立つよう工夫をこらしている。
目次
1 基礎代数(集合;関係と写像;代数系と群;環と体)
2 ブール代数(束と順序集合;ブール代数;ブール関数;ブール関数とディジタル回路)
3 記号論理学(命題論理学;述語論理学;論理と推論;論理プログラミングと言語と推論)