『論理と集合から始める数学の基礎』
(著)
嘉田勝
出版社 :
日本評論社
(
2008/12
/10) ASIN:B079YZSYKY
数学
や
情報科学
・
情報工学
に必須の「
論理
」と「
集合
」を正面からとりあげ、実際の使われ方に即して実践的に解説した。
目次
第一部 論理と集合の基礎
集合
(その1)
命題計算
述語
と
真理集合
集合(その2)
2変数以上の述語
述語と数学的論証
第二部 集合で表される構造
写像
2項関係
とその表現
順序集合
と
束
同値関係
と
商集合
集合の要素の個数
可算集合
第三部
情報科学
のための
論理数学
命題計算の応用
ブール代数
論理設計と命題計算
帰納法
と
再帰的定義
2021-10-26 22:51