Vor Ort
Merkzettel Warenkorb
Produktbild: Realizability

Realizability An Introduction to its Categorical Side

137,00 €

inkl. gesetzl. MwSt.

Beschreibung

Produktdetails

Format

ePUB

Kopierschutz

Nein

Family Sharing

Nein

Text-to-Speech

Ja

Erscheinungsdatum

10.04.2008

Verlag

Elsevier Science & Techn.

Seitenzahl

328 (Printausgabe)

Sprache

Englisch

EAN

9780080560069

Beschreibung

Rezension

"This book aims at beginning researchers in the field of realizability and so emphasizes technical tools rather than any overview of methods or results. The central object here which created the categorical approach to realizability is Martin Hyland’s effective topos called Eff. The author advises that readers interested in getting directly to that topos can skip Chapter 1 and will only need "some parts of Chapter 2" (p. xii). However, that opening material will be needed for any research career on this and other realizability toposes. The reader is assumed to know some amount of general category theory as well as to have an "acquaintance with the notion of a topos" (p. vi). The tools are presented very clearly and this is especially advantageous for the idea of a tripos. The standard reference on triposes has been Andrew Pitts’s 1982 Ph.D. dissertation [The theory of triposes. Cambridge: Univ. Cambridge (1982)]. Considerable simplification has been possible since that pioneering work. This book gives a very clear exposition and should become the reference."--Zentralblatt MATH 1225-1

Produktdetails

Format

ePUB

eBooks im ePUB-Format erlauben eine dynamische Anpassung des Inhalts an die jeweilige Display-Größe des Lesegeräts. Das Format eignet sich daher besonders für das Lesen auf mobilen Geräten, wie z.B. Ihrem tolino, Tablets oder Smartphones.

Kopierschutz

Nein

Dieses eBook können Sie uneingeschränkt auf allen Geräten der tolino Familie, allen sonstigen eReadern und am PC lesen. Das eBook ist nicht kopiergeschützt und kann ein personalisiertes Wasserzeichen enthalten. Weitere Hinweise zum Lesen von eBooks mit einem personalisierten Wasserzeichen finden Sie unter Hilfe/Downloads.

Family Sharing

Nein

Mit Family Sharing können Sie eBooks innerhalb Ihrer Familie (max. sechs Mitglieder im gleichen Haushalt) teilen. Sie entscheiden selbst, welches Buch Sie mit welchem Familienmitglied teilen möchten. Auch das parallele Lesen durch verschiedene Familienmitglieder ist durch Family Sharing möglich. Um eBooks zu teilen oder geteilt zu bekommen, muss jedes Familienmitglied ein Konto bei Thalia oder einem anderen tolino-Buchhändler haben. Weitere Informationen finden Sie unter Hilfe/Family-Sharing.

Text-to-Speech

Ja

Bedeutet Ihnen Stimme mehr als Text? Mit der Funktion Text-to-Speech können Sie sich im tolino webReader und in der aktuellen Thalia – Lesen & Hören App das eBook vorlesen lassen. Weitere Informationen finden Sie unter Hilfe/Text-to-Speech.

Barrierefreiheit
  • alle zum Verständnis notwendigen Inhalte sind über Screenreader zugänglich
  • navigierbares Inhaltsverzeichnis
  • alle Texte können angepasst werden
  • logische Lesereihenfolge eingehalten
  • nicht oder eingeschränkt barrierefrei
  • keine Vorlesefunktionen des Lesesystems deaktiviert
  • Seitennummerierung folgt dem gedruckten Werk
  • Sprachkennzeichnung vorhanden
  • Landmark-Navigation vorhanden

Erscheinungsdatum

10.04.2008

Verlag

Elsevier Science & Techn.

Seitenzahl

328 (Printausgabe)

Sprache

Englisch

EAN

9780080560069

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

Weitere Artikel findest du in
Die Leseprobe wird geladen.
  • Produktbild: Realizability