COVID-19 Update
The health and safety of our community is of the utmost importance to us at UMass Boston. We are closely monitoring the evolving COVID-19 (Coronavirus) situation. Due to concerns, UMass Boston is currently operating online only. Many answers about the campus's response to the coronavirus can be found in our special coronavirus web section.

In addition please subscribe to our classmembers list for continued updates on courses and more. If you have any inquiries please contact us at

Click here for a message from the CS Chair, Marc Pomplun as of March 20, 2020.

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 the syntax and semantics of predicate logic, formal systems for predicate logic, many-sorted logic, and logic programming. Additional topics may include equational logic, algebraic specification, term rewriting, program verification, nonstandard logic, and databases. Students are expected to demonstrate an understanding of theoretical material and the ability to apply it.


Math470 or equivalent and permission of the instructor.

This page was last modified on September 21, 2018
© 2018 University of Massachusetts Boston

Template by OS Templates