Lambda Calculus (eBook)
654 Seiten
Elsevier Science (Verlag)
978-0-08-093375-7 (ISBN)
The revised edition contains a new chapter which provides an elegant description of the semantics. The various classes of lambda calculus models are described in a uniform manner. Some didactical improvements have been made to this edition. An example of a simple model is given and then the general theory (of categorical models) is developed. Indications are given of those parts of the book which can be used to form a coherent course.
Cover 1
Contents 4
Addenda for the Sixth Imprinting 5
Errata 7
Preface & Contents
Chapter 1 7
Chapter 2 7
Chapter 3 8
Chapter 4 8
Chapter 5 8
Chapter 6 10
Chapter 7 11
Chapter 8 11
Chapter 9 12
Chapter 10 12
Chapter 11 14
Chapter 12 14
Chapter 13 15
Chapter 14 16
Chapter 15 16
Chapter 16 17
Chapter 17 17
Chapter 18 18
Chapter 19 18
Chapter 20 18
Appendices 18
Addenda 18
References 19
Index of Names 19
Index of Definitions 19
Index of Symbols 19
Bibliography 20
| Erscheint lt. Verlag | 10.7.2013 |
|---|---|
| Sprache | englisch |
| Themenwelt | Mathematik / Informatik ► Informatik ► Theorie / Studium |
| Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika | |
| Mathematik / Informatik ► Mathematik ► Analysis | |
| Mathematik / Informatik ► Mathematik ► Angewandte Mathematik | |
| Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre | |
| Naturwissenschaften | |
| ISBN-10 | 0-08-093375-0 / 0080933750 |
| ISBN-13 | 978-0-08-093375-7 / 9780080933757 |
| Haben Sie eine Frage zum Produkt? |
PDF (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 Seitenlayout eignet sich die PDF besonders für Fachbücher mit Spalten, Tabellen und Abbildungen. Eine PDF kann auf fast allen Geräten angezeigt werden, ist aber für kleine Displays (Smartphone, eReader) nur eingeschränkt geeignet.
Systemvoraussetzungen:
PC/Mac: Mit einem PC oder Mac können Sie dieses eBook lesen. Sie benötigen eine
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
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.
aus dem Bereich
