May 03, 2024  
2020-2021 Undergraduate Catalog 
    
2020-2021 Undergraduate Catalog [ARCHIVED CATALOG]

CSCI 5002 - Logic for Mathematics and Computer Science


3 NS Same as MATH 5002 

P: CSCI 2540  or CSCI 3200  or MATE 3223  or MATH 2427  or MATH 2775  or MATH 3256  or PHIL 3580  or equivalent. Methods of mathematical logic important in mathematics and computer science applications.