Nov 22, 2024  
2022-2023 Undergraduate Course Catalog 
    
  Catalog Home
  Letter from the Chancellor
  The University of North Carolina System
  North Carolina Central University
  Administration and Faculty
  Undergraduate Admissions
  Office of Transfer Services
  Scholarships and Student Aid (SSA)
  Finances
  Division of Student Affairs
  Academic Programs and Institutes
  Standard and Official Class Times
  The University College
  National Student Exchange Program
  Office of Extended Studies
  General Education Curriculum
  Credit Hour Policy
  Undergraduate Academic Regulations
  Transfer of Undergraduate Credit Regulation
  Standard and Official Class Times
  Processes to Order an Official NCCU Transcript
  College of Arts, Social Sciences, and Humanities
  College of Health and Science
  School of Business
  School of Education
  Course Descriptions
  APPENDIX
HELP
2022-2023 Undergraduate Course Catalog [ARCHIVED CATALOG]

COMP 2200 - Logic for the Mathematical Sciences (3)

Prerequisites: C or better in MATH 1100  or MATH 1410 . An introduction to modern symbolic logic emphasizing topics relevant to computer scientists and mathematicians. Topics in propositional calculus and predicate calculus will be augmented by topics chosen from set theory, recursive functions, and computational complexity. Topics in propositional calculus will be chosen from: completeness, circuits and Boolean algebra, and the satisfiability problem. Topics in predicate calculus will be chosen from: deduction systems, compactness, incompleteness, and finite models.


Click here for the Fall 2024 Class Schedule