HomeAcademicsCourses → CS720

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.


Math470 or equivalent and permission of the instructor.

This page was last modified on January 26, 2014
© 2014 University of Massachusetts Boston

Template by OS Templates