******************
計算理論では，「機械的に計算可能である」ことを計算モデルに基づいて厳密に定義し、「どのような命題であればその真偽を（計算モデルによる計算可能性の意味で）機械的に判定できるか」あるいは「計算可能であれば、そのために必要な計算量はどの程度か」を数学的に、定性的・定量的に議論する枠組みを与えます。
本模擬授業では，計算理論の歴史的背景や実学的影響に触れながら，計算理論の数学的内容を概観します。

******************
包除原理は、集合の元を数えるときに出てくる考え方です。この模擬講義ではその整数論的な応用と、他分野における共同研究で似た考え方が現れた場面についてお話しします。