コンピュータのための数学 / 論理的アプローチ

情報科学を学ぶための数学の基本をコンピュータ科学者の立場から書いた。「論理」の重要さを強調し、いろいろな分野での応用に備える。