CSCI 211 - DISCRETE STRUCTURES AND FUNCTIONAL PROGRAMMING I
Elementary logic, proofs, sets, functions, relations, inductive proof, grammars, and relational algebras. Programming using a functional language is required in the implementation of concepts.