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
CollegeThere 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.
Great professor and great experience. She is very responsible to teaching. Though her ppt might not be perfect, she is such an accessible and caring professor. She will patiently answer all of the questions you asked after the class. When TAs are striking, she held the sections on her own. Grading policy is reasonable. Easy A if you put efforts.
This professor is really helpful and dedicated to helping the students learn, I thought I didn't get it but I understood after office hours and asking the TA too many questions.