A first-year course in discrete mathematics which requires no calculus or computer programming experience. Provides an introduction to constructing proofs (especially by induction), and an introduction to algorithmic problem-solving.

Read more at: http://www.freetechbooks.com/discrete-mathematics-with-algorithms-t705.html.