University Catalog 2018-2019 
    
    Apr 10, 2021  
University Catalog 2018-2019 [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

MATH 2550 - Discrete Structures for Computer Science and Mathematics I

Symbolic logic is utilized to develop the skill of theorem proving using: mathematical induction, recurrence relations, computer program correctness, set theory, and introduction to networks/graphs. Prerequisite: Grade of “C” or better in PHIL 2040  and MATH 1070 /MATH 1070H   (3, Fa)



Add to Portfolio (opens a new window)