Der ausgewählte Artikel ist nicht mehr verfügbar, aber wir haben etwas Ähnliches gefunden.

Bild 1 von 1

Standardbild

Constructive Models Sergei S. Goncharov (u. a.) Taschenbuch Paperback xii 2012 - Bild 1 von 1

Constructive Models von Sergei S. Goncharov (2012, Taschenbuch)

Schreiben Sie die ersteRezension.

buchbaer (63380)
99,9% positive Bewertungen

Preis:

€ 143,90

(inkl. MwSt.)

Kostenloser Versand

Lieferung ca. Di, 23. Apr - Fr, 26. Apr

Rücknahmen:

1 Monat Rückgabe. Käufer zahlt Rückversand. Für eBay Plus-Mitglieder ist der Rückversand im Inland kostenlos. Mehr erfahren.

Artikelzustand:

Neu

Alle Details ansehen

Über dieses Produkt

Produktinformation

The theory of constructive (recursive) models follows from works of Froehlich, Shepherdson, Mal'tsev, Kuznetsov, Rabin, and Vaught in the 50s. Within the framework of this theory, algorithmic properties of abstract models are investigated by constructing representations on the set of natural numbers and studying relations between algorithmic and structural properties of these models. This book is a very readable exposition of the modern theory of constructive models and describes methods and approaches developed by representatives of the Siberian school of algebra and logic and some other researchers (in particular, Nerode and his colleagues). The main themes are the existence of recursive models and applications to fields, algebras, and ordered sets (Ershov), the existence of decidable prime models (Goncharov, Harrington), the existence of decidable saturated models (Morley), the existence of decidable homogeneous models (Goncharov and Peretyat'kin), properties of the Ehrenfeucht theories (Millar, Ash, and Reed), the theory of algorithmic dimension and conditions of autostability (Goncharov, Ash, Shore, Khusainov, Ventsov, and others), and the theory of computable classes of models with various properties. Future perspectives of the theory of constructive models are also discussed. Most of the results in the book are presented in monograph form for the first time. The theory of constructive models serves as a basis for recursive mathematics. It is also useful in computer science, in particular, in the study of programming languages, higher level languages of specification, abstract data types, and problems of synthesis and verification of programs. Therefore, the book will be useful for not only specialists in mathematical logic and the theory of algorithms but also for scientists interested in the mathematical fundamentals of computer science. The authors are eminent specialists in mathematical logic. They have established fundamental results on elementary theories, model theory, the theory of algorithms, field theory, group theory, applied logic, computable numberings, the theory of constructive models, and the theoretical computer science.

Produktkennzeichnungen

ISBN-10
1461369320
ISBN-13
9781461369325
eBay Product ID (ePID)
168363292

Produkt Hauptmerkmale

Sprache
Englisch
Anzahl der Seiten
308 Seiten
Verlag
Springer Us
Publikationsname
Constructive Models
Autor
Sergei S. Goncharov
Format
Taschenbuch
Erscheinungsjahr
2012

Zusätzliche Produkteigenschaften

Hörbuch
No
Inhaltsbeschreibung
Paperback
Item Length
23cm
Item Height
1cm
Item Width
15cm
Mitautor
Yuri L. Ershov
Item Weight
470g
Buchreihe
Siberian School of Algebra And Logic

Alle Angebote für dieses Produkt

Artikel 1 Constructive Models Sergei S. Goncharov (u. a.) Taschenbuch Paperback xii 2012
EUR 143,90
Kostenloser Versand
Artikel 2 Constructive Models 2272
EUR 160,49
+EUR 2,94 Versand

Meistverkauft in Studium & Erwachsenenbildung

Alle ansehen

Aktuelle Folie {CURRENT_SLIDE} von {TOTAL_SLIDES}- Meistverkauft in Studium & Erwachsenenbildung

