Mar 28, 2024  
2022-2023 Graduate Catalog 
    
2022-2023 Graduate Catalog [ARCHIVED CATALOG]

CSCI 5002 - Logic for Mathematics and Computer Science


3 Same as MATH 5002  

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