離散数学と論理 II(証明と数学的帰納法)

直接証明・対偶による証明・背理法、そして弱い/強い/構造的な数学的帰納法やループ不変条件など、「なぜ正しいと言えるのか」を厳密に示す証明の技法を学びます。