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