Skip to main content
Courses

CSCI-A 595: FUNDAMENTALS OF COMPUTING THEORY (3 credits)

About

Fundamentals of formal language theory, computation models and computability, the limits of computability and feasibility, and program verification.

Resources