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.