数学や情報科学・情報工学に必須の「論理」と「集合」を正面からとりあげ、実際の使われ方に即して実践的に解説。

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

嘉田　勝(カダ　マサル)
１９７０年鳥取県に生まれる。１９９３年筑波大学第一学群自然学類卒業。１９９５年筑波大学大学院博士課程数学研究科数学専攻退学。１９９７年大阪府立大学大学院理学系研究科博士課程数理・情報科学専攻修了。日本学術振興会特別研究員、北見工業大学などを経て、大阪府立大学大学院理学系研究科情報数理科学専攻講師。博士（理学）。専門は数理論理学（特に公理的集合論）、集合論的位相空間論（本データはこの書籍が刊行された当時に掲載されていたものです）