論理と集合から始める数学の基礎

嘉田勝 著

[目次]

• 第1部 論理と集合の基礎(集合
• 命題計算
• 述語と真理集合
• 2変数以上の述語
• 述語と数学的論証)
• 第2部 集合で表される構造(写像
• 2項関係とその表現
• 順序集合と束
• 同値関係と商集合
• 集合の要素の個数
• 可算集合)
• 第3部 情報科学のための論理数学(命題計算の応用
• ブール代数
• 論理設計と命題計算
• 帰納法と再帰的定義)

「BOOKデータベース」より