夏期補講

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

授業内容

• 補講日：8月19日（月）
• 場所：第9講義室
• 内容：
  • 10:30-12:00 （第11回）最小述語論理の証明問題・演習
  • 13:30-15:00 （第12回）形式的自然数論Ｑ
    • 授業スライドこちらから
    • 授業要約こちらから

• • 15:30-17:00 （第13回）2+2=4
    • 授業スライドこちらから
    • 授業要約こちらから