Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Charming proofs [[electronic resource] ] : a journey into elegant mathematics / / Claudi Alsina, Roger B. Nelsen
| Charming proofs [[electronic resource] ] : a journey into elegant mathematics / / Claudi Alsina, Roger B. Nelsen |
| Autore | Alsina Claudi |
| Pubbl/distr/stampa | Washington, D.C., : Mathematical Association of America, c2010 |
| Descrizione fisica | 1 online resource (320 p.) |
| Disciplina | 511.3/6 |
| Altri autori (Persone) | NelsenRoger B |
| Collana | Dolciani mathematical expositions |
| Soggetto topico | Proof theory |
| Soggetto genere / forma | Electronic books. |
| ISBN | 1-61444-201-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A garden of integers -- Distinguished numbers -- Points in the plane -- The polygonal playground -- A treasury of triangle theorems -- The enchantment of the equilateral triangle -- The quadrilaterals' corner -- Squares everywhere -- Curves ahead -- Adventures in tiling and coloring -- Geometry in three dimensions -- Additional theorems, problems, and proofs. |
| Record Nr. | UNINA-9910461942903321 |
Alsina Claudi
|
||
| Washington, D.C., : Mathematical Association of America, c2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Charming proofs : a journey into elegant mathematics / / Claudi Alsina, Roger B. Nelsen [[electronic resource]]
| Charming proofs : a journey into elegant mathematics / / Claudi Alsina, Roger B. Nelsen [[electronic resource]] |
| Autore | Alsina Claudi |
| Pubbl/distr/stampa | Washington : , : Mathematical Association of America, , 2010 |
| Descrizione fisica | 1 online resource (xxiv, 295 pages) : digital, PDF file(s) |
| Disciplina | 511.3/6 |
| Collana |
Dolciani Mathematical Expositions
Dolciani mathematical expositions |
| Soggetto topico | Proof theory |
| ISBN | 1-61444-201-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A garden of integers -- Distinguished numbers -- Points in the plane -- The polygonal playground -- A treasury of triangle theorems -- The enchantment of the equilateral triangle -- The quadrilaterals' corner -- Squares everywhere -- Curves ahead -- Adventures in tiling and coloring -- Geometry in three dimensions -- Additional theorems, problems, and proofs. |
| Record Nr. | UNINA-9910790362803321 |
|
Alsina Claudi
|
||
| Washington : , : Mathematical Association of America, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Charming proofs : a journey into elegant mathematics / / Claudi Alsina, Roger B. Nelsen [[electronic resource]]
| Charming proofs : a journey into elegant mathematics / / Claudi Alsina, Roger B. Nelsen [[electronic resource]] |
| Autore | Alsina Claudi |
| Pubbl/distr/stampa | Washington : , : Mathematical Association of America, , 2010 |
| Descrizione fisica | 1 online resource (xxiv, 295 pages) : digital, PDF file(s) |
| Disciplina | 511.3/6 |
| Collana |
Dolciani Mathematical Expositions
Dolciani mathematical expositions |
| Soggetto topico | Proof theory |
| ISBN | 1-61444-201-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A garden of integers -- Distinguished numbers -- Points in the plane -- The polygonal playground -- A treasury of triangle theorems -- The enchantment of the equilateral triangle -- The quadrilaterals' corner -- Squares everywhere -- Curves ahead -- Adventures in tiling and coloring -- Geometry in three dimensions -- Additional theorems, problems, and proofs. |
| Record Nr. | UNINA-9910812248803321 |
|
Alsina Claudi
|
||
| Washington : , : Mathematical Association of America, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Handbook of Mathematical Induction : Theory and Applications
| Handbook of Mathematical Induction : Theory and Applications |
| Autore | Gunderson David S. |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Boca Raton, FL : , : CRC Press, , 2014 |
| Descrizione fisica | 1 online resource (xxv, 893 pages) : illustrations |
| Disciplina | 511.3/6 |
| Collana | Discrete mathematics and its applications |
| Soggetto topico |
Proof theory
Induction (Mathematics) Logic, Symbolic and mathematical Probabilities |
| Soggetto genere / forma | Electronic books. |
| ISBN |
0-429-14793-7
1-4200-9365-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| 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. |
| Record Nr. | UNINA-9910468010203321 |
|
Gunderson David S.
|
||
| Boca Raton, FL : , : CRC Press, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Handbook of Mathematical Induction : Theory and Applications
| Handbook of Mathematical Induction : Theory and Applications |
| Autore | Gunderson David S. |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Boca Raton, FL : , : CRC Press, , 2014 |
| Descrizione fisica | 1 online resource (xxv, 893 pages) : illustrations |
| Disciplina | 511.3/6 |
| Collana | Discrete mathematics and its applications |
| Soggetto topico |
Proof theory
Induction (Mathematics) Logic, Symbolic and mathematical Probabilities |
| ISBN |
0-429-14793-7
1-4200-9365-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| 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. |
| Record Nr. | UNINA-9910795190503321 |
|
Gunderson David S.
|
||
| Boca Raton, FL : , : CRC Press, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Handbook of Mathematical Induction : Theory and Applications
| Handbook of Mathematical Induction : Theory and Applications |
| Autore | Gunderson David S. |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Boca Raton, FL : , : CRC Press, , 2014 |
| Descrizione fisica | 1 online resource (xxv, 893 pages) : illustrations |
| Disciplina | 511.3/6 |
| Collana | Discrete mathematics and its applications |
| Soggetto topico |
Proof theory
Induction (Mathematics) Logic, Symbolic and mathematical Probabilities |
| ISBN |
0-429-14793-7
1-4200-9365-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| 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. |
| Record Nr. | UNINA-9910799962603321 |
|
Gunderson David S.
|
||
| Boca Raton, FL : , : CRC Press, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Handbook of Mathematical Induction : Theory and Applications
| Handbook of Mathematical Induction : Theory and Applications |
| Autore | Gunderson David S. |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Boca Raton, FL : , : CRC Press, , 2014 |
| Descrizione fisica | 1 online resource (xxv, 893 pages) : illustrations |
| Disciplina | 511.3/6 |
| Collana | Discrete mathematics and its applications |
| Soggetto topico |
Proof theory
Induction (Mathematics) Logic, Symbolic and mathematical Probabilities |
| ISBN |
0-429-14793-7
1-4200-9365-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| 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. |
| Record Nr. | UNINA-9910813738303321 |
|
Gunderson David S.
|
||
| Boca Raton, FL : , : CRC Press, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logical foundations of proof complexity / / Stephen Cook, Phuong Nguyen [[electronic resource]]
| Logical foundations of proof complexity / / Stephen Cook, Phuong Nguyen [[electronic resource]] |
| Autore | Cook Stephen <1948-> |
| Pubbl/distr/stampa | Cambridge : , : Cambridge University Press, , 2010 |
| Descrizione fisica | 1 online resource (xv, 479 pages) : digital, PDF file(s) |
| Disciplina | 511.3/6 |
| Collana | Perspectives in logic |
| Soggetto topico |
Computational complexity
Proof theory Logic, Symbolic and mathematical |
| ISBN |
1-107-20671-5
1-282-53611-7 9786612536113 0-511-67967-X 0-511-67842-8 0-511-68165-8 0-511-67716-2 0-511-67627-1 0-511-68363-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Cover; Half-title; Series-title; Title; Copyright; CONTENTS; PREFACE; Chapter I: INTRODUCTION; Chapter II: THE PREDICATE CALCULUS AND THE SYSTEM LK; Chapter III: PEANO ARITHMETIC AND ITS SUBSYSTEMS; Chapter IV: TWO-SORTED LOGIC AND COMPLEXITY CLASSES; Chapter V: THE THEORY V0 AND AC0; Chapter VI: THE THEORY V1 AND POLYNOMIAL TIME; Chapter VII: PROPOSITIONAL TRANSLATIONS; Chapter VIII: THEORIES FOR POLYNOMIAL TIME AND BEYOND; Chapter IX: THEORIES FOR SMALL CLASSES; Chapter X: PROOF SYSTEMS AND THE REFLECTION PRINCIPLE; Appendix A: COMPUTATION MODELS; BIBLIOGRAPHY; INDEX |
| Record Nr. | UNINA-9910456558303321 |
|
Cook Stephen <1948->
|
||
| Cambridge : , : Cambridge University Press, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logical foundations of proof complexity / / Stephen Cook, Phuong Nguyen [[electronic resource]]
| Logical foundations of proof complexity / / Stephen Cook, Phuong Nguyen [[electronic resource]] |
| Autore | Cook Stephen <1948-> |
| Pubbl/distr/stampa | Cambridge : , : Cambridge University Press, , 2010 |
| Descrizione fisica | 1 online resource (xv, 479 pages) : digital, PDF file(s) |
| Disciplina | 511.3/6 |
| Collana | Perspectives in logic |
| Soggetto topico |
Computational complexity
Proof theory Logic, Symbolic and mathematical |
| ISBN |
1-107-20671-5
1-282-53611-7 9786612536113 0-511-67967-X 0-511-67842-8 0-511-68165-8 0-511-67716-2 0-511-67627-1 0-511-68363-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Cover; Half-title; Series-title; Title; Copyright; CONTENTS; PREFACE; Chapter I: INTRODUCTION; Chapter II: THE PREDICATE CALCULUS AND THE SYSTEM LK; Chapter III: PEANO ARITHMETIC AND ITS SUBSYSTEMS; Chapter IV: TWO-SORTED LOGIC AND COMPLEXITY CLASSES; Chapter V: THE THEORY V0 AND AC0; Chapter VI: THE THEORY V1 AND POLYNOMIAL TIME; Chapter VII: PROPOSITIONAL TRANSLATIONS; Chapter VIII: THEORIES FOR POLYNOMIAL TIME AND BEYOND; Chapter IX: THEORIES FOR SMALL CLASSES; Chapter X: PROOF SYSTEMS AND THE REFLECTION PRINCIPLE; Appendix A: COMPUTATION MODELS; BIBLIOGRAPHY; INDEX |
| Record Nr. | UNINA-9910781165603321 |
|
Cook Stephen <1948->
|
||
| Cambridge : , : Cambridge University Press, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Non-axiomatic logic [[electronic resource] ] : a model of intelligent reasoning / / Pei Wang
| Non-axiomatic logic [[electronic resource] ] : a model of intelligent reasoning / / Pei Wang |
| Autore | Wang Pei <1958-> |
| Pubbl/distr/stampa | Hackensack, NJ, : World Scientific, 2013 |
| Descrizione fisica | 1 online resource (200 p.) |
| Disciplina | 511.3/6 |
| Soggetto topico |
Artificial intelligence
Logic |
| Soggetto genere / forma | Electronic books. |
| ISBN | 981-4440-28-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
CONTENTS; Preface; Acknowledgments; List of Tables; 1. Introduction; 1.1 Intelligence; 1.2 Reasoning System; 1.3 NAL Overview; 2. IL-1: Idealized Situation; 2.1 Categorical Language; 2.2 Experience-Grounded Semantics; 2.3 Syllogistic Inference Rules; 3. NAL-1: Basic Syntax and Semantics; 3.1 Evidence and its Measurement; 3.2 Two-Dimensional Truth-Value; 3.3 Representations of Uncertainty; 3.4 Experience and Belief; 4. NAL-1: Basic Inference Rules; 4.1 Local Inference Rules; Revision; Choice; 4.2 Forward Inference Rules; Deduction; Induction; Abduction; Conversion; Exemplification
4.3 Backward Inference Rules5. NARS: Basic Memory and Control; 5.1 Inference Tasks; 5.2 Bag-Based Storage; 5.3 Concept as a Unit; 5.4 Inference Cycle; 5.5 Properties of NARS; 6. NAL-2: Derivative Copulas; 6.1 Similarity Copula; Comparison; Analogy; Resemblance; 6.2 Instance Copula; 6.3 Property Copula; 7. NAL-3: Set-Theoretic Terms; 7.1 Compound Term; 7.2 Intersections; 7.3 Differences; 7.4 Multi-Component Sets; 7.5 Inference on Compound Terms; Choice; Composition; 8. NAL-4: Relational Terms; 8.1 Product and Acquired Relation; 8.2 Types of Conceptual Relation 8.3 Image and Structural Transformation9. NAL-5: Statements as Terms; 9.1 Higher-Order Statement; 9.2 Implication and Inheritance; 9.3 Implication as Conditional; 9.4 Negation; 9.5 Analytic Truth in Inference; 10. NAL-6: Variable Terms; 10.1 Variable Terms Defined; 10.2 Variable Elimination and Introduction; 10.3 Symbolic Reasoning; 11. NAL-7: Events as Statements; 11.1 Time and Events; 11.2 Temporal Connectors and Copulas; 11.3 Temporal Inference; 12. NAL-8: Operations and Goals as Events; 12.1 Operations as Executable Events; 12.2 Goals as Desired Events; 12.3 Practical Reasoning 12.4 Sensorimotor Interface13. NAL-9: Self-Monitoring and Self-Control; 13.1 Mental Operations; 13.2 Feeling and Emotion; 13.3 Consciousness; 14. Summary and Beyond; 14.1 The Nature of NAL; 14.2 Comparison with other Logics; Classical logics; Non-classical logics; Probabilistic models; 14.3 NAL and AI; Logic-based AGI; Memory and control; Physical experience; Social experience; Appendix A. Narsese Grammar; Appendix B. NAL Inference Rules; Appendix C. NAL Truth-Value Functions; Appendix D. Proofs of Theorems; Bibliography; Index |
| Record Nr. | UNINA-9910462792403321 |
|
Wang Pei <1958->
|
||
| Hackensack, NJ, : World Scientific, 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
