KSAWorks
KSAWorks
Knowledge • Skills • Abilities
Program checklist · Minor

Logic and Computation

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)
27
Catalog edition
2026-2027
Checklist type
degree-program
Identifiers
IPEDS UNITID
211440
CourseShelf checklist
CK_211440_1190df36
CollegeTransfer.Net
Institution Transfer Profile
Source
CourseShelf publish 59

Requirements to complete

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

Curriculum

3 items
  1. 80-150
    Nature of Reason
    Not resolved to a course
    9
  2. 80-211
    Logic and Mathematical Inquiry
    Not resolved to a course
    or: 80-210 Logic and Proofs
    9
  3. 80-310
    Formal Logic
    Not resolved to a course
    or: 80-311 Undecidability and Incompleteness
    9
Source. Carnegie Mellon University, catalog 2026-2027 — https://coursecatalog.web.cmu.edu/schools-colleges/dietrichcollegeofhumanitiesandsocialsciences/departmentofphilosophy/logic-computation-minor/. Captured page pages/0129.html.gz. Assembled from the institution's published catalog as captured; every record names its captured page and source URL. Assembled, not asserted.