Nov 24, 2024  
2023-2024 Graduate Catalog 
    
2023-2024 Graduate Catalog [ARCHIVED CATALOG]

CPSC 510 - Logical Foundations of Computing


This course will introduce students to logic as a formal language for writing specifications. Special attention will be paid to algorithms that process such specifications. Applications to knowledge representation, data base querying, semantic web, program analysis, formal methods, verification, automated reasoning and artificial intelligence will guide the selection of topics. Letter grade. (Offered as needed.) 3 credits