I wasn't going to put this online until it was done and cleaned up, but given the situation, maybe this can be of help. I just developed and tried out a course on formal logic for a 13-week semester. It has: a free online textbook: forall x: Calgarybeamer slides for lectures (or screencasts)problem sets, which … Continue reading Need a logic course, fast?

Well, all my logic lectures moved online as of last week. It's been a bit of a scramble, as I'm sure it's been for you as well. I needed to rapidly produce videos of lectures (on logic in my case) I can give with students to watch. I thought I'd quickly share what I'm doing … Continue reading Chalk-and-talk online: whiteboard screencasting (on Linux)