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
- B.S.
- Credential class
- ceterms:BachelorDegree
- CIP
- 38.0102
- Credits (computed from items)
- 249
- Catalog edition
- 2026-2027
- Checklist type
- degree-program
Identifiers
- IPEDS UNITID
- 211440
- CourseShelf checklist
- CK_211440_35f669b1
- CollegeTransfer.Net
- Institution Transfer Profile
- Source
- CourseShelf publish 59
Requirements to complete
Every course or condition the catalog lists, in the catalog's order.
Core Courses
major core · 9 items
- 80-150Nature of ReasonNot resolved to a course9
- 80-211Logic and Mathematical InquiryNot resolved to a courseor: 80-210 Logic and Proofs9
- 36-200Reasoning with DataNot resolved to a course9
- 15-112Fundamentals of Programming and Computer ScienceNot resolved to a course12
- 21-127Concepts of MathematicsNot resolved to a course12
- 80-310Formal Logic*Students should complete before their junior year.Not resolved to a course9
- 80-311Undecidability and IncompletenessNot resolved to a course9
- 15-122Principles of Imperative ComputationNot resolved to a course12
- 15-150Principles of Functional ProgrammingNot resolved to a course12
Sample Curricula
17 items
- 80-315Logics for Knowledge and BeliefNot resolved to a course9
- 80-413Category TheoryNot resolved to a course9
- 15-312Foundations of Programming LanguagesNot resolved to a course12
- 15-317Constructive LogicNot resolved to a course9
- 80-249AI, Society, and HumanityNot resolved to a course9
- 80-315Logics for Knowledge and BeliefNot resolved to a course9
- 80-325Foundations of Causation and Machine LearningNot resolved to a course9
- 80-411Proof TheoryNot resolved to a course9
- 85-412Cognitive ModelingNot resolved to a course9
- 80-254The History of Analytic Philosophy and Its InfluenceNot resolved to a course9
- 80-312Mathematical RevolutionsNot resolved to a course9
- 80-411Proof TheoryNot resolved to a course9
- 80-413Category TheoryNot resolved to a course9
- 80-220Philosophy of ScienceNot resolved to a course9
- 80-221Philosophy of Social ScienceNot resolved to a course9
- 36-309Experimental Design for Behavioral & Social SciencesNot resolved to a course9
- 80-305Game TheoryNot resolved to a course9
Source. Carnegie Mellon University, catalog 2026-2027 — https://coursecatalog.web.cmu.edu/schools-colleges/dietrichcollegeofhumanitiesandsocialsciences/departmentofphilosophy/logic-computation-bs/. Captured page pages/0317.html.gz. Assembled from the institution's published catalog as captured; every record names its captured page and source URL. Assembled, not asserted.