補講日：8月19日（月） 場所：第一講義室 内容： 10:30-12:00 形式的自然数論Ｑ（第11回） 授業スライドこちらから 授業要約こちらから 13:30-15:00 2+2=4（第12回） 授業スライドこちらから 授業要約こちらから 15:30-17:00 原始再帰関数の表現可能性（第13…

夏期補講の時期です。今回は、三回分（第11回、12回、13回）の授業を行います。