Anastasia, Tochter der Taiga von Wladimir Megre (Gebundene Ausgabe, 2020)
4.3 von 5 Sternen in 4 Produktbewertungen
EUR 19,90 Neu
EUR 17,69 Gebraucht
Das einzige Buch, das Du über Finanzen lesen solltest von Thomas Kehl (2022, Taschenbuch)
4.5 von 5 Sternen in 2 Produktbewertungen
EUR 12,00 Neu
EUR 8,53 Gebraucht
50 Sätze, die das Leben leichter machen von Karin Kuschik (2022, Taschenbuch)
5.0 von 5 Sternen in 5 Produktbewertungen
EUR 15,00 Neu
EUR 12,17 Gebraucht
Schlachtkreuzer der Royal Navy von Ingo Bauernfeind (2015, Taschenbuch)
Noch keine Bewertungen oder Rezensionen
EUR 8,90 Neu
EUR 8,46 Gebraucht

Hier sparen: Studium & Erwachsenenbildung

Aktuelle Folie {CURRENT_SLIDE} von {TOTAL_SLIDES}- Hier sparen: Studium & Erwachsenenbildung

Belladonna - Die Berührung des Todes (Belladonna 1) | Adalyn Grace | Deutsch
EUR 18,00
Preistendenz: EUR 18,27
Foxglove - Das Begehren des Todes (Belladonna 2) - Adalyn Gr ... 9783845856926
EUR 18,00
Preistendenz: EUR 18,27
Disney Minnie Schleifen-Boutique Kindergartenfreundebuch | Meine ersten Freunde
EUR 9,99
Preistendenz: EUR 10,14
Die Sachkundeprüfung gemäß § 34a GewO | Kai Deliomini | Taschenbuch | Paperback
EUR 24,80
Preistendenz: EUR 25,18
Der Sinn des Lebens|Manfred Lütz|Gebundenes Buch|Deutsch
EUR 30,00
Preistendenz: EUR 30,45
Wichtige Steuergesetze | mit Durchführungsverordnungen | Bundle | Textausgabe
EUR 11,90
Preistendenz: EUR 12,11

Auch interessant

Aktuelle Folie {CURRENT_SLIDE} von {TOTAL_SLIDES}- Auch interessant

Stöbern in Kategorien

Bild 1 von 1

Constructive Models von Sergei S. Goncharov (2012, Taschenbuch)

Über dieses Produkt

Produktinformation

Produktkennzeichnungen

Produkt Hauptmerkmale

Zusätzliche Produkteigenschaften

Alle Angebote für dieses Produkt

Artikel 1 Constructive Models Sergei S. Goncharov (u. a.) Taschenbuch Paperback xii 2012

Artikel 2 Constructive Models 2272

Meistverkauft in Studium & Erwachsenenbildung

Anastasia, Tochter der Taiga von Wladimir Megre (Gebundene Ausgabe, 2020)

Das einzige Buch, das Du über Finanzen lesen solltest von Thomas Kehl (2022, Taschenbuch)

50 Sätze, die das Leben leichter machen von Karin Kuschik (2022, Taschenbuch)

Schlachtkreuzer der Royal Navy von Ingo Bauernfeind (2015, Taschenbuch)

Hier sparen: Studium & Erwachsenenbildung

Belladonna - Die Berührung des Todes (Belladonna 1) | Adalyn Grace | Deutsch

Foxglove - Das Begehren des Todes (Belladonna 2) - Adalyn Gr ... 9783845856926

Disney Minnie Schleifen-Boutique Kindergartenfreundebuch | Meine ersten Freunde

Die Sachkundeprüfung gemäß § 34a GewO | Kai Deliomini | Taschenbuch | Paperback

Der Sinn des Lebens|Manfred Lütz|Gebundenes Buch|Deutsch

Wichtige Steuergesetze | mit Durchführungsverordnungen | Bundle | Textausgabe

Auch interessant

William-S. - Burroughs-Taschenbuch-Belletristik-Bücher

William-S. - Burroughs-Taschenbuch-Sachbuch Bücher

Lehrbücher als Taschenbuch

William-S. - Burroughs-Taschenbuch-Kinder - & -Jugendliteratur Bücher

William-S. - Burroughs-Taschenbuch-Belletristik-Bücher auf Englisch

Sonstige Bücher im Taschenbuch-Format