Algebraic Model Theory, Bradd T. Hart; A. Lachlan; Matthew A. Valeriote

Автор: Hodges
Название: Model Theory
ISBN: 0521066360 ISBN-13(EAN): 9780521066365
Издательство: Cambridge Academ
Рейтинг:
Цена: 11563.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Model theory is concerned with the notions of definition, interpretation and structure in a very general setting, and is applied to a wide range of other areas such as set theory, geometry, algebra and computer science. This book provides an integrated introduction to model theory for graduate students.

Автор: Marker David
Название: Model Theory: An Introduction
ISBN: 0387987606 ISBN-13(EAN): 9780387987606
Издательство: Springer
Рейтинг:
Цена: 6981.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Assumes only a familiarity with algebra at the beginning graduate level; Stresses applications to algebra; Illustrates several of the ways Model Theory can be a useful tool in analyzing classical mathematical structures

Автор: P?l D?m?si
Название: Algebraic Theory of Automata Networks
ISBN: 0898715695 ISBN-13(EAN): 9780898715699
Издательство: Mare Nostrum (Eurospan)
Рейтинг:
Цена: 13919.00 р.
Наличие на складе: Поставка под заказ.

Описание: Algebraic Theory of Automata Networks investigates automata networks as algebraic structures and develops their theory in line with other algebraic theories. Automata networks are investigated as products of automata, and the fundamental results in regard to automata networks are surveyed and extended, including the main decomposition theorems of Letichevsky, and of Krohn and Rhodes. The text summarizes the most important results of the past four decades regarding automata networks and presents many new results discovered since the last book on this subject was published. Several new methods and special techniques are discussed, including characterization of homomorphically complete classes of automata under the cascade product; products of automata with semi-Letichevsky criterion and without any Letichevsky criteria; automata with control words; primitive products and temporal products; network completeness for digraphs having all loop edges; complete finite automata network graphs with minimal number of edges; and emulation of automata networks by corresponding asynchronous ones.

Автор: Viktor A. Gorbunov
Название: Algebraic Theory of Quasivarieties
ISBN: 0306110636 ISBN-13(EAN): 9780306110634
Издательство: Springer
Рейтинг:
Цена: 27245.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The theory of quasivarieties constitutes an independent direction in algebra and mathematical logic and specialises in a fragment of first-order logic.

Автор: Peter B?rgisser
Название: Completeness and Reduction in Algebraic Complexity Theory
ISBN: 3642086047 ISBN-13(EAN): 9783642086045
Издательство: Springer
Рейтинг:
Цена: 18860.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This is a thorough and comprehensive treatment of the theory of NP-completeness in the framework of algebraic complexity theory. Coverage includes Valiant`s algebraic theory of NP-completeness; interrelations with the classical theory as well as the Blum-Shub-Smale model of computation, questions of structural complexity;

Название: Finite Model Theory
ISBN: 3540287876 ISBN-13(EAN): 9783540287872
Издательство: Springer
Рейтинг:
Цена: 19564.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The book presents the main results of descriptive complexity theory, that is, the connections between axiomatizability of classes of finite structures and their complexity with respect to time and space bounds. The logics that are important in this context include fixed-point logics, transitive closure logics, and also certain infinitary languages; their model theory is studied in full detail. Other topics include DATALOG languages, quantifiers and oracles, 0-1 laws, and optimization and approximation problems. The book is written in such a way that the respective parts on model theory and descriptive complexity theory may be read independently. This second edition is a thoroughly revised and enlarged version of the original text.