1710  Formal Structures Computer Science

03.0 cr.

Provides 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.