Equipping Proofgrammers
Ensure Success in Theorectical Machines
Activities
Monday: - No class due to the fact that the semester has not started yet
Tuesday: - Introductions and course overview for theoretical machines
- As outlined in the syllabus, teams give two types of presentations:
- Proofgrammer presentations during first three weeks of module
- Retrospective presentations during the last week of a module
Tuesday Laboratory: - Installation of required software tools for proofgramming
- Release the schedule for next week’s team-based presentations
- Teams meet to confirm contact information and plan their presentations
Thursday: - Continued introduction to topics in theoretical machines
- Teams work on their presentations due next week on Monday
- Confirm the creation of the following deliverables:
- All content available in the designated directory of the course website