May 19, 2024  
2014-2015 Undergraduate Catalog 
    
2014-2015 Undergraduate Catalog [ARCHIVED CATALOG]

MATH 5002 - Logic for Mathematics and Computer Science


3 S Same as CSCI 5002 .

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