# Discrete mathematics with applications (Record no. 43268)

[ view plain ]

000 -LEADER | |
---|---|

fixed length control field | 03582cam a22001817a 4500 |

020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |

ISBN | 0495826162 |

020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |

ISBN | 9780495826163 |

082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER | |

Classification number | 512 |

Item number | EPP |

100 1# - MAIN ENTRY--AUTHOR NAME | |

Personal name | Epp, Susanna S. |

245 10 - TITLE STATEMENT | |

Title | Discrete mathematics with applications |

250 ## - EDITION STATEMENT | |

Edition statement | 4th ed. |

260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |

Place of publication | [Australia]: |

Name of publisher | Brooks/Cole, Cengage Learning, |

Year of publication | c2011. |

300 ## - PHYSICAL DESCRIPTION | |

Number of Pages | 820 p. |

505 ## - FORMATTED CONTENTS NOTE | |

Formatted contents note | 1. SPEAKING MATHEMATICALLY.Variables. The Language of Sets. The Language of Relations and Functions.2. THE LOGIC OF COMPOUND STATEMENTS.Logical Form and Logical Equivalence. Conditional Statements. Valid and Invalid Arguments. Application: Digital Logic Circuits. Application: Number Systems and Circuits for Addition. 3. THE LOGIC OF QUANTIFIED STATEMENTS. Predicates and Quantified Statements I. Predicates and Quantified Statements II. Statements with Multiple Quantifiers. Arguments with Quantified Statements. 4. ELEMENTARY NUMBER THEORY AND METHODS OF PROOF. Direct Proof and Counterexample I: Introduction. Direct Proof and Counterexample II: Rational Numbers. Direct Proof and Counterexample III: Divisibility. Direct Proof and Counterexample IV: Division into Cases and the Quotient-Remainder Theorem. Direct Proof and Counterexample V: Floor and Ceiling. Indirect Argument: Contradiction and Contraposition. Indirect Argument: Two Classical Theorems. Application: Algorithms. 5. SEQUENCES, MATHEMATICAL INDUCTION, AND RECURSION. Sequences. Mathematical Induction I. Mathematical Induction II. Strong Mathematical Induction and the Well-Ordering Principle. Application: Correctness of Algorithms. Defining Sequences Recursively. Solving Recurrence Relations by Iteration. Second-Order Linear Homogeneous Recurrence Relations with Constant Coefficients. General Recursive Definitions and Structural Induction. 6. SET THEORY. Set Theory: Definitions and the Element Method of Proof. Properties of Sets. Disproofs and Algebraic Proofs. Boolean Algebras, Russell's Paradox, and the Halting Problem.7. FUNCTIONS.Functions Defined on General Sets. One-to-one, Onto, Inverse Functions. Composition of Functions. Cardinalitywith Applications to Computability. 8. RELATIONS. Relations on Sets. Reflexivity, Symmetry, and Transitivity. Equivalence Relations. Modular Arithmetic with Applications to Cryptography. Partial Order Relations.9. COUNTING AND PROBABILITY. Introduction. Possibility Trees and the Multiplication Rule. Counting Elements of Disjoint Sets: The Addition Rule. The Pigeonhole Principle. Counting Subsets of a Set: Combinations. r-Combinations with Repetition Allowed. Pascal's Formula and the Binomial Theorem. Probability Axioms and Expected Value. Conditional Probability, Bayes' Formula, and Independent Events. 10. GRAPHS AND TREES. Graphs: Definitions and Basic Properties. Trails, Paths, and Circuits. Matrix Representations of Graphs. Isomorphisms of Graphs. Trees. Rooted Trees. Spanning Trees and a Shortest Path Algorithm.11. ANALYZING ALGORITHM EFFICIENCY.Real-Valued Functions of a Real Variable and Their Graphs. Application: Analysis of Algorithm Efficiency I. Exponential and Logarithmic Functions: Graphs and Orders. Application: Efficiency of Algorithms II. 12. REGULAR EXPRESSIONS AND FINITE STATE AUTOMATA.Formal Languages and Regular Expressions. Finite-State Automata. Simplifying Finite-State Automata. |

520 ## - SUMMARY, ETC. | |

Summary, etc | <br/>Presents an introduction to discrete mathematics. This title explains complex, abstract concepts. It also presents the major themes of discrete mathematics, and the reasoning that underlies mathematical thought. |

650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |

Topical Term | Mathematics. |

942 ## - ADDED ENTRY ELEMENTS (KOHA) | |

Koha item type | Reference Books |

Collection code | Home library | Current library | Shelving location | Date acquired | Source of acquisition | Cost, normal purchase price | Full call number | Accession Number | Koha item type |
---|---|---|---|---|---|---|---|---|---|

Reference | Main Library | Main Library | Reference | 13/11/2014 | Purchased | 13230.00 | 512 EPP | 014089 | Reference Books |