Mar 28, 2024  
2020-2021 Graduate Catalog 
    
2020-2021 Graduate Catalog [ARCHIVED CATALOG]

MATH 5002 - Logic for Mathematics and Computer Science


3 S Same as CSCI 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 that have important applications in mathematics and computer science.