The Combinatory Programme

143.14 CHF

Versandkostenfrei

Lieferzeit: 21 Werktage

Artikel-Nr.: 10292579

Beschreibung

I. Historical and Philosophical Background.- 1. From Protologics to Combinatory Algebras.- 2. A Brief Recapitulation of Combinatory Algebra.- 3. An Algebraization of Universal Algebra.- 4. Objects Reflected in Their Properties.- II. An Algebraization of Universal Algebra.- Axiomatic Extensions.- Aspects of Universal Algebra in Combinatory Logic.- Remarks on an Algebraic Theory of Recursive Degrees.- III. An Algebraization of Algorithmics.- An Algebraization of Hierarchical and Recursive Distributed Processes.- Algebra of Approximate Computation.- IV. Relations to Logical Computer-Algebraic Calculi.- Solving Discontinuous Differential Equations.- Types and Consistency.- References.

Eigenschaften

Gewicht:	446 g
Höhe:	234
Seiten:	144
Sprachen:	Englisch
Autor:	Beatrice Amrhein, Erwin Engeler, K. Aberer

Bewertung

Menü schließen

Bewertungen werden nach Überprüfung freigeschaltet.

Die mit einem * markierten Felder sind Pflichtfelder.

Ich habe die Datenschutzbestimmungen zur Kenntnis genommen.