授業内容

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