What are the major strengths and weaknesses of the instructor?
1. This was one of the best-organized classes I've taken in CTI. In particular, the lecture notes were extremely well-structured (despite a few typos), and the presentation of the material was clear and rigorous.Moreover, I found the instructor's "meta-comments" - that is to say, comments ABOUT the process of constructing formalisms, doing proofs, etc. - to be very illuminating. My ability to translate between intuitive "pictures" and mathematical formalisms has greatly improved as a result of having taken this class.Finally, the difficulty level was just right. The fact that every single term used in the course was defined from the ground up (right down to basic set-theoretic notions) meant the entire course was, more or less, self-contained, putting everyone with basic mathematical knowledge on a level playing field.Overall, this was an outstanding course. I look forward to taking the semantics class in the Spring term.