本書では、読者が様々なプログラミング言語に関する形式的な議論のための手法を編み出し、形式化し、その正しさを証明できるようになるための数学的な背景知識を解説する。