Brian Weatherson

Brian’s Lecture Notes

Feel free to use any of the following for teaching purposes, but do not cite them in scholarly work. They should be considered notes not original research. Among other things, the citations are fairly spotty. In a couple of cases I've included the source code so you can edit the notes to correct mistakes and omissions, or to suit your teaching purposes.