|
  
|
|
|
|
|
|
| CSCI 211 -- DISCRETE STRUCTURES AND FUNCTIONAL PROGRAMMING I (4) Prereq: CS 141; Math 115 or 118. Elementary logic (truth tables, propositional calculus), proofs, sets (tuples, relations, functions), induction, inductively defined sets (lists, strings, trees, graphs). Programming using a functional language is required in implementation of concepts. Laboratory. |
|
|