内容説明
情報系の基礎数学として必要な「論理」「集合」「群」について平明に解説した入門用テキスト。第１部では動機付けとして点字の法則性を解明する話から入り「論理」の解説へと進んでいく。その間「数学語」が身近なものとなるよう日常語によって具体例をあげて説明される。さらに「関係」という概念を通して構造をもった「集合」について統一的に考察する。第２部では、情報系の分野で重要な代数的構造として基本的な「群」の性質を調べ、種々の用語や概念の理解と共に、論理的に考える習慣も自然に身に付くことを意図してまとめられている。
目次
第１部 論理（でない、かつ、または；ならば；標準形；任意、存在；述語論理と命題論理；集合；写像；集合と特性関数；像、逆像；直積、関係；いろいろな関係；順序関係；同値関係）
第２部 代数系（演算；群；群の直積；巡回群；置換；巡回置換・互換；部分群とその剰余類；正規部分群と商群；準同型；準同型定理）
