May 22, 2024  
2022-2023 Undergraduate Catalog 
    
2022-2023 Undergraduate Catalog [ARCHIVED CATALOG]

MATH 5002 - Logic for Mathematics and Computer Science


3 F Same as CSCI 5002  

P: CSCI 2405  or MATH 2300  or MATH 3256  or PHIL 3580  or equivalent. Methods of mathematical logic that have important applications in mathematics and computer science.