Combinatory Logic (eBook)
519 Seiten
Elsevier Science (Verlag)
978-0-08-095477-6 (ISBN)
Combinatory Logic
Front Cover 1
Combinatory Logic 4
Copyright Page 5
Table of Contents 12
Preface 8
Explanation of Notations 14
Chapter 11 Addenda to Pure Combinatory Logic 16
A. Preliminaries 16
B. The weak theory of combinators 37
C. Bracket abstraction 57
D. The synthetic theory of combinators 82
E. Strong reduction 101
F. C-systems 145
Chapter 12 Foundations of the Illative Theory 178
A. Illative systems in general 178
B. Proper illative systems 190
C. Inferential systems for 2 201
D. CL-systems 222
Chapter 13 Combinatory Arithmetic 226
A. Foundations 226
B. Gödelian epitheory 260
C. Combinatory syntax 273
D. Typed combinatory arithmetic 290
Chapter 14 The Theory of Functionality 307
A. Preliminaries 307
B. Properties of F-deductions 311
C. Deductive theory of F1 319
D. A .-Formulation 323
E. An L-Formulation 332
F. The system F12 350
Chapter 15 The Theory of Restricted Generality 354
A. The systern F20 355
B. Deductive theory of F2 371
C. Finite formulations 396
D. The predicate calculus 429
Chapter 16 The Theory of Universal Generality 442
A. The system F30 443
B. Deductive theory of F31 447
C. Deductive theory of F32 453
D. Finite formulations 460
Chapter 17 Combinatory Type Theory 467
A. Formulations 467
B. Valuations and models 476
C. Kinds of type theory 493
Bibliography 514
Index 520
| Erscheint lt. Verlag | 17.6.2009 |
|---|---|
| Sprache | englisch |
| Themenwelt | Informatik ► Software Entwicklung ► User Interfaces (HCI) |
| Informatik ► Theorie / Studium ► Algorithmen | |
| Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre | |
| Naturwissenschaften | |
| Technik | |
| ISBN-10 | 0-08-095477-4 / 0080954774 |
| ISBN-13 | 978-0-08-095477-6 / 9780080954776 |
| 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
