Javascript is currently not supported, or is disabled by this browser. Please enable Javascript for full functionality.

Skip to Main Content
University of Pittsburgh    
2020-2021 Undergraduate Catalog 
    
 
  May 09, 2021
 
2020-2021 Undergraduate Catalog
Add to Portfolio(opens a new window)

CS 1502 - FORMAL METHODS IN COMPUTER SCIENCE


Minimum Credits: 3
Maximum Credits: 3
The 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.
Academic Career: Undergraduate
Course Component: Lecture
Grade Component: LG/SNC Elective Basis
Course Requirements: PREQ: (CS 0441 or CS 0406) and (CS 0445 or CS 0455 or COE 0445) ; (MIN GRADE C’ or Transfer FOR ALL COURSES LISTED)


Click here for class schedule information.



Add to Portfolio(opens a new window)
Catalog Navigation