skip to content
Handbook of mathematical induction : theory and applications Preview this item
ClosePreview this item
Checking...

Handbook of mathematical induction : theory and applications

Author: David S Gunderson
Publisher: Boca Raton, FL : CRC Press, ©2011.
Series: CRC Press series on discrete mathematics and its applications.
Edition/Format:   Print book : EnglishView all editions and formats
Database:WorldCat
Summary:
"Handbook of Mathematical Induction: Theory and Applications shows how to find and write proofs via mathematical induction. This comprehensive book covers the theory, the structure of the written proof, all standard exercises, and hundreds of application examples from nearly every area of mathematics. In the first part of the book, the author discusses different inductive techniques, including well-ordered sets,  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Document Type: Book
All Authors / Contributors: David S Gunderson
ISBN: 9781420093643 1420093649
OCLC Number: 652443768
Description: xxv, 893 pages : illustrations ; 27 cm.
Contents: 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.
Series Title: CRC Press series on discrete mathematics and its applications.
Responsibility: David S. Gunderson.
More information:

Abstract:

Enables readers to prove hundreds of mathematical results. This title presents the formal development of natural numbers from axioms, which leads into set theory and transfinite induction. It covers  Read more...

Reviews

Editorial reviews

Publisher Synopsis

... a treasure trove for anyone who is ... interested in mathematics as a hobby, or as the target of proof automation or assistance. It could also be the basis for a crosscutting course in Read more...

 
User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

Related Subjects:(7)

User lists with this item (2)

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/652443768> # Handbook of mathematical induction : theory and applications
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "652443768" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/792179265#Place/boca_raton_fl> ; # Boca Raton, FL
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/flu> ;
    schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
    schema:about <http://experiment.worldcat.org/entity/work/data/792179265#Topic/bevisteori> ; # Bevisteori
    schema:about <http://experiment.worldcat.org/entity/work/data/792179265#Topic/sannolikhet> ; # Sannolikhet
    schema:about <http://dewey.info/class/511.36/e22/> ;
    schema:about <http://id.worldcat.org/fast/970742> ; # Induction (Mathematics)
    schema:about <http://experiment.worldcat.org/entity/work/data/792179265#Topic/logik> ; # Logik
    schema:about <http://id.worldcat.org/fast/1078942> ; # Proof theory
    schema:about <http://id.worldcat.org/fast/1077737> ; # Probabilities
    schema:bookFormat bgn:PrintBook ;
    schema:copyrightYear "2011" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/792179265#Person/gunderson_david_s> ; # David S. Gunderson
    schema:datePublished "2011" ;
    schema:description ""Handbook of Mathematical Induction: Theory and Applications shows how to find and write proofs via mathematical induction. This comprehensive book covers the theory, the structure of the written proof, all standard exercises, and hundreds of application examples from nearly every area of mathematics. In the first part of the book, the author discusses different inductive techniques, including well-ordered sets, basic mathematical induction, strong induction, double induction, infinite descent, downward induction, and several variants. He then introduces ordinals and cardinals, transfinite induction, the axiom of choice, Zorn's lemma, empirical induction, and fallacies and induction. He also explains how to write inductive proofs. The next part contains more than 750 exercises that highlight the levels of difficulty of an inductive proof, the variety of inductive techniques available, and the scope of results provable by mathematical induction. Each self-contained chapter in this section includes the necessary definitions, theory, and notation and covers a range of theorems and problems, from fundamental to very specialized. The final part presents either solutions or hints to the exercises. Slightly longer than what is found in most texts, these solutions provide complete details for every step of the problem-solving process."--Publisher's description."@en ;
    schema:description "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."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/792179265> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/792179265#Series/discrete_mathematics_and_its_applications> ; # Discrete mathematics and its applications
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/792179265#Series/crc_press_series_on_discrete_mathematics_and_its_applications> ; # CRC Press series on discrete mathematics and its applications.
    schema:name "Handbook of mathematical induction : theory and applications"@en ;
    schema:productID "652443768" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/652443768#PublicationEvent/boca_raton_fl_crc_press_2011> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/792179265#Agent/crc_press> ; # CRC Press
    schema:workExample <http://worldcat.org/isbn/9781420093643> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/652443768> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/792179265#Person/gunderson_david_s> # David S. Gunderson
    a schema:Person ;
    schema:familyName "Gunderson" ;
    schema:givenName "David S." ;
    schema:name "David S. Gunderson" ;
    .

<http://experiment.worldcat.org/entity/work/data/792179265#Place/boca_raton_fl> # Boca Raton, FL
    a schema:Place ;
    schema:name "Boca Raton, FL" ;
    .

<http://experiment.worldcat.org/entity/work/data/792179265#Series/crc_press_series_on_discrete_mathematics_and_its_applications> # CRC Press series on discrete mathematics and its applications.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/652443768> ; # Handbook of mathematical induction : theory and applications
    schema:name "CRC Press series on discrete mathematics and its applications." ;
    .

<http://experiment.worldcat.org/entity/work/data/792179265#Series/discrete_mathematics_and_its_applications> # Discrete mathematics and its applications
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/652443768> ; # Handbook of mathematical induction : theory and applications
    schema:name "Discrete mathematics and its applications" ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
    schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://id.worldcat.org/fast/1077737> # Probabilities
    a schema:Intangible ;
    schema:name "Probabilities"@en ;
    .

<http://id.worldcat.org/fast/1078942> # Proof theory
    a schema:Intangible ;
    schema:name "Proof theory"@en ;
    .

<http://id.worldcat.org/fast/970742> # Induction (Mathematics)
    a schema:Intangible ;
    schema:name "Induction (Mathematics)"@en ;
    .

<http://worldcat.org/isbn/9781420093643>
    a schema:ProductModel ;
    schema:isbn "1420093649" ;
    schema:isbn "9781420093643" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.