目次
第１部 論理と集合の基礎（集合；命題計算；述語と真理集合；２変数以上の述語；述語と数学的論証）
第２部 集合で表される構造（写像；２項関係とその表現；順序集合と束；同値関係と商集合；集合の要素の個数；可算集合）
第３部 情報科学のための論理数学（命題計算の応用；ブール代数；論理設計と命題計算；帰納法と再帰的定義）
著者等紹介
嘉田勝［カダマサル］
１９７０年鳥取県に生まれる。１９９３年筑波大学第一学群自然学類卒業。１９９５年筑波大学大学院博士課程数学研究科数学専攻退学。１９９７年大阪府立大学大学院理学系研究科博士課程数理・情報科学専攻修了。日本学術振興会特別研究員、北見工業大学などを経て、大阪府立大学大学院理学系研究科情報数理科学専攻講師。博士（理学）。専門は数理論理学（特に公理的集合論）、集合論的位相空間論（本データはこの書籍が刊行された当時に掲載されていたものです）
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。
