18.510: Introduction to Mathematical Logic and Set Theory

Table of contents

  1. Course Info
  2. Realistic Prerequisites
  3. Subject Matter
  4. Course Staff
  5. Lectures
  6. Problem Sets
  7. Exams
  8. Resources
  9. Grading
  10. Advice to Future Students

Course Info

Class Size 28
Hours/Week 10.7 (19 responses)
Instructors Henry Cohn
Overall Rating 6.8/7.0

Realistic Prerequisites

  • Experience with proofs and abstraction recommended.

Subject Matter

  • Very theoretical, though Cohn connects class to applied topics.

Course Staff

  • Caring and engaging. Professor Cohn is approachable and friendly and helpful during office hours.


  • Lectures were helpful and fast-paced; some interesting results were proved in psets.
  • Lectures, psets, and textbook/lecture-notes were all helpful in understanding the class.

Problem Sets

  • Problem sets were fun, rewarding, and challenging.
  • Problem sets varied in difficulty.
  • Lectures sufficiently prepared students for psets.


  • The class had 2 open-book, 90 minute, take-home exams.
  • Students reported exams were appropriately challenging and well-timed. Psets were good preparation for exams.


  • Professor Cohn had well-organized, well-written, complete set of lecture notes. Students reported notes were sufficient for the class.
  • Class followed lecture notes closely.


  • Students reported fair and transparent grading and cutoffs.
  • A/B/C grade cutoff was 80/50/35.

Advice to Future Students

  1. “Make use of office hours, communicate with your instructor, and don’t be discouraged if you start off with a less-than-ideal grade. Finding pset partners also helps. “
  2. “Ask for help and accept Professor Cohn’s offers for help.”
  3. ”Look over notes before class.”