Equational Compactness in Rings, D. K. Haley

Автор: M. Ursul
Название: Topological Rings Satisfying Compactness Conditions
ISBN: 9401039461 ISBN-13(EAN): 9789401039468
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Radim Belohl?vek; Vilem Vychodil
Название: Fuzzy Equational Logic
ISBN: 3642065759 ISBN-13(EAN): 9783642065750
Издательство: Springer
Рейтинг:
Цена: 130590.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Introduction to Fuzzy Sets and Fuzzy Logic.- Algebras with Fuzzy Equalities.- Fuzzy Equational Logic.- Fuzzy Horn Logic.

Автор: C. Dafermos; J.L. Ericksen; D. Kinderlehrer; M. Sl
Название: Oscillation Theory, Computation, and Methods of Compensated Compactness
ISBN: 1461386918 ISBN-13(EAN): 9781461386919
Издательство: Springer
Рейтинг:
Цена: 113190.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This IMA Volume in Mathematics and its Applications Oscillation Theory, Computation, and Methods of Compensated Compactness represents the proceedings of a workshop which was an integral part of the 1984-85 IMA program on CONTINUUM PHYSICS AND PARTIAL DIFFERENTIAL EQUATIONS. We are grateful to the Scientific Committee: J. L. Ericksen D. Kinderlehrer H. Brezis C. Dafermos for their dedication and hard work in developing an imaginative, stimulating, and productive year-long program. George R. Sell Hans Weinberger PREFACE Historically, one of the most important prohlems in continuum mechanics has been the treatment of nonlinear hyperbolic systems of conservation laws. Thp. importance of these systems lies in the fact that the underlyinq equ tions of mass, momentum, and energy are descrihed by conservation laws. Their nonlinearity and hyperbolicity are consequences of some cornmon constitutive relations, for example, in an ideal gas. The I. M. A. Workshop on "Osci 11 at i on theory. computat i on, and methods of com- pensated compactness" brought together scientists from both the analytical and numerical sides of conservation law research. The goal was to examine recent trends in the investigation of systems of conservation laws and in particular to focus on the roles of dispersive and diffusive limits for singularily perturbed conservation laws. Special attention was devoted to the new ideas of compen- sated compactness and oscillation theory.

Автор: William McCune; R. Padmanabhan
Название: Automated Deduction in Equational Logic and Cubic Curves
ISBN: 3540613986 ISBN-13(EAN): 9783540613985
Издательство: Springer
Рейтинг:
Цена: 55890.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This text resulted from co-operation between a mathematician working in universal algebra and geometry, and a computer scientist working in automated deduction, who succeeded in employing the theorem prover Otter for proving first order theorems from mathematics. This book presents their results.

Автор: Steffen H?lldobler
Название: Foundations of Equational Logic Programming
ISBN: 354051533X ISBN-13(EAN): 9783540515333
Издательство: Springer
Рейтинг:
Цена: 32600.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Equations play a vital role in many fields. This book presents the foundations of equational logic programming. Generalizing logic programming by augmenting programs with a conditional equational theory, it defines a unifying framework for logic programming, equation solving, universal unification, and term rewriting.

Автор: Bachmair
Название: Canonical Equational Proofs
ISBN: 0817635556 ISBN-13(EAN): 9780817635558
Издательство: Springer
Рейтинг:
Цена: 74490.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Christoph Hummel
Название: Gromov`s Compactness Theorem for Pseudo-holomorphic Curves
ISBN: 3034898428 ISBN-13(EAN): 9783034898423
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents the original proof of Gromov`s compactness theorem for pseudo-holomorphic curves in detail. Local properties of pseudo-holomorphic curves are investigated and proved from a geometric viewpoint.

Автор: Janusz Czelakowski
Название: The Equationally-Defined Commutator
ISBN: 3319365789 ISBN-13(EAN): 9783319365787
Издательство: Springer
Рейтинг:
Цена: 79190.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:

This monograph introduces and explores the notions of a commutator equation and the equationally-defined commutator from the perspective of abstract algebraic logic. An account of the commutator operation associated with equational deductive systems is presented, with an emphasis placed on logical aspects of the commutator for equational systems determined by quasivarieties of algebras. The author discusses the general properties of the equationally-defined commutator, various centralization relations for relative congruences, the additivity and correspondence properties of the equationally-defined commutator and its behavior in finitely generated quasivarieties.

Presenting new and original research not yet considered in the mathematical literature, The Equationally-Defined Commutator will be of interest to professional algebraists and logicians, as well as graduate students and other researchers interested in problems of modern algebraic logic.

Автор: Janusz Czelakowski
Название: The Equationally-Defined Commutator
ISBN: 3319211994 ISBN-13(EAN): 9783319211992
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Introduction.- Basic Properties of Quasivarieties.- Commutator Equations and the Equationally Defined Commutator.- Centralization Relations.- Additivity of the Equationally Defined Commutator.- Modularity and Related Topics.- Additivity of the Equationally Defined Commutator and Relatively Congruence-Distributive Dub quasivarieties.- More on Finitely Generated Quasivarieties.- Commutator Laws in Finitely Generated Quasivarieties.- Appendix 1: Algebraic Lattices.- Appendix 2: A Proof of Theorem 3.3.4 for Relatively Congruence-Modular Quasivarieties.- Appendix 3: Inferential Bases for Relatively Congruence-Modular Quasivarieties.