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 and (CS 0445 or COE 0445)] or (CS 0406 and 0455); (MIN GRADE ‘C’ or Transfer FOR ALL COURSES LISTED); PROG: Arts and Sciences or Sch Computing and Information

Click here for class schedule information.

Add to Portfolio(opens a new window)