Reduktionssysteme: Rechnen und Schließen in gleichungsdefinierten Strukturen: Springer-Lehrbuch
Autor Jürgen Avenhausde Limba Germană Paperback – 6 mar 1995
Din seria Springer-Lehrbuch
-
Preț: 327.14 lei - 5%
Preț: 53.91 lei - 5%
Preț: 374.36 lei -
Preț: 565.42 lei - 5%
Preț: 720.28 lei - 15%
Preț: 514.31 lei -
Preț: 458.04 lei - 5%
Preț: 487.79 lei -
Preț: 493.36 lei - 5%
Preț: 333.41 lei -
Preț: 544.55 lei -
Preț: 280.97 lei -
Preț: 608.15 lei -
Preț: 275.49 lei - 5%
Preț: 535.12 lei -
Preț: 389.32 lei -
Preț: 274.95 lei - 5%
Preț: 821.43 lei - 13%
Preț: 1220.31 lei - 5%
Preț: 322.10 lei -
Preț: 346.45 lei - 5%
Preț: 527.78 lei - 5%
Preț: 379.53 lei - 5%
Preț: 359.78 lei -
Preț: 459.46 lei - 5%
Preț: 220.27 lei - 11%
Preț: 614.32 lei -
Preț: 583.96 lei - 5%
Preț: 561.54 lei -
Preț: 236.70 lei - 5%
Preț: 413.64 lei - 5%
Preț: 384.36 lei -
Preț: 496.58 lei -
Preț: 508.90 lei -
Preț: 286.14 lei - 5%
Preț: 290.71 lei -
Preț: 421.29 lei - 5%
Preț: 278.94 lei - 11%
Preț: 479.42 lei - 5%
Preț: 209.35 lei - 5%
Preț: 436.49 lei - 5%
Preț: 636.50 lei -
Preț: 354.83 lei -
Preț: 336.49 lei -
Preț: 543.29 lei - 5%
Preț: 250.06 lei - 5%
Preț: 516.72 lei - 11%
Preț: 687.09 lei - 5%
Preț: 368.08 lei -
Preț: 355.29 lei
Preț: 400.20 lei
Preț vechi: 500.25 lei
-20%
Puncte Express: 600
Carte tipărită la comandă
Livrare economică 22 mai-05 iunie
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ț: 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ț: 151.43 lei201.66 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ț: 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ț: 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.