Ihre E-Mail wurde erfolgreich gesendet. Bitte prüfen Sie Ihren Maileingang.

Leider ist ein Fehler beim E-Mail-Versand aufgetreten. Bitte versuchen Sie es erneut.

Vorgang fortführen?

Exportieren
Filter
Medientyp
Region
Erscheinungszeitraum
Fachgebiete(RVK)
Zugriff
  • 1
    Buch
    Buch
    Berlin [u.a.] :Springer,
    UID:
    almafu_BV002436147
    Umfang: X, 206 S. : , graph. Darst.
    ISBN: 3-540-50035-9 , 0-387-50035-9
    Serie: Perspectives in mathematical logic
    Sprache: Englisch
    Fachgebiete: Mathematik
    RVK:
    Schlagwort(e): Analysis ; Berechenbarkeit ; Berechenbare Funktion ; Mathematische Physik ; Berechenbarkeit
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 2
    Online-Ressource
    Online-Ressource
    Cambridge, United Kingdom : Cambridge University Press
    UID:
    gbv_893452297
    Umfang: 1 Online-Ressource (206 Seiten)
    ISBN: 9781316717325
    Serie: Perspectives in mathematical logics
    Inhalt: Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the first publication in the Perspectives in Logic series, Pour-El and Richards present the first graduate-level treatment of computable analysis within the tradition of classical mathematical reasoning. The book focuses on the computability or noncomputability of standard processes in analysis and physics. Topics include classical analysis, Hilbert and Banach spaces, bounded and unbounded linear operators, eigenvalues, eigenvectors, and equations of mathematical physics. The work is self-contained, and although it is intended primarily for logicians and analysts, it should also be of interest to researchers and graduate students in physics and computer science
    Anmerkung: Title from publisher's bibliographic system (viewed on 18 Apr 2017)
    Weitere Ausg.: ISBN 9781107168442
    Weitere Ausg.: Erscheint auch als Druck-Ausgabe Pour-El, Marian B. Computability in analysis and physics Berlin : Springer, 1989 ISBN 3540500359
    Weitere Ausg.: ISBN 0387500359
    Sprache: Englisch
    Fachgebiete: Mathematik
    RVK:
    Schlagwort(e): Analysis ; Berechenbarkeit
    URL: Volltext  (lizenzpflichtig)
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 3
    Online-Ressource
    Online-Ressource
    London :Cambridge University Press,
    UID:
    almahu_9949084205602882
    Umfang: 1 online resource (206 pages)
    Inhalt: Annotation. This book represents the first treatment of computable analysis at the graduate level within the tradition of classical mathematical reasoning. Among the topics dealt with are: classical analysis, Hilbert and Banach spaces, bounded and unbounded linear operators, eigenvalues, eigenvectors, and equations of mathematical physics. The book is self-contained, and yet sufficiently detailed to provide an introduction to research in this area.
    Anmerkung: Cover -- Half-title -- Series information -- Title page -- Copyright information -- Preface to the Series: Perspectives in Mathematical Logic -- Authors' Preface -- Table of Contents -- Major Interconnections -- Introduction -- Prerequisites from Logic and Analysis -- Part I. Computability in Classical Analysis -- Chapter 0. An Introduction to Computable Analysis -- Introduction -- 1. Computable Real Numbers -- 2. Computable Sequences of Real Numbers -- 3. Computable Functions of One or Several Real Variables -- 4. Preliminary Constructs in Analysis -- 5. Basic Constructs of Analysis -- 6. The Max-Min Theorem and the Intermediate Value Theorem -- 7. Proof of the Effective Weierstrass Theorem -- Chapter 1. Further Topics in Computable Analysis -- Introduction -- 1. Cn Functions -- 2. Analytic Functions -- 3. The Effective Modulus Lemma and Some of Its Consequences -- 4. Translation Invariant Operators -- Part II. The Computability Theory of Banach Spaces -- Chapter 2. Computability Structures on a Banach Space -- Introduction -- 1. The Axioms for a Computability Structure -- 2. The Classical Case: Computability in the Sense of Chapter 0 -- 3. Intrinsic Lp-computability -- 4. Intrinsic lp-computability -- 5. The Effective Density Lemma and the Stability Lemma -- 6. Two Counterexamples: Separability Versus Effective Separability and Computability on L[sup(∞)] [0, 1] -- 7. Ad Hoc Computability Structures -- Chapter 3. The First Main Theorem and Its Applications -- Introduction -- 1. Bounded Operators, Closed Unbounded Operators -- 2. The First Main Theorem -- 3. Simple Applications to Real Analysis -- 4. Further Applications to Real Analysis -- 5. Applications to Physical Theory -- Part III. The Computability Theory of Eigenvalues and Eigenvectors -- Chapter 4. The Second Main Theorem, the Eigenvector Theorem, and Related Results.
    Weitere Ausg.: ISBN 3-540-50035-9
    Sprache: Englisch
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 4
    Online-Ressource
    Online-Ressource
    London :Cambridge University Press,
    UID:
    edocfu_9959851764002883
    Umfang: 1 online resource (206 pages)
    Inhalt: Annotation. This book represents the first treatment of computable analysis at the graduate level within the tradition of classical mathematical reasoning. Among the topics dealt with are: classical analysis, Hilbert and Banach spaces, bounded and unbounded linear operators, eigenvalues, eigenvectors, and equations of mathematical physics. The book is self-contained, and yet sufficiently detailed to provide an introduction to research in this area.
    Anmerkung: Cover -- Half-title -- Series information -- Title page -- Copyright information -- Preface to the Series: Perspectives in Mathematical Logic -- Authors' Preface -- Table of Contents -- Major Interconnections -- Introduction -- Prerequisites from Logic and Analysis -- Part I. Computability in Classical Analysis -- Chapter 0. An Introduction to Computable Analysis -- Introduction -- 1. Computable Real Numbers -- 2. Computable Sequences of Real Numbers -- 3. Computable Functions of One or Several Real Variables -- 4. Preliminary Constructs in Analysis -- 5. Basic Constructs of Analysis -- 6. The Max-Min Theorem and the Intermediate Value Theorem -- 7. Proof of the Effective Weierstrass Theorem -- Chapter 1. Further Topics in Computable Analysis -- Introduction -- 1. Cn Functions -- 2. Analytic Functions -- 3. The Effective Modulus Lemma and Some of Its Consequences -- 4. Translation Invariant Operators -- Part II. The Computability Theory of Banach Spaces -- Chapter 2. Computability Structures on a Banach Space -- Introduction -- 1. The Axioms for a Computability Structure -- 2. The Classical Case: Computability in the Sense of Chapter 0 -- 3. Intrinsic Lp-computability -- 4. Intrinsic lp-computability -- 5. The Effective Density Lemma and the Stability Lemma -- 6. Two Counterexamples: Separability Versus Effective Separability and Computability on L[sup(∞)] [0, 1] -- 7. Ad Hoc Computability Structures -- Chapter 3. The First Main Theorem and Its Applications -- Introduction -- 1. Bounded Operators, Closed Unbounded Operators -- 2. The First Main Theorem -- 3. Simple Applications to Real Analysis -- 4. Further Applications to Real Analysis -- 5. Applications to Physical Theory -- Part III. The Computability Theory of Eigenvalues and Eigenvectors -- Chapter 4. The Second Main Theorem, the Eigenvector Theorem, and Related Results.
    Weitere Ausg.: ISBN 3-540-50035-9
    Sprache: Englisch
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 5
    Online-Ressource
    Online-Ressource
    London :Cambridge University Press,
    UID:
    edoccha_9959851764002883
    Umfang: 1 online resource (206 pages)
    Inhalt: Annotation. This book represents the first treatment of computable analysis at the graduate level within the tradition of classical mathematical reasoning. Among the topics dealt with are: classical analysis, Hilbert and Banach spaces, bounded and unbounded linear operators, eigenvalues, eigenvectors, and equations of mathematical physics. The book is self-contained, and yet sufficiently detailed to provide an introduction to research in this area.
    Anmerkung: Cover -- Half-title -- Series information -- Title page -- Copyright information -- Preface to the Series: Perspectives in Mathematical Logic -- Authors' Preface -- Table of Contents -- Major Interconnections -- Introduction -- Prerequisites from Logic and Analysis -- Part I. Computability in Classical Analysis -- Chapter 0. An Introduction to Computable Analysis -- Introduction -- 1. Computable Real Numbers -- 2. Computable Sequences of Real Numbers -- 3. Computable Functions of One or Several Real Variables -- 4. Preliminary Constructs in Analysis -- 5. Basic Constructs of Analysis -- 6. The Max-Min Theorem and the Intermediate Value Theorem -- 7. Proof of the Effective Weierstrass Theorem -- Chapter 1. Further Topics in Computable Analysis -- Introduction -- 1. Cn Functions -- 2. Analytic Functions -- 3. The Effective Modulus Lemma and Some of Its Consequences -- 4. Translation Invariant Operators -- Part II. The Computability Theory of Banach Spaces -- Chapter 2. Computability Structures on a Banach Space -- Introduction -- 1. The Axioms for a Computability Structure -- 2. The Classical Case: Computability in the Sense of Chapter 0 -- 3. Intrinsic Lp-computability -- 4. Intrinsic lp-computability -- 5. The Effective Density Lemma and the Stability Lemma -- 6. Two Counterexamples: Separability Versus Effective Separability and Computability on L[sup(∞)] [0, 1] -- 7. Ad Hoc Computability Structures -- Chapter 3. The First Main Theorem and Its Applications -- Introduction -- 1. Bounded Operators, Closed Unbounded Operators -- 2. The First Main Theorem -- 3. Simple Applications to Real Analysis -- 4. Further Applications to Real Analysis -- 5. Applications to Physical Theory -- Part III. The Computability Theory of Eigenvalues and Eigenvectors -- Chapter 4. The Second Main Theorem, the Eigenvector Theorem, and Related Results.
    Weitere Ausg.: ISBN 3-540-50035-9
    Sprache: Englisch
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 6
    Buch
    Buch
    Berlin [u.a.] : Springer
    UID:
    b3kat_BV002436147
    Umfang: X, 206 S. , graph. Darst.
    ISBN: 3540500359 , 0387500359
    Serie: Perspectives in mathematical logic
    Sprache: Englisch
    Fachgebiete: Mathematik
    RVK:
    Schlagwort(e): Analysis ; Berechenbarkeit ; Berechenbare Funktion ; Mathematische Physik ; Berechenbarkeit
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 7
    Buch
    Buch
    Berlin ; Heidelberg 〈〈[u.a.]〉〉 : Springer
    UID:
    b3kat_BV024685900
    Umfang: X, 206 S. , graph. Darst.
    ISBN: 3540500359 , 0387500359
    Serie: Perspectives in mathematical logics
    Sprache: Unbestimmte Sprache
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 8
    Buch
    Buch
    Berlin ; Heidelberg ; New York ; London ; Paris ; Tokyo : Springer
    UID:
    b3kat_BV024634420
    Umfang: X, 206 S.
    ISBN: 3540500359 , 0387500359
    Serie: Perspectives in mathematical logic
    Sprache: Unbestimmte Sprache
    Fachgebiete: Mathematik
    RVK:
    Schlagwort(e): Analysis ; Berechenbarkeit ; Mathematische Physik ; Berechenbarkeit ; Berechenbare Funktion
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 9
    Buch
    Buch
    Berlin [u.a.] :Springer,
    UID:
    almahu_BV002436147
    Umfang: X, 206 S. : , graph. Darst.
    ISBN: 3-540-50035-9 , 0-387-50035-9
    Serie: Perspectives in mathematical logic
    Sprache: Englisch
    Fachgebiete: Mathematik
    RVK:
    Schlagwort(e): Analysis ; Berechenbarkeit ; Berechenbare Funktion ; Mathematische Physik ; Berechenbarkeit
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
Meinten Sie 3540002359?
Meinten Sie 3510500350?
Meinten Sie 3510500369?
Schließen ⊗
Diese Webseite nutzt Cookies und das Analyse-Tool Matomo. Weitere Informationen finden Sie auf den KOBV Seiten zum Datenschutz