Reflexive Structures
Sanchis, Luis E.
Produktnummer:
1802008e081a4c4fc28884b6a06a4d8a1a
| Autor: | Sanchis, Luis E. |
|---|---|
| Themengebiete: | algorithms computability theory computer computer science |
| Veröffentlichungsdatum: | 26.09.2011 |
| EAN: | 9781461283867 |
| Sprache: | Englisch |
| Seitenzahl: | 233 |
| Produktart: | Kartoniert / Broschiert |
| Verlag: | Springer US |
| Untertitel: | An Introduction to Computability Theory |
Produktinformationen "Reflexive Structures"
Reflexive Structures: An Introduction to Computability Theory is concerned with the foundations of the theory of recursive functions. The approach taken presents the fundamental structures in a fairly general setting, but avoiding the introduction of abstract axiomatic domains. Natural numbers and numerical functions are considered exclusively, which results in a concrete theory conceptually organized around Church's thesis. The book develops the important structures in recursive function theory: closure properties, reflexivity, enumeration, and hyperenumeration. Of particular interest is the treatment of recursion, which is considered from two different points of view: via the minimal fixed point theory of continuous transformations, and via the well known stack algorithm. Reflexive Structuresis intended as an introduction to the general theory of computability. It can be used as a text or reference in senior undergraduate and first year graduate level classes in computer science or mathematics.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen