CS1502
FORMAL METHODS IN COMPUTER SCIENCE
Fall 2026 ✓Spring 2027 ✓Summer 2027 ✓
Typically offered: Fall, Spring, Summer. From Pitt's class search as of Oct 25, 2026. Confirm in PeopleSoft when enrolling.
Course DescriptionThe course is an introduction to the theory of information and computation as a physical phenomenon. The course covers standard formalizations of computational concepts and proofs of noteworthy implications of these formalizations. Typical topics include: finite automata, computability, reducibility, and complexity.
Credits:3
View this course on Pitt's WebsiteTestimonials
Testimonial List Placeholder
