On Fragments of Analysis with Strengths of Finitely Iterated Inductive Definitions [Taschenbuch]

Klaus Aehlig (Autor)

Preis:	EUR 20,00 kostenlose Lieferung. Siehe Details.
Angebotspreis:
	Alle Preisangaben inkl. MwSt.
	o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o

Gew�hnlich versandfertig in 1 bis 2 Wochen.
Verkauf und Versand durch Amazon.de. Geschenkverpackung verf�gbar.

Produktinformation

Taschenbuch: 80 Seiten
Verlag: Harland Media; Auflage: 1 (1. September 2003)
Sprache: Deutsch, Englisch
ISBN-10: 3833011750
ISBN-13: 978-3833011757
Gr��e und/oder Gewicht: 20,8 x 14,8 x 0,6 cm
Amazon Bestseller-Rang: Nr. 4.263.107 in Bücher (Siehe Top 100 in Bücher)

M�chten Sie die Produktinformationen aktualisieren oder Feedback zu den Produktabbildungen geben?

Ist der Verkauf dieses Produkts f�r Sie nicht akzeptabel?

Produktbeschreibungen

Kurzbeschreibung

Dissertation an der LMU München (Fakultät für Mathematik, Informatik und Statistik)

Ein Fragment der Stärke und mit den beweisbar rekursiven Funktionen von niterierten induktiven Definitionen erhält man durch die folgende Einschränkung der Prädikatenlogik zweiter Stufe. Die zugrunde liegende Sprache erlaubt nur bis zu n+1 geschachtelte zweitstufige Quantifikationen und diese sind dergestalt, daß keine zweitstufige Variable frei im Gültigkeitsbereich eines anderen zweitstufigen Quantors vorkommt. Die beweisbar rekursiven Funktionen werden auch charakterisiert als dasjenige Fragment des polymorphen lambda-Kalküls mit denselben Einschränkungen auf Typvariablen.

Die Hinzunahme von Induktion über arithmetische Formeln zu den Fragmenten der Prädikatenlogik zweiter Stufe beeinflußt nur die arithmetischen Konsequenzen dieser Theorien, wohingegen die Hinzunahme voller Induktion die Stärke um eine induktive Definition erhöht.

Endlich iterierte induktive Definitionen sind äquivalent zu demjenigen Fragment der Prädikatenlogik zweiter Stufe, das auf eine einzige Prädikatenvariable eingeschränkt ist.

In diesem Buch (Mehr dazu)

Einleitungssatz
Analysis is a theory concerned with real numbers. Lesen Sie die erste Seite

Mehr entdecken
Wortanzeiger

Ausgew�hlte Seiten ansehen
Buchdeckel | Copyright | Inhaltsverzeichnis | Auszug

Eine digitale Version dieses Buchs im Kindle-Shop verkaufen

Wenn Sie ein Verleger oder Autor sind und die digitalen Rechte an einem Buch haben, k�nnen Sie die digitale Version des Buchs in unserem Kindle-Shop verkaufen. Weitere Informationen

Kundenrezensionen

Noch keine Kundenrezensionen vorhanden.

5 Sterne

4 Sterne

3 Sterne

2 Sterne

1 Sterne

Kundenrezension verfassen

.jsOffDisplayBlock { display: block; } .jsOffDisplayInline { display: inline; } .jsOffVisibility { visibility: visible; } .jsOnDisplayBlock { display: none; } .jsOnDisplayNoneBlock { display: block; } .jsOnDisplayNoneInline { display: inline; } .jsOnDisplayInline { display: none; } .jsOnVisibility { visibility: hidden; } .jqOnDisplayBlock { display: none; } .jqOnDisplayInline { display: none; } .jqOnVisibility { visibility: hidden; } .jqOnDisplayNoneBlock { display: block; } .jqOnDisplayNoneInline { display: inline; }

Kunden diskutieren

Das Forum zu diesem Produkt

Diskussion	Antworten	J�ngster Beitrag
Noch keine Diskussionen

Fragen stellen, Meinungen austauschen, Einblicke gewinnen

Neue Diskussion starten

Thema:

Erster Beitrag:

Bei neuen Eintr�gen E-Mail erhalten

Eingabe des Log-ins

Richtlinien

Aktive Diskussionen in �hnlichen Foren

Diskussion	Antworten	J�ngster Beitrag
Forum: fachb�cher Zukunftvisionen	21	Gestern
Forum: fachb�cher Laserpointer Zubeh�r	0	Vor 2 Tagen
Forum: fachb�cher W�rterbuch Versicherungen	0	Vor 3 Tagen
Forum: fachb�cher Suche Buch zur Finanzwirtschaft, leicht erkl�rt	6	Vor 3 Tagen
Forum: fachb�cher Suche B�cher zur Anpassung der Tiere an die Tiefsee	1	Vor 3 Tagen
Forum: fachb�cher Seminararbeit in Psychologie - Thema: ABH�NGIGKEIT (Crystal Meth)	4	Vor 4 Tagen
Forum: fachb�cher Suche Buch �ber Geologie Sloweniens / Postojna	0	Vor 5 Tagen
Forum: fachb�cher Literatur zum Thema Retargeting / Konsumentenverhalten im Internet - Bannerwerbung	4	Vor 13 Tagen