Publication year: 2008
ISBN: 978-1-84628-845-6
Internet Resource: Please Login to download book
The tools for developing these skills are in part qualitative – concepts such as set, relation, function, and structures such as trees and well-founded orders. They are also in part quantitative – notably elementary combinatorics and finite probability. Recurring in all of these are instruments of proof, both purely logical ones (such as proof by contradiction) and mathematical (the various forms of induction).
Subject: 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, Computer, Computing, Discrete Mathematics, Information Science, combinatorics, logic, sets