本書の特徴
ソフトウェアの動作を理解するには、数学的思考が必要である。
これまでのテキスト（「情報数学入門」「情報基礎数学」……）は、理科系の大学生を対象に、ハードウェアの理解を目的として書かれたものが多かった。
それに対して本書は、文科系の大学生や専門学校の学生を対象に、ソフトウェアの理解に必要な、基本的な数学的知識と概念をわかりやすく説明している。
また、次のような特徴をもっている。
① 章ごとに例題や練習問題を豊富に配置。
② 数学を理解するために不可欠な、論理の基本（命題論理、述語論
理）や、推論と証明との関わり、質問応答システムへの応用なども取り
上げた。
③ 情報処理技術者試験にも配慮。参考書として使えるように、過去の
出題を検討し、内容に反映させている。
目 次
第１章 数学への序章
第２章 命題論理
第３章 述語論理
第４章 推論と証明
第５章 初等的集合論 (Ⅰ)
第６章 初等的集合論 (Ⅱ)
第７章 数列 (Ⅰ)
第８章 数列 (Ⅱ)
第９章 流れ図とアルゴリズム
第10章 指数と対数
第11章 データと計算量
第12章 述語論理と論理プログラム
補講 更に学習を進めるために
まとめの解答／問の略解／練習問題の略解
索引／参考文献
