出版社内容情報
本書は，計算機科学を学ぶうえで，その論理的基礎をなしている数学的概念を平易に解説．
■目次 論理（命題論理／述語論理／自然数の公理系）／集合と関数（集合／関数／集合の濃度）／関係（n項関係／同値関係／順序関係）いくつかの進んだ話題（分解証明／公理的集合論／ブール代数／形式言語の初歩）
内容説明
日本語ＬＡＴＥＸで作った本。計算機科学、情報科学、情報工学を学ぶための基礎としての数学入門書。進歩の著しいこの分野の最先端部分を学んでいくためには、その土台をなす基礎的な数学を十分解理しておくことが必要である。本書はその中での特に重要なものを取り上げ、多くの例を示しながら入門者向けに解説した。
目次
１ 論理（命題論理；述語論理；自然数の公理系）
２ 集合と関数（集合；関数；集合の濃度）
３ 関係（ｎ項関係；同値関係；順序関係）
４ いくつかの進んだ話題（分解証明法；公理的集合論；ブール代数；形式言語の初歩）
