Apr 02, 2020  
University Undergraduate Catalog 2018-2019 
University Undergraduate Catalog 2018-2019 [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 2019 Class Schedule