UMass Boston

View of University Hall and Campus Center from the water.
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*

$2657 (guest students)

* The tuition estimate is based on minimum, single-course cost to a new student who is a Massachusetts resident and not enrolled in a multi-course program. State residency, online/in person modality, and matriculation to a degree program may affect cost.

Tuition Details