Sets, Logic and Maths for Computing

• Κύριος συγγραφέας: Makinson, David (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: London : Springer London : Imprint: Springer, 2008.
• Σειρά: Undergraduate Topics in Computer Science,
• Θέματα: Computer science.; Computers.; Mathematical logic.; Computer science > Mathematics.; Mathematical statistics.; Computer mathematics.; Computer Science.; Theory of Computation.; 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.

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