An introduction to the concepts and methods of moder symbolic logic. Emphasis is placed on problems of translating english expressions into logical symbols and on the development of skills in using the formal proof procedures of sentential and predicate logic.
4
UnitsOptional
Grading1, 2
PasstimeNone
Level LimitLetters and science
CollegeStay 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.