CIS 160, Fall, 2009

Brief description:

The course provides an introduction to mathematical concepts and proof technniques used in computer science.
The treatment is mathematical, but the point of view is that of Computer Science.


Topics will include: ((*) means: if time permits)

  1. Mathematical Reasoning, Proof Principles and Logic
  2. Relations, Functions, Partial Functions
  3. Graphs
  4. Some Counting Problems; Binomial and Multinomial Coefficients
  5. Partial Orders and Equivalence Relations

Back to Gallier Homepage

published by:

Jean Gallier