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
CollegeTeresa 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.
Teresa is lovely and cares a lot about her students. She can be unclear on explaining in lectures (I think that's just bc she knows the material very well and so that's confusing for us who are learning) but the TA is very helpful. The textbook is helpful, and practicing on the HW + doing extra Qs WILL get you a good grade. Def recommend!