UMass Boston

Students walk up steps to plaza through fall trees past Campus Center.
Logical Foundations of Computer Science

Course Overview

Date / Time Location Credits Minimium Tuition*
1/26/26 - 5/13/26
TuTh 12:30p.m. – 1:45p.m.		 Wheatley-Peters W01-0062 3 $2657 (guest students)
Date
1/26/26 - 5/13/26
Time
TuTh 12:30p.m. – 1:45p.m.
Location
Wheatley-Peters W01-0062
Credits
3
Min. Tuition*
$2657 (guest students)

Description

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.

Prerequisites

MATH 470 or equivalent and permission of instructor

This course is closed for registration.

Return to Course List

Course Details

Session

Regular Academic Session

Class Dates

1/26/2026 - 5/13/2026

Location

Wheatley-Peters W01-0062

Enrolled / Capacity

16 / 24

Status

Closed

Tuition*

* For course tuition and fees, please visit the Bursar's website.