Reduktionssysteme: Rechnen und Schließen in gleichungsdefinierten Strukturen: Springer-Lehrbuch
Autor Jürgen Avenhausde Limba Germană Paperback – 6 mar 1995
Din seria Springer-Lehrbuch
- 13%
Preț: 1220.31 lei - 5%
Preț: 379.53 lei - 5%
Preț: 49.04 lei - 5%
Preț: 527.41 lei - 11%
Preț: 687.09 lei -
Preț: 496.58 lei - 5%
Preț: 487.60 lei - 5%
Preț: 209.35 lei - 11%
Preț: 453.72 lei - 5%
Preț: 527.78 lei -
Preț: 607.94 lei - 5%
Preț: 368.00 lei - 5%
Preț: 555.51 lei -
Preț: 275.49 lei - 5%
Preț: 384.36 lei -
Preț: 421.29 lei -
Preț: 457.94 lei - 5%
Preț: 436.49 lei - 5%
Preț: 278.94 lei - 5%
Preț: 333.41 lei -
Preț: 354.72 lei - 5%
Preț: 720.28 lei -
Preț: 336.45 lei -
Preț: 280.91 lei - 5%
Preț: 359.71 lei -
Preț: 544.44 lei - 5%
Preț: 351.39 lei - 5%
Preț: 220.27 lei -
Preț: 565.02 lei -
Preț: 236.62 lei - 5%
Preț: 783.20 lei - 5%
Preț: 413.64 lei -
Preț: 325.90 lei -
Preț: 505.76 lei -
Preț: 274.95 lei -
Preț: 286.04 lei - 5%
Preț: 597.52 lei - 5%
Preț: 295.84 lei - 5%
Preț: 821.43 lei - 11%
Preț: 479.14 lei - 5%
Preț: 516.72 lei - 5%
Preț: 636.29 lei -
Preț: 493.36 lei - 5%
Preț: 322.10 lei - 5%
Preț: 269.31 lei -
Preț: 587.56 lei -
Preț: 346.45 lei -
Preț: 459.32 lei - 5%
Preț: 654.88 lei -
Preț: 355.29 lei
Preț: 400.20 lei
Preț vechi: 500.25 lei
-20%
Puncte Express: 600
Preț estimativ în valută:
70.77€ • 81.15$ • 61.16£
70.77€ • 81.15$ • 61.16£
Carte tipărită la comandă
Livrare economică 27 aprilie-11 mai
Specificații
ISBN-13: 9783540585596
ISBN-10: 3540585591
Pagini: 264
Ilustrații: X, 251 S. 5 Abb.
Dimensiuni: 155 x 235 x 14 mm
Greutate: 0.37 kg
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Springer-Lehrbuch
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540585591
Pagini: 264
Ilustrații: X, 251 S. 5 Abb.
Dimensiuni: 155 x 235 x 14 mm
Greutate: 0.37 kg
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Springer-Lehrbuch
Locul publicării:Berlin, Heidelberg, Germany
V-ar putea interesa
-
Elements of Set TheoryHerbert B. Enderton-33%Preț: 356.19 lei531.86 lei -
Constructibility and Mathematical ExistenceCharles S. Chihara-14%Preț: 324.48 lei377.73 lei -
Conceptual Notation and Related ArticlesGottlob Frege-32%Preț: 766.03 lei1124.79 lei -
-24%Preț: 361.70 lei474.98 lei -
-34%Preț: 630.11 lei959.82 lei -
Automorphisms of First-order StructuresRichard Kaye-33%Preț: 596.09 lei895.18 lei -
Notes on Set TheoryYiannis MoschovakisPreț: 470.30 lei -
-15%Preț: 570.70 lei671.41 lei -
Godel's ProofErnest NagelPreț: 117.75 lei -
Preț: 80.80 lei -
TopoiRobert Goldblatt-25%Preț: 151.43 lei201.63 lei -
Mathematical Logic for Computer ScienceMordechai Ben-Ari-20%Preț: 378.09 lei472.62 lei -
Preț: 474.26 lei -
Sets, Logic and CategoriesPeter J. CameronPreț: 271.94 lei -
Incompleteness in the Land of SetsM. FittingPreț: 219.96 lei -
The Life and Work of Leon HenkinMaría ManzanoPreț: 379.92 lei -
-15%Preț: 685.00 lei805.88 lei -
Theory of SetsN. BourbakiPreț: 476.32 lei
Public țintă
ResearchCuprins
0 Einleitung.- 0.1 Motivation.- 0.2 Termersetzungssysteme und abstrakte Datentypen.- 1 Abstrakte Reduktionssysteme.- 1.1 Definitionen und erste Ergebnisse.- 1.2 Konfluenz und die Church-Rosser-Eigenschaft.- 1.3 Konstruktion von Noetherschen Partialordnungen.- 1.4 Konstruktion von konvergenten Reduktionssystemen.- 2 Wortersetzungssysteme.- 2.1 Motivation.- 2.2 Termination und Konfluenz.- 2.3 Die Vervollständigung nach Knuth-Bendix.- 2.4 Entscheidbarkeitsfragen.- 3 Termersetzungssysteme.- 3.1 Motivation.- 3.2 Spezifikation von Datentypen.- 3.3 Termersetzungssysteme.- 3.4 Matching und Unifikation.- 3.5 Konfluenz und Termination.- 3.6 Die Vervollständigung nach Knuth-Bendix.- 3.7 Reduktionsordnungen.- 3.8 Modularität.- 4 Termersetzung modulo einer Kongruenz.- 4.1 Die Church-Rosser-Eigenschaft modulo A.- 4.2 A-Vervollständigung für links-lineare Regeln.- 4.3 A-Vervollständigung für beliebige Regeln.- 4.4 A-verträgliche Reduktionsordnungen.- 5 Ausblick.- Wegweiser zur Originalliteratur.