| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910795190503321 |
|
|
Autore |
Gunderson David S. |
|
|
Titolo |
Handbook of Mathematical Induction : Theory and Applications |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Boca Raton, FL : , : CRC Press, , 2014 |
|
|
|
|
|
|
|
ISBN |
|
0-429-14793-7 |
1-4200-9365-7 |
|
|
|
|
|
|
|
|
Edizione |
[First edition.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (xxv, 893 pages) : illustrations |
|
|
|
|
|
|
Collana |
|
Discrete mathematics and its applications |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Proof theory |
Induction (Mathematics) |
Logic, Symbolic and mathematical |
Probabilities |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and indexes. |
|
|
|
|
|
|
Nota di contenuto |
|
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. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
"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, Zorns 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."--Provided by publisher. |
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910785063603321 |
|
|
Autore |
Ty Eleanor Rose <1958-> |
|
|
Titolo |
Unfastened [[electronic resource] ] : globality and Asian North American narratives / / Eleanor Ty |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Minneapolis, : University of Minnesota Press, c2010 |
|
|
|
|
|
|
|
ISBN |
|
1-4529-4636-1 |
0-8166-7355-1 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (216 p.) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
American literature - Asian American authors - History and criticism |
Canadian literature - Asian authors - History and criticism |
Asian Americans - Intellectual life |
Asians - Canada - Intellectual life |
Asian Americans in the motion picture industry |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
The 1.5 generation : Filipino youth, transmigrancy, and masculinity -- Recuperating wretched lives : Asian sex workers and the underside of nation building -- "All of us are the same" : negotiating loss, witnessing disability -- Feminist subversions : comedy and the carnivalesque -- Shape-shifters and disciplined bodies : feminist tactics, science fiction, and fantasy -- Scripting fertility ; desire and regeneration in Japanese North American literature. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Unfastened examines literary works and films by Asian Americans and |
|
|
|
|
|
|
|
|
|
|
|
|
|
Asian Canadians that respond critically to globality-the condition in which traditional national, cultural, geographical, and economic boundaries have been-supposedly-surmounted. In this wide-ranging exploration, Eleanor Ty reveals how novelists such as Brian Ascalon Roley, Han Ong, Lydia Kwa, and Nora Okja Keller interrogate the theoretical freedom that globalization promises in their depiction of the underworld of crime and prostitution. She looks at the social critiques created by playwrights Betty Quan and Sunil Kuruvilla, |
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910146536703321 |
|
|
Titolo |
12th International Symposium on Temporal Representation and Reasoning (Time 2005) : proceedings : 23-25 June, 2005, Burlington, Vermont |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
[Place of publication not identified], : IEEE Computer Society Press, 2005 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Artificial intelligence |
Reasoning |
Time |
Temporal databases |
Computer Science |
Engineering & Applied Sciences |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
| |