Sets, Logic and Maths for Computing

Mostrar otras versiones (1)

University studies in computing require the ability to pass from a concrete problem to an abstract representation, reason with the abstract structure, and return with useful solutions to the specific situation. The tools for developing these skills are in part qualitative - concepts such as set, rel...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Makinson, David (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: London : Springer London : Imprint: Springer, 2008.
Edición:1st ed. 2008.
Colección:Undergraduate Topics in Computer Science,
Temas:
Computer science.
Computer science > Mathematics.
Discrete mathematics.
Machine theory.
Mathematical statistics.
Mathematics > Data processing.
Theory of Computation.
Discrete Mathematics in Computer Science.
Formal Languages and Automata Theory.
Symbolic and Algebraic Manipulation.
Probability and Statistics in Computer Science.
Computational Mathematics and Numerical Analysis.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Collecting Things Together: Sets
  • Comparing Things: Relations
  • Associating One Item with Another: Functions
  • Recycling Outputs as Inputs: Induction and Recursion
  • Counting Things: Combinatorics
  • Weighing the Odds: Probability
  • Squirrel Math: Trees
  • Yea and Nay: Propositional Logic
  • Something about Everything: Quantificational Logic.

Ejemplares similares