Logical Foundations in Computer Science (3 credits)
The course treats the logical foundations of computer science in a mathematically rigorous way but with emphasis on the applications of logic in computer science. Topics include: syntax and semantics of predicate logic, formal systems for predicate logic, many-sorted logic and logic programming. Additional topics from among: equational logic, algebraic specification, term rewriting, program verification, nonstandard logic and databases. Students will be expected to show that they understand the theoretical material they have been taught and can apply it.Pre-requisites
Math470 or equivalent and permission of the instructor.