Verkauf durch Sack Fachmedien

Makinson

Sets, Logic and Maths for Computing

Medium: Buch
ISBN: 978-1-4471-2499-3
Verlag: Springer London Ltd
Erscheinungstermin: 29.02.2012
Lieferfrist: bis zu 10 Tage

This easy-to-follow textbook introduces the mathematical language, knowledge and problem-solving skills that undergraduates need to study computing. The language is in part qualitative, with concepts such as set, relation, function and recursion/induction; but it is also partly quantitative, with principles of counting and finite probability. Entwined with both are the fundamental notions of logic and their use for representation and proof. 
Features: teaches finite math as a language for thinking, as much as knowledge and skills to be acquired; uses an intuitive approach with a focus on examples for all general concepts; brings out the interplay between the qualitative and the quantitative in all areas covered, particularly in the treatment of recursion and induction; balances carefully the abstract and concrete, principles and proofs, specific facts and general perspectives; includes highlight boxes that raise common queries and clear confusions; provides numerous exercises, with selected solutions.


Produkteigenschaften


  • Artikelnummer: 9781447124993
  • Medium: Buch
  • ISBN: 978-1-4471-2499-3
  • Verlag: Springer London Ltd
  • Erscheinungstermin: 29.02.2012
  • Sprache(n): Englisch
  • Auflage: 2. Auflage 2012
  • Serie: Undergraduate Topics in Computer Science
  • Produktform: Kartoniert, Book
  • Gewicht: 479 g
  • Seiten: 283
  • Format (B x H x T): 159 x 235 x 18 mm
  • Ausgabetyp: Kein, Unbekannt
  • Nachauflage: 978-3-030-42217-2
Autoren/Hrsg.

Autoren

Dr. David Makinson is a Visiting Professor in the Department of Philosophy, Logic and Scientific Method at the London School of Economics, UK.

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.