Cargando…

Sets, Logic and Maths for Computing

This easy-to-follow textbook introduces the mathematical language, knowledge and problem-solving skills that undergraduate students need to enter the world of computer and information sciences. The language is in part qualitative, with concepts such as set, relation, function and recursion/induction...

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, 2012.
Edición:2nd ed. 2012.
Colección:Undergraduate Topics in Computer Science,
Temas:
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
  • Just Supposing: Proof and Consequence.