Module One Retrospective

First Proofgrammer Jam

Activities

• Tuesday:
  • No new material due since it is the last week of the module
  • Teams one, two, and three give retrospective presentations
  • No new slides needed for this retrospective presentation
  • Retrospective topics should be reserved in prior week
• Tuesday Laboratory:
  • Knowledge-checks rescheduled from Week Five
  • Students take the executable examination for module one
  • Examination’s focus is on the problems that are:
    • Computable
    • Tractable
    • Restricted versions of problems that are:
      • Undecidable
      • Intractable
• Thursday:
  • No new material due since it is the last week of the module
  • Teams four, five, and six give retrospective presentations
  • No new slides needed for this retrospective presentation
  • Retrospective topics should be reserved in prior week