Mar 28, 2024  
2013-2014 Graduate Catalog 
    
2013-2014 Graduate Catalog [ARCHIVED CATALOG]

CSCI 5002 - Logic for Mathematics and Computer Science


3 Same as MATH 5002 .

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