KSAWorks
KSAWorks
Knowledge • Skills • Abilities
Program checklist · Minor

Discrete Mathematics and Logic

Carnegie Mellon University · Pittsburgh, PA

A checklist is the list of requirements to complete this program and receive the award, as the college publishes it in its catalog. It is the same for everyone. It does not say what you have completed; that comes from applying your own record.

Program
Award
Minor
Credits (computed from items)
174
Catalog edition
2026-2027
Checklist type
degree-program
Identifiers
IPEDS UNITID
211440
CourseShelf checklist
CK_211440_b10c712e
CollegeTransfer.Net
Institution Transfer Profile
Source
CourseShelf publish 59

Requirements to complete

Every course or condition the catalog lists, in the catalog's order.

Required Courses

2 items
  1. 21-228
    Discrete Mathematics 1
    Not resolved to a course
    or: 21-301 Combinatorics
    9
  2. 21-300
    Basic Logic
    Not resolved to a course
    9

Mathematical Sciences Electives (36 units)

electives · 16 items
  1. 21-321
    Interactive Theorem Proving
    Not resolved to a course
    9
  2. 21-329
    Set Theory
    Not resolved to a course
    9
  3. 21-400
    Intermediate Logic
    Not resolved to a course
    9
  4. 21-602
    Introduction to Set Theory I
    Not resolved to a course
    12
  5. 21-603
    Model Theory I
    Not resolved to a course
    12
  6. 80-305
    Game Theory
    Not resolved to a course
    or: 80-405 Game Theory
    9
  7. 80-311
    Undecidability and Incompleteness
    Not resolved to a course
    9
  8. 80-411
    Proof Theory
    Not resolved to a course
    9
  9. 80-413
    Category Theory
    Not resolved to a course
    9
  10. 21-341
    Linear Algebra
    Not resolved to a course
    9
  11. 21-373
    Algebraic Structures
    Not resolved to a course
    9
  12. 21-374
    Field Theory
    Not resolved to a course
    9
  13. 21-441
    Number Theory
    Not resolved to a course
    9
  14. 21-484
    Graph Theory
    Not resolved to a course
    9
  15. 21-610
    Algebra I
    Not resolved to a course
    12
  16. 21-701
    Discrete Mathematics
    Not resolved to a course
    12
Source. Carnegie Mellon University, catalog 2026-2027 — https://coursecatalog.web.cmu.edu/schools-colleges/melloncollegeofscience/departmentofmathematicalsciences/discrete-mathematics-logic-minor/. Captured page pages/0148.html.gz. Assembled from the institution's published catalog as captured; every record names its captured page and source URL. Assembled, not asserted.