Discrete Mathematics: Proof Techniques and Mathematical Structures
This book offers an introduction to mathematical proofs and to the fundamentals of modern mathematics. No real prerequisites are needed other than a suitable level of mathematical maturity. The text is divided into two parts, the first of which constitutes the core of a one-semester course covering proofs, predicate calculus, set theory, elementary number theory, relations, and functions, and the second of which applies this material to a more advanced study of selected topics in pure mathematics, applied mathematics, and computer science, specifically cardinality, combinatorics, finite-state automata, and graphs. In both parts, deeper and more interesting material is treated in optional sections, and the text has been kept flexible by allowing many different possible courses or emphases based upon different paths through the volume.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Part В Methods of Proof
Elementary Number Theory
Elements of Combinatorics
Languages and Finite State Automata
Suggestions for Further Reading
Other editions - View all
actually Algorithm alphabet arbitrary Axiom of Choice basic basis step bi-implications bijection binary operation binary relation called Cartesian product codomain collection composition compute concatenation conclude consider corresponding countable cycle define denote digraph discussion disjoint divisor equation equivalence relation EXERCISES fact finite sets finite state automaton function Furthermore given graph G identity implication inclusion induction hypothesis induction step inductive definition injection instance integer inverse language lattice least element Lemma linear ordering logically equivalent mathematics monoid natural numbers non-empty notation ordered pair P V Q parentheses partial ordering partition Pn+i polynomials poset predicate calculus predicate form prime proof propositional form Prove your assertions reader real numbers recursion reflexive regular expression result sequence set theory simply subset surjective symbol symmetric THEOREM Suppose transitive truth table truth values vertex vertices VxP(x words тг