本書は情報科学，特にその理論的問題に現れる数学的概念の解説と，それらの基本的結果を紹介。