There is an updated set of lectures from fall 2016 [0]. Although I just noted that it's taught by Joachim Breitner rather than Brent Yorgey. [0]: http://cis.up

There is an updated set of lectures from fall 2016 [0]. Although I just noted that it's taught by Joachim Breitner rather than Brent Yorgey. [0]: http://cis.upenn.edu/~cis194/fall16/ http://cis.upenn.edu/~cis194/fall16/