|
Credits: 3
Course Description:
An introduction to the mathematical structures and concepts used in
computing: sets, mathematical induction, ordered sets, Boolean algebras,
predicate calculus, trees, relations and lattice theory. Formal and
informal theories and corresponding mathematical proofs are taught.
Pre-Requisites:CS110 and MATH 260; or permission of instructor.
Frequency: This course is offered as demand requires.
|