Apr 20, 2024  
2016-2017 Undergraduate Catalog 
    
2016-2017 Undergraduate Catalog [ARCHIVED CATALOG]

CSCI 5002 - Logic for Mathematics and Computer Science


3 Same as MATH 5002 .

P: 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.