Logic, Second Course

Lecture, four hours; discussion, one hour. Enforced requisite: course 31 (preferably in preceding term). Symbolic logic: extension of systematic development of course 31. Quantifiers, identity, definite descriptions. P/NP or letter grading.

Review Summary

Clarity
10.0 / 10
Organization
10.0 / 10
Time
5-10 hrs/week
Overall
10.0 / 10

Reviews

    Quarter Taken: Winter 2023 In-Person
    Grade: A+

    The lectures are very organized and the slides are published. The professor tells you what will be on the exams in advance.

Course

Instructor
Sean Walsh
Previously taught
23W 20S

Grading Information

  • No group projects

  • Attendance not required

  • 1 midterm

  • Finals week final

  • 100% recommend the textbook

Previous Grades

Grade distributions not available.