(4cr.) P: INFO-I101 and MATH-M118, MATH-A118, MATH-S118, or MATH-D116-
117. An introduction to methods of analytical, abstrat and critical
thinking, deductive reasoning, and logical and mathematical tools
used in information sciences. The topics include propositioanl and
predicate logic, natual deductive proof system, sets, functions, and
relations, proof methods in mathematics, mathematical indution, and
graph theory. Cross listed with COGS-Q250. Credit given for either
INFO-I201 or COGS-Q250.