top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
Mathematical proofs : a transition to advanced mathematics / Gary Chartrand, Albert D. Polimeni, Ping Zhang
Mathematical proofs : a transition to advanced mathematics / Gary Chartrand, Albert D. Polimeni, Ping Zhang
Autore Chartrand, Gary
Edizione [2nd ed.]
Pubbl/distr/stampa Boston : Pearson/Addison Wesley, c2008
Descrizione fisica xv, 365 p. ; 25 cm
Disciplina 511.36
Altri autori (Persone) Polimeni, Albert D., 1938-
Zhang, Ping, 1957-
Soggetto topico Proof theory - Textbooks
ISBN 0321526732
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991000643389707536
Chartrand, Gary  
Boston : Pearson/Addison Wesley, c2008
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
The nuts and bolts of proofs [e-book] / Antonella Cupillari
The nuts and bolts of proofs [e-book] / Antonella Cupillari
Autore Cupillari, Antonella
Pubbl/distr/stampa Amsterdam ; Boston : Elsevier Academic Press, c2005
Descrizione fisica xii, 179 p. : ill. ; 23 cm
Disciplina 511.36
Soggetto topico Proof theory
ISBN 9780120885091
0120885093
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991003280559707536
Cupillari, Antonella  
Amsterdam ; Boston : Elsevier Academic Press, c2005
Risorse elettroniche
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Proof theory : sequent calculi and related formalisms / / Katalin Bimbo, University of Alberta Edmonton, Canada
Proof theory : sequent calculi and related formalisms / / Katalin Bimbo, University of Alberta Edmonton, Canada
Autore Bimbo Katalin <1963, >
Pubbl/distr/stampa Boca Raton : , : CRC Press, , [2015]
Descrizione fisica 1 online resource (386 p.)
Disciplina 511.3/6
511.36
Collana Discrete Mathematics and its Applications
Soggetto topico Proof theory
ISBN 0-429-09969-X
1-4665-6468-7
Classificazione MAT000000MAT004000MAT028000
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Front Cover; Contents; Preface; Chapter 1: Proofs and proof theory; Chapter 2: Classical first-order logic; Chapter 3: Variants of the first sequent calculi; Chapter 4: Sequent calculi for non-classical logics; Chapter 5: Consecution calculi for non-classical logics; Chapter 6: Display calculi and hypersequents; Chapter 7: Cut rules and cut theorems; Chapter 8: Some other proof systems; Chapter 9: Applications and applied calculi; Appendix A: Some supplementary concepts; Bibliography
Record Nr. UNINA-9910787963303321
Bimbo Katalin <1963, >  
Boca Raton : , : CRC Press, , [2015]
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Proof theory : sequent calculi and related formalisms / / Katalin Bimbo, University of Alberta Edmonton, Canada
Proof theory : sequent calculi and related formalisms / / Katalin Bimbo, University of Alberta Edmonton, Canada
Autore Bimbo Katalin <1963, >
Edizione [1st ed.]
Pubbl/distr/stampa Boca Raton : , : CRC Press, , [2015]
Descrizione fisica 1 online resource (386 p.)
Disciplina 511.3/6
511.36
Collana Discrete Mathematics and its Applications
Soggetto topico Proof theory
ISBN 0-429-09969-X
1-4665-6468-7
Classificazione MAT000000MAT004000MAT028000
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Front Cover; Contents; Preface; Chapter 1: Proofs and proof theory; Chapter 2: Classical first-order logic; Chapter 3: Variants of the first sequent calculi; Chapter 4: Sequent calculi for non-classical logics; Chapter 5: Consecution calculi for non-classical logics; Chapter 6: Display calculi and hypersequents; Chapter 7: Cut rules and cut theorems; Chapter 8: Some other proof systems; Chapter 9: Applications and applied calculi; Appendix A: Some supplementary concepts; Bibliography
Record Nr. UNINA-9910818706803321
Bimbo Katalin <1963, >  
Boca Raton : , : CRC Press, , [2015]
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Tableau systems for first order number theory and certain higher order theories / / S. A. Toledo
Tableau systems for first order number theory and certain higher order theories / / S. A. Toledo
Autore Toledo Sue Ann <1940->
Edizione [1st ed. 1975.]
Pubbl/distr/stampa Berlin, Germany : , : Springer, , [1975]
Descrizione fisica 1 online resource (IV, 348 p.)
Disciplina 511.36
Collana Lecture Notes in Mathematics
Soggetto topico Number theory
ISBN 3-540-37442-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto First order number theory -- Second order logic -- Other higher order systems due to Schütte.
Record Nr. UNISA-996466861803316
Toledo Sue Ann <1940->  
Berlin, Germany : , : Springer, , [1975]
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Theorems, corollaries, lemmas, and methods of proof [[electronic resource] /] / Richard J. Rossi
Theorems, corollaries, lemmas, and methods of proof [[electronic resource] /] / Richard J. Rossi
Autore Rossi Richard J. <1956->
Pubbl/distr/stampa Hoboken, N.J., : Wiley, c2006
Descrizione fisica 1 online resource (338 p.)
Disciplina 511.3/6
511.36
Collana Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts
Soggetto topico Proof theory
Mathematical analysis - Foundations
Logic, Symbolic and mathematical
Soggetto genere / forma Electronic books.
ISBN 1-283-29873-2
9786613298737
1-118-03157-1
1-118-03057-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Theorems, Corollaries, Lemmas, and Methods of Proof; Contents; Preface; Chapter 1 - Introduction to Modern Mathematics; 1.1 Inductive and Deductive Reasoning; 1.2 Components of Modern Mathematics; 1.3 Commonly Used Mathematical Notation; EXERCISES; Chapter 2 - An Introduction to Symbolic Logic; 2.1 Statements and Propositional Functions; 2.2 Combining Statements; 2.3 Truth Tables; 2.4 Conditional Statements; 2.4.1 Converse and Contrapositive Statements; 2.4.2 Biconditional Statements; 2.5 Propositional Functions and Quantifiers; EXERCISES; Chapter 3 - Methods of Proof
3.1 Theorems, Corollaries, and Lemmas3.2 The Contrapositive and Converse of a Theorem; 3.3 Methods of Proof and Proving Theorems; 3.3.1 Direct Proof; 3.3.2 Indirect Proof; 3.4 Specialized Methods of Proof; 3.4.1 Mathematical Induction; 3.4.2 Uniqueness Proofs; 3.4.3 Existence Proofs; 3.4.4 Proof by Cases; 3.4.5 Proving Biconditional Theorems; 3.4.6 Disproving a Conjecture; 3.5 Some Final Notes on Proving Theorems; EXERCISES; Chapter 4 - Introduction to Number Theory; 4.1 Binary Operators; 4.2 Commonly Used Number Systems; 4.2.1 The Natural Numbers; 4.2.2 The Whole Numbers; 4.2.3 The Integers
4.2.4 The Rational Numbers4.2.5 The Real Numbers; 4.3 Elementary Number Theory; 4.3.1 Odd and Even Numbers; 4.3.2 Divisibility; 4.3.3 Prime Numbers; 4.3.4 Recursively Defined Numbers; EXERCISES; Chapter 5 - The Foundations of Calculus; 5.1 Functions; 5.2 Sequences of Real Numbers; 5.2.1 Convergent Sequences and Limit Theorems; 5.2.2 Monotone Sequences; 5.2.3 Cauchy Sequences; 5.3 Limits of Functions; 5.4 Continuity; 5.5 Derivatives; EXERCISES; Chapter 6 - Foundations of Algebra; 6.1 Introduction to Sets; 6.1.1 Set Algebra; 6.1.2 Element Chasing Proofs
6.1.3 Unions and Intersections of Finite Collections of Sets6.1.4 Countable and Uncountable Sets; 6.2 An Introduction to Group Theory; 6.2.1 Groups; 6.2.2 Subgroups; EXERCISES; References; Index
Record Nr. UNISA-996218079203316
Rossi Richard J. <1956->  
Hoboken, N.J., : Wiley, c2006
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Theorems, corollaries, lemmas, and methods of proof [[electronic resource] /] / Richard J. Rossi
Theorems, corollaries, lemmas, and methods of proof [[electronic resource] /] / Richard J. Rossi
Autore Rossi Richard J. <1956->
Pubbl/distr/stampa Hoboken, N.J., : Wiley, c2006
Descrizione fisica 1 online resource (338 p.)
Disciplina 511.3/6
511.36
Collana Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts
Soggetto topico Proof theory
Mathematical analysis - Foundations
Logic, Symbolic and mathematical
Soggetto genere / forma Electronic books.
ISBN 1-283-29873-2
9786613298737
1-118-03157-1
1-118-03057-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Theorems, Corollaries, Lemmas, and Methods of Proof; Contents; Preface; Chapter 1 - Introduction to Modern Mathematics; 1.1 Inductive and Deductive Reasoning; 1.2 Components of Modern Mathematics; 1.3 Commonly Used Mathematical Notation; EXERCISES; Chapter 2 - An Introduction to Symbolic Logic; 2.1 Statements and Propositional Functions; 2.2 Combining Statements; 2.3 Truth Tables; 2.4 Conditional Statements; 2.4.1 Converse and Contrapositive Statements; 2.4.2 Biconditional Statements; 2.5 Propositional Functions and Quantifiers; EXERCISES; Chapter 3 - Methods of Proof
3.1 Theorems, Corollaries, and Lemmas3.2 The Contrapositive and Converse of a Theorem; 3.3 Methods of Proof and Proving Theorems; 3.3.1 Direct Proof; 3.3.2 Indirect Proof; 3.4 Specialized Methods of Proof; 3.4.1 Mathematical Induction; 3.4.2 Uniqueness Proofs; 3.4.3 Existence Proofs; 3.4.4 Proof by Cases; 3.4.5 Proving Biconditional Theorems; 3.4.6 Disproving a Conjecture; 3.5 Some Final Notes on Proving Theorems; EXERCISES; Chapter 4 - Introduction to Number Theory; 4.1 Binary Operators; 4.2 Commonly Used Number Systems; 4.2.1 The Natural Numbers; 4.2.2 The Whole Numbers; 4.2.3 The Integers
4.2.4 The Rational Numbers4.2.5 The Real Numbers; 4.3 Elementary Number Theory; 4.3.1 Odd and Even Numbers; 4.3.2 Divisibility; 4.3.3 Prime Numbers; 4.3.4 Recursively Defined Numbers; EXERCISES; Chapter 5 - The Foundations of Calculus; 5.1 Functions; 5.2 Sequences of Real Numbers; 5.2.1 Convergent Sequences and Limit Theorems; 5.2.2 Monotone Sequences; 5.2.3 Cauchy Sequences; 5.3 Limits of Functions; 5.4 Continuity; 5.5 Derivatives; EXERCISES; Chapter 6 - Foundations of Algebra; 6.1 Introduction to Sets; 6.1.1 Set Algebra; 6.1.2 Element Chasing Proofs
6.1.3 Unions and Intersections of Finite Collections of Sets6.1.4 Countable and Uncountable Sets; 6.2 An Introduction to Group Theory; 6.2.1 Groups; 6.2.2 Subgroups; EXERCISES; References; Index
Record Nr. UNINA-9910139574203321
Rossi Richard J. <1956->  
Hoboken, N.J., : Wiley, c2006
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Theorems, corollaries, lemmas, and methods of proof [[electronic resource] /] / Richard J. Rossi
Theorems, corollaries, lemmas, and methods of proof [[electronic resource] /] / Richard J. Rossi
Autore Rossi Richard J. <1956->
Pubbl/distr/stampa Hoboken, N.J., : Wiley, c2006
Descrizione fisica 1 online resource (338 p.)
Disciplina 511.3/6
511.36
Collana Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts
Soggetto topico Proof theory
Mathematical analysis - Foundations
Logic, Symbolic and mathematical
ISBN 1-283-29873-2
9786613298737
1-118-03157-1
1-118-03057-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Theorems, Corollaries, Lemmas, and Methods of Proof; Contents; Preface; Chapter 1 - Introduction to Modern Mathematics; 1.1 Inductive and Deductive Reasoning; 1.2 Components of Modern Mathematics; 1.3 Commonly Used Mathematical Notation; EXERCISES; Chapter 2 - An Introduction to Symbolic Logic; 2.1 Statements and Propositional Functions; 2.2 Combining Statements; 2.3 Truth Tables; 2.4 Conditional Statements; 2.4.1 Converse and Contrapositive Statements; 2.4.2 Biconditional Statements; 2.5 Propositional Functions and Quantifiers; EXERCISES; Chapter 3 - Methods of Proof
3.1 Theorems, Corollaries, and Lemmas3.2 The Contrapositive and Converse of a Theorem; 3.3 Methods of Proof and Proving Theorems; 3.3.1 Direct Proof; 3.3.2 Indirect Proof; 3.4 Specialized Methods of Proof; 3.4.1 Mathematical Induction; 3.4.2 Uniqueness Proofs; 3.4.3 Existence Proofs; 3.4.4 Proof by Cases; 3.4.5 Proving Biconditional Theorems; 3.4.6 Disproving a Conjecture; 3.5 Some Final Notes on Proving Theorems; EXERCISES; Chapter 4 - Introduction to Number Theory; 4.1 Binary Operators; 4.2 Commonly Used Number Systems; 4.2.1 The Natural Numbers; 4.2.2 The Whole Numbers; 4.2.3 The Integers
4.2.4 The Rational Numbers4.2.5 The Real Numbers; 4.3 Elementary Number Theory; 4.3.1 Odd and Even Numbers; 4.3.2 Divisibility; 4.3.3 Prime Numbers; 4.3.4 Recursively Defined Numbers; EXERCISES; Chapter 5 - The Foundations of Calculus; 5.1 Functions; 5.2 Sequences of Real Numbers; 5.2.1 Convergent Sequences and Limit Theorems; 5.2.2 Monotone Sequences; 5.2.3 Cauchy Sequences; 5.3 Limits of Functions; 5.4 Continuity; 5.5 Derivatives; EXERCISES; Chapter 6 - Foundations of Algebra; 6.1 Introduction to Sets; 6.1.1 Set Algebra; 6.1.2 Element Chasing Proofs
6.1.3 Unions and Intersections of Finite Collections of Sets6.1.4 Countable and Uncountable Sets; 6.2 An Introduction to Group Theory; 6.2.1 Groups; 6.2.2 Subgroups; EXERCISES; References; Index
Record Nr. UNINA-9910830542903321
Rossi Richard J. <1956->  
Hoboken, N.J., : Wiley, c2006
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Theorems, corollaries, lemmas, and methods of proof [[electronic resource] /] / Richard J. Rossi
Theorems, corollaries, lemmas, and methods of proof [[electronic resource] /] / Richard J. Rossi
Autore Rossi Richard J. <1956->
Pubbl/distr/stampa Hoboken, N.J., : Wiley, c2006
Descrizione fisica 1 online resource (338 p.)
Disciplina 511.3/6
511.36
Collana Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts
Soggetto topico Proof theory
Mathematical analysis - Foundations
Logic, Symbolic and mathematical
ISBN 1-283-29873-2
9786613298737
1-118-03157-1
1-118-03057-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Theorems, Corollaries, Lemmas, and Methods of Proof; Contents; Preface; Chapter 1 - Introduction to Modern Mathematics; 1.1 Inductive and Deductive Reasoning; 1.2 Components of Modern Mathematics; 1.3 Commonly Used Mathematical Notation; EXERCISES; Chapter 2 - An Introduction to Symbolic Logic; 2.1 Statements and Propositional Functions; 2.2 Combining Statements; 2.3 Truth Tables; 2.4 Conditional Statements; 2.4.1 Converse and Contrapositive Statements; 2.4.2 Biconditional Statements; 2.5 Propositional Functions and Quantifiers; EXERCISES; Chapter 3 - Methods of Proof
3.1 Theorems, Corollaries, and Lemmas3.2 The Contrapositive and Converse of a Theorem; 3.3 Methods of Proof and Proving Theorems; 3.3.1 Direct Proof; 3.3.2 Indirect Proof; 3.4 Specialized Methods of Proof; 3.4.1 Mathematical Induction; 3.4.2 Uniqueness Proofs; 3.4.3 Existence Proofs; 3.4.4 Proof by Cases; 3.4.5 Proving Biconditional Theorems; 3.4.6 Disproving a Conjecture; 3.5 Some Final Notes on Proving Theorems; EXERCISES; Chapter 4 - Introduction to Number Theory; 4.1 Binary Operators; 4.2 Commonly Used Number Systems; 4.2.1 The Natural Numbers; 4.2.2 The Whole Numbers; 4.2.3 The Integers
4.2.4 The Rational Numbers4.2.5 The Real Numbers; 4.3 Elementary Number Theory; 4.3.1 Odd and Even Numbers; 4.3.2 Divisibility; 4.3.3 Prime Numbers; 4.3.4 Recursively Defined Numbers; EXERCISES; Chapter 5 - The Foundations of Calculus; 5.1 Functions; 5.2 Sequences of Real Numbers; 5.2.1 Convergent Sequences and Limit Theorems; 5.2.2 Monotone Sequences; 5.2.3 Cauchy Sequences; 5.3 Limits of Functions; 5.4 Continuity; 5.5 Derivatives; EXERCISES; Chapter 6 - Foundations of Algebra; 6.1 Introduction to Sets; 6.1.1 Set Algebra; 6.1.2 Element Chasing Proofs
6.1.3 Unions and Intersections of Finite Collections of Sets6.1.4 Countable and Uncountable Sets; 6.2 An Introduction to Group Theory; 6.2.1 Groups; 6.2.2 Subgroups; EXERCISES; References; Index
Record Nr. UNINA-9910840980503321
Rossi Richard J. <1956->  
Hoboken, N.J., : Wiley, c2006
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Writing Proofs in Analysis [[electronic resource] /] / by Jonathan M. Kane
Writing Proofs in Analysis [[electronic resource] /] / by Jonathan M. Kane
Autore Kane Jonathan M
Edizione [1st ed. 2016.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016
Descrizione fisica 1 online resource (XX, 347 p. 79 illus., 4 illus. in color.)
Disciplina 511.36
Soggetto topico Functional analysis
Fourier analysis
Mathematical logic
Functional Analysis
Fourier Analysis
Mathematical Logic and Foundations
ISBN 3-319-30967-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto What Are Proofs, And Why Do We Write Them? -- The Basics of Proofs -- Limits -- Continuity -- Derivatives -- Riemann Integrals -- Infinite Series -- Sequences of Functions -- Topology of the Real Line -- Metric Spaces .
Record Nr. UNINA-9910254074303321
Kane Jonathan M  
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui