4cr.
P: INFO I110 and MATH M118, MATH A118, MATH S118, or MATH D116-D117.
An introduction to methods of analytical, abstract and critical
thinking, deductive reasoning, and logical and mathematical tools
used in information sciences. The topics include propsitional and
predicate logic, natural deduction proof system, sets, functions and
realtions, proof methods in mathematics, mathematical induction, and
graph theory. Cross-listed with COGS Q250. Creidt given for either
INFO I201 or COGS Q250.