- 著者：嘉田勝
- 発売日：2008-12-10
- 出版社：日本評論社
内容
- （ここには本の中で説明されている内容を記述します）
- 第1部 論理と集合の基礎
- 集合
- 命題計算
- 述語と真理集合
- 2変数以上の述語
- 述語と数学的論証
- 第2部 集合で表される構造
- 写像
- 2項関係とその表現
- 順序集合と束
- 同値関係と商集合
- 集合の要素の個数
- 可算集合
- 第3部 情報科学のための論理数学
- 命題計算の応用
- ブール代数
- 論理設計と命題計算
- 帰納法と再帰的定義
特徴
- （文体や説明形式、他の本の中ではあまり説明していないトピックなどを記述します）
レベル
- （読むために必要となる前提知識を記述します）
関連する景勝地や講堂
- （もしあれば記述し、該当景勝地や講堂ページへリンクします）