CIS 160, Fall, 2010

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.

Syllabus:

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