Sets, Logic and Maths for Computing

• Κύριος συγγραφέας: Makinson, David (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: London : Springer London, 2012.
• Έκδοση: 2nd ed. 2012.
• Σειρά: Undergraduate Topics in Computer Science,
• Θέματα: Computer science.; Mathematical logic.; Computer science > Mathematics.; Mathematical statistics.; Computer mathematics.; Computer Science.; Discrete Mathematics in Computer Science.; Mathematical Logic and Formal Languages.; Symbolic and Algebraic Manipulation.; Probability and Statistics in Computer Science.; Computational Mathematics and Numerical Analysis.

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...

Πίνακας περιεχομένων:

• 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.