Kniha momentálne nie je na sklade
Parametre
Viac o knihe
Mit dem Ziel, Konstruktionen durch eine formale Sprache zu beschreiben, werden algorithmische Sprachen nach ENGELER als Teilsprachen von L1 eingeführt. Untersucht werden die algorithmischen Theorien der reellen Zahlen mit verschiedenen Grundbegriffen. Darauf aufbauend werden entsprechende konstruktive affine und euklidische Geometrien entwickelt und Charaterisierungen beliebiger Modelle angegeben. Außerdem werden Axiomensysteme für die genannten Geometrien (mit offenen Formeln als Axiomen) aufgestellt und entsprechende Darstellungssätze bewiesen. Beispiele für weitere geometrische Konstruktionen werden ausgeführt.
Nákup knihy
Algorithmische Theorien und konstruktive Geometrie, Horst Seeland
- Jazyk
- Rok vydania
- 1978
Akonáhle sa objaví, pošleme vám e-mail.
Doručenie
Platobné metódy
Navrhnúť zmenu
- Titul
- Algorithmische Theorien und konstruktive Geometrie
- Jazyk
- nemecky
- Autori
- Horst Seeland
- Vydavateľ
- Hochschulverlag
- Rok vydania
- 1978
- ISBN10
- 3810720550
- ISBN13
- 9783810720559
- Kategórie
- Skriptá a vysokoškolské učebnice
- Anotácia
- Mit dem Ziel, Konstruktionen durch eine formale Sprache zu beschreiben, werden algorithmische Sprachen nach ENGELER als Teilsprachen von L1 eingeführt. Untersucht werden die algorithmischen Theorien der reellen Zahlen mit verschiedenen Grundbegriffen. Darauf aufbauend werden entsprechende konstruktive affine und euklidische Geometrien entwickelt und Charaterisierungen beliebiger Modelle angegeben. Außerdem werden Axiomensysteme für die genannten Geometrien (mit offenen Formeln als Axiomen) aufgestellt und entsprechende Darstellungssätze bewiesen. Beispiele für weitere geometrische Konstruktionen werden ausgeführt.