CS 340: Programming Paradigms and Patterns

This course focuses on teaching the functional programming paradigm and related techniques, including but not limited to the use of a strong, sophisticated type system, which is a natural extension of and boon to functional programming and reasoning. …

继续阅读 →

CS 330: Discrete Structures

This class has two major thrusts which complement each other nicely: increasing the mathematical sophistication (proofs and logic) and introducing the mathematical foundation of computer science. …

继续阅读 →