Further application and development of the predicate calculus, including the calculi of identity and description. An introduction to the metalogical questions of completeness, consistency, and decidability.
4
UnitsOptional
Grading1
PasstimeNone
Level LimitLetters and science
CollegeYou will get an A in this class if you put in at least some effort. Prof is great, she makes learning logic easy and intuitive. Pace is very reasonable, despite it being a lot of content for a 10 week course. Do all the homework on time, put in effort into understanding how everything works, and put in some hours into studying for the final.
Absolutely agree with the last review. Teresa is intelligent, passionate about logic, and clearly cares about her students' understanding of the material (email her and/or ask clarifying questions!). Lecture can move fast and she has a tendency to ramble, but the readings and section (thank you Flavio) were greatly supplemental. Stay on your work!
There is no requirements for this class other than finishing the weekly HW and taking the final. However, if you want to succeed you need to put in time because the content is difficult. I liked her and thought she was a solid teacher, but the final was more difficult than she led us to believe it would be.
Teresa is amazing. She is one of the most intelligent humans I have ever met. Her understanding of logic is incredible; you will be in awe listening to her lectures and watching her work through problems. Logic can be complex, so it is important to attend class. She was always willing to help during office hours. Her classes are amazing!
Stay up to date with the material - class moves fast. Very accessible Prof and TA ... but be ready to put in the time. Teresa knows her stuff! You will be a logician by the end of the course.
Just to clarify that Prof. Robertson did not hold the section during the strike. TA once substitute her lecture when she was on her trip, and in return, she held the one TA section. She loves her graduate students and supports them in demanding their rights.