CIS 626

Theoretical Foundations of Computer Science

Syracuse University · UGRD · Fall 2026

1 section

Catalog description

Computability and decidability, first-order logic, lambda calculus systems, program verification, semantics of programming languages, theory of language.

Sections

Current meeting, instructor, credit, and enrollment details

Updated 6 hours ago

001

Availability not recently verified

Class #syracuse-CIS626Fall 2026UGRD3 credits

Days & times: No scheduled meeting time
Meeting dates: —
Location: —
Instructor: Staff

Class numbers and section codes come from the registrar.

Spot missing or incorrect course data?