CMSC351: Notes

Note: These notes are works in progress and are likely to change during the Spring 2021 semester as I teach the course, get feedback, and fix errors. I am also adding more examples as I figure out what's helpful. Consequently it's always worth checking back and reloading.

CMSC351: Python Code

This is not necessary for the course, just for people who are interested. This is personal stuff people have expressed interest in.

CMSC250: Some Old and Perhaps Relevant Notes

  • Program Verification and Loop Invariants
  • CMSC250 Fall 2020 Canvas The modules link on the left will take you to videos, or you can look at the various Zoom videos.