CS 1710 - FORMAL STRUCTURES COMPUTER SCI

Minimum Credits: 3
Maximum Credits: 3
This course will provide a detailed exposition of abstract mathematical structures relevant to computer science. Abstraction is emphasized as a powerful tool for solving problems, and the student is exposed to a variety of proof techniques. Applications of abstraction to approach practical problems in computer science are emphasized.
Academic Career: UGRD
Course Component: Lecture
Grade Component: LG/SU3 Elective Basis
Course Requirements: PREQ: CS 0047 and 0048 and 0457 and 0458

Click here for class schedule information.

Add to Portfolio.

Close Window