Discrete Mathematics Using a Computer [E-Book] / by John O’Donnell, Cordelia Hall, Rex Page.
O’Donnell, John, (author)
Hall, Cordelia, (author) / Page, Rex, (author)
2.
London : Springer, 2006
XIX, 441 p. 68 illus. online resource.
englisch
9781846285981
10.1007/1-84628-598-4
Full Text
Table of Contents:
  • Programming and Reasoning with Equations
  • to Haskell
  • Equational Reasoning
  • Recursion
  • Trees
  • Logic
  • Propositional Logic
  • Predicate Logic
  • Set Theory
  • Set Theory
  • Inductively Defined Sets
  • Relations
  • Functions
  • Applications
  • The AVL Tree Miracle
  • Discrete Mathematics in Circuit Design.