Reduktionssysteme: Springer-Lehrbuch
Autor Jürgen Avenhausde Limba Germană Paperback – 6 mar 1995
Din seria Springer-Lehrbuch
-
Preț: 513.61 lei - 5%
Preț: 392.52 lei - 5%
Preț: 55.70 lei - 5%
Preț: 565.77 lei - 11%
Preț: 693.20 lei -
Preț: 275.49 lei -
Preț: 435.39 lei -
Preț: 478.87 lei - 11%
Preț: 453.99 lei - 5%
Preț: 545.29 lei - 5%
Preț: 227.65 lei -
Preț: 290.32 lei -
Preț: 544.55 lei - 5%
Preț: 809.37 lei -
Preț: 584.04 lei -
Preț: 288.54 lei -
Preț: 389.32 lei - 5%
Preț: 450.94 lei -
Preț: 329.19 lei - 5%
Preț: 333.60 lei - 5%
Preț: 332.70 lei - 5%
Preț: 720.52 lei -
Preț: 347.53 lei - 5%
Preț: 371.58 lei -
Preț: 459.40 lei -
Preț: 244.57 lei - 11%
Preț: 614.32 lei -
Preț: 514.87 lei -
Preț: 628.19 lei - 5%
Preț: 657.49 lei - 5%
Preț: 416.52 lei - 5%
Preț: 543.66 lei - 15%
Preț: 514.31 lei -
Preț: 607.03 lei - 5%
Preț: 300.38 lei - 5%
Preț: 288.29 lei -
Preț: 275.28 lei - 13%
Preț: 1259.04 lei - 5%
Preț: 848.88 lei - 5%
Preț: 611.70 lei - 5%
Preț: 516.72 lei - 5%
Preț: 258.40 lei -
Preț: 509.97 lei - 5%
Preț: 340.20 lei -
Preț: 530.95 lei -
Preț: 561.19 lei -
Preț: 358.27 lei -
Preț: 474.06 lei - 5%
Preț: 375.24 lei -
Preț: 367.04 lei
Preț: 402.93 lei
Preț vechi: 503.66 lei
-20%
Puncte Express: 604
Carte tipărită la comandă
Livrare economică 03-17 iulie
Specificații
ISBN-13: 9783540585596
ISBN-10: 3540585591
Pagini: 264
Ilustrații: X, 251 S. 5 Abb.
Dimensiuni: 155 x 235 x 15 mm
Greutate: 0.41 kg
Editura: Springer
Colecția Springer-Lehrbuch
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 15 mm
Greutate: 0.41 kg
Editura: Springer
Colecția Springer-Lehrbuch
Seria Springer-Lehrbuch
Locul publicării:Berlin, Heidelberg, Germany
V-ar putea interesa
-
Elements of Set TheoryHerbert B. Enderton-33%Preț: 368.93 lei549.67 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ț: 374.96 lei491.24 lei -
-34%Preț: 653.32 lei992.90 lei -
Automorphisms of First-order StructuresRichard Kaye-33%Preț: 596.09 lei895.18 lei -
Notes on Set TheoryYiannis MoschovakisPreț: 472.08 lei -
-15%Preț: 570.70 lei671.41 lei -
Godel's ProofErnest NagelPreț: 124.36 lei -
Introduction to LogicAlfred TarskiPreț: 80.61 lei -
TopoiRobert Goldblatt-25%Preț: 156.12 lei208.37 lei -
Mathematical Logic for Computer ScienceMordechai Ben-Ari-20%Preț: 380.61 lei475.76 lei -
Preț: 474.26 lei -
Sets, Logic and CategoriesPeter J. CameronPreț: 272.04 lei -
Incompleteness in the Land of SetsM. FittingPreț: 219.96 lei -
The Life and Work of Leon HenkinMaría ManzanoPreț: 383.55 lei -
-15%Preț: 689.64 lei811.34 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.