Discrete Mathematics Using a Computer

Discrete Mathematics Using a Computer offers a new, "hands-on" approach to teaching Discrete Mathematics. Using software that is freely available on Mac, PC and Unix platforms, the functional language Haskell allows students to experiment with mathematical notations and concepts -- a pract...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores principales: O'Donnell, John (Autor), Hall, Cordelia (Autor), Page, Rex (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: London : Springer London : Imprint: Springer, 2006.
Edición:2nd ed. 2006.
Temas:
Computer science-Mathematics.
Discrete mathematics.
Machine theory.
Algorithms.
Discrete Mathematics in Computer Science.
Formal Languages and Automata Theory.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares