Für diesen Artikel ist leider kein Bild verfügbar.

Constructive Order Types (eBook)

eBook Download: PDF
2000 | 1. Auflage
7223 Seiten
Elsevier Science (Verlag)
978-0-08-095775-3 (ISBN)
Systemvoraussetzungen
217,95 inkl. MwSt
  • Download sofort lieferbar
  • Zahlungsarten anzeigen
Provability, Computability and Reflection
Constructive Order Types

Front Cover 1
Constructive Order Types 4
Copyright Page 5
Contents 9
Preface 6
Introduction 12
PART ONE 20
CHAPTER 1. Recursive Isomorphism 22
CHAPTER 2. Addition 30
CHAPTER 3. Quords 42
CHAPTER 4. The Orderings 47
CHAPTER 5. Co-ordinals 53
CHAPTER 6. Multiplication 61
CHAPTER 7. Exponentiation 76
CHAPTER 8. Arithmetic Laws and Principal Numbers 93
CHAPTER 9. Cantor Normal Form 111
CHAPTER 10. Uniqueness Results 123
CHAPTER 11. E-numbers 132
CHAPTER 12. Infinite Series 143
PART TWO 158
CHAPTER 13. Isols 160
CHAPTER 14. Quasi-finiteness 168
CHAPTER 15. Losols 176
CHAPTER 16. Arithmetic Laws for Losols 183
APPENDICES 195
APPENDIX A. A Mixed Cancellation Theorem 195
APPENDIX B. Infinite Products and Principal Numbers for Multiplication 204
Notation and Terminology 212
References 216
Notes 218
Index of Symbols 221
Index of Terms 224

Erscheint lt. Verlag 1.4.2000
Sprache englisch
Themenwelt Informatik Software Entwicklung User Interfaces (HCI)
Informatik Theorie / Studium Algorithmen
Mathematik / Informatik Mathematik Logik / Mengenlehre
Naturwissenschaften
Technik
ISBN-10 0-08-095775-7 / 0080957757
ISBN-13 978-0-08-095775-3 / 9780080957753
Haben Sie eine Frage zum Produkt?
PDFPDF (Adobe DRM)

Kopierschutz: Adobe-DRM
Adobe-DRM ist ein Kopierschutz, der das eBook vor Mißbrauch schützen soll. Dabei wird das eBook bereits beim Download auf Ihre persönliche Adobe-ID autorisiert. Lesen können Sie das eBook dann nur auf den Geräten, welche ebenfalls auf Ihre Adobe-ID registriert sind.
Details zum Adobe-DRM

Dateiformat: PDF (Portable Document Format)
Mit einem festen Seiten­layout eignet sich die PDF besonders für Fach­bücher mit Spalten, Tabellen und Abbild­ungen. Eine PDF kann auf fast allen Geräten ange­zeigt werden, ist aber für kleine Displays (Smart­phone, eReader) nur einge­schränkt geeignet.

Systemvoraussetzungen:
PC/Mac: Mit einem PC oder Mac können Sie dieses eBook lesen. Sie benötigen eine Adobe-ID und die Software Adobe Digital Editions (kostenlos). Von der Benutzung der OverDrive Media Console raten wir Ihnen ab. Erfahrungsgemäß treten hier gehäuft Probleme mit dem Adobe DRM auf.
eReader: Dieses eBook kann mit (fast) allen eBook-Readern gelesen werden. Mit dem amazon-Kindle ist es aber nicht kompatibel.
Smartphone/Tablet: Egal ob Apple oder Android, dieses eBook können Sie lesen. Sie benötigen eine Adobe-ID sowie eine kostenlose App.
Geräteliste und zusätzliche Hinweise

Buying eBooks from abroad
For tax law reasons we can sell eBooks just within Germany and Switzerland. Regrettably we cannot fulfill eBook-orders from other countries.

Mehr entdecken
aus dem Bereich
Eine praxisorientierte Einführung mit Anwendungen in Oracle, SQL …

von Edwin Schicker

eBook Download (2017)
Springer Vieweg (Verlag)
34,99
Unlock the power of deep learning for swift and enhanced results

von Giuseppe Ciaburro

eBook Download (2024)
Packt Publishing (Verlag)
35,99