• RecordNumber
    1486
  • Author

    Gunderson, David S

  • Title

    Handbook of mathematical induction theory and applications

  • SubTitle
    theory and applications
  • Author Statement
    David S. Gunderson.
  • Publication
    CRC Press
  • Publication Year
    c2011
  • Collation
    xxv, 893 p.: ill. 27 cm
  • Series
    Discrete mathematics and its applications
  • Notes
    Includes bibliographical references and indexes , What is mathematical induction? - Foundations - Variants of finite mathematical induction - Inductive techniques applied to the infinite - Paradoxes and sophisms from induction - Empirical induction - How to prove by induction - The written MI proof - Identities - Inequalities - Number theory - Sequences - Sets - Logic and language - Graphs - Recursion and algorithms - Games and recreations - Relations and functions - Linear and abstract algebra - Geometry - Ramsey theory - Probability and statistics
  • Subject

    Proof theory. , Induction (Mathematics) , Logic, Symbolic and mathematical. , Probabilities.

  • ADDED ENTRIES
    , ,
  • LC Class
    QA
  • LC Number
    9.54
  • LC CutterNumber
    .G86
  • LC Date
    2011