CS1502
FORMAL METHODS IN COMPUTER SCIENCE
FALLSPRINGSUMMER
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
