Relations : concrete, abstract, and applied :, Toth, Herbert,
Автор: Gunther Schmidt; Thomas Str?hlein Название: Relations and Graphs ISBN: 3642779700 ISBN-13(EAN): 9783642779701 Издательство: Springer Рейтинг: Цена: 121110.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Relational methods can be found at various places incomputer science, notably in data base theory, relationalsemantics of concurrency, relationaltype theory, analysisof rewriting systems, and modern programming languagedesign. Itexplains how to use relational and graph-theoretic methodssystematically in computer science.
Автор: Pascal Matsakis; Les M. Sztandera Название: Applying Soft Computing in Defining Spatial Relations ISBN: 3662002949 ISBN-13(EAN): 9783662002940 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Leonid Kitainik Название: Fuzzy Decision Procedures with Binary Relations ISBN: 9401048665 ISBN-13(EAN): 9789401048668 Издательство: Springer Рейтинг: Цена: 139750.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: In decision theory there are basically two appr~hes to the modeling of individual choice: one is based on an absolute representation of preferences leading to a ntDnerical expression of preference intensity.
Автор: Bajnok Bela Название: Invitation to Abstract Mathematics ISBN: 1461466350 ISBN-13(EAN): 9781461466352 Издательство: Springer Рейтинг: Цена: 65210.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Presenting historical perspective and notes on important figures in mathematics, covering current activity in the mathematical community, and raising famous and lesser-known questions, this book shows that abstract mathematics is a vibrant, dynamic enterprise.
Автор: Matthew Harrison-Trainor Название: Degree Spectra of Relations on a Cone ISBN: 1470428393 ISBN-13(EAN): 9781470428396 Издательство: Mare Nostrum (Eurospan) Рейтинг: Цена: 77610.00 T Наличие на складе: Невозможна поставка. Описание: Let $\mathcal A$ be a mathematical structure with an additional relation $R$. The author is interested in the degree spectrum of $R$, either among computable copies of $\mathcal A$ when $(\mathcal A,R)$ is a ``natural`` structure, or (to make this rigorous) among copies of $(\mathcal A,R)$ computable in a large degree d.
Автор: Chi Tat Chong, Liang Yu Название: Recursion Theory: Computational Aspects of Definability ISBN: 3110275554 ISBN-13(EAN): 9783110275551 Издательство: Walter de Gruyter Цена: 138080.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This monograph presents recursion theory from a generalized point of view centered on the computational aspects of definability. A major theme is the study of the structures of degrees arising from two key notions of reducibility, the Turing degrees and the hyperdegrees, using techniques and ideas from recursion theory, hyperarithmetic theory, and descriptive set theory.The emphasis is on the interplay between recursion theory and set theory, anchored on the notion of definability. The monograph covers a number of fundamental results in hyperarithmetic theory as well as some recent results on the structure theory of Turing and hyperdegrees. It also features a chapter on the applications of these investigations to higher randomness.
Автор: Shelah, Saharon Название: Classification theory for abstract elementary classes ISBN: 1904987729 ISBN-13(EAN): 9781904987727 Издательство: Неизвестно Рейтинг: Цена: 49660.00 T Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Shelah, Saharon Название: Classification theory for abstract elementary classes ISBN: 1904987710 ISBN-13(EAN): 9781904987710 Издательство: Неизвестно Рейтинг: Цена: 49660.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: An abstract elementary class is a class of structures of the same vocabulary (like a class of rings, or a class of fields), with a partial order that generalizes the relation "A is a substructure (or an elementary substructure) of B". The requirements are that the class is closed under isomorphism, and that isomorphic structures have isomorphic (generalized) substructures; we also require that our classes share some of the most basic properties of elementary classes, like closure under unions of increasing chains of substructures. We would like to classify this general family; in the sense of proving dichotomies: either we can understand the structure of all models in our class or there are many to some extent. More specifically we would like to generalize the theory about categoricity and superstability to this context.
Автор: William Lane Craig Название: God and Abstract Objects ISBN: 3319553836 ISBN-13(EAN): 9783319553832 Издательство: Springer Рейтинг: Цена: 121110.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book is an exploration and defense of the coherence of classical theism`s doctrine of divine aseity in the face of the challenge posed by Platonism with respect to abstract objects.
Автор: Egon B?rger; Michael Butler; Jonathan P. Bowen; Pa Название: Abstract State Machines, B and Z ISBN: 3540876022 ISBN-13(EAN): 9783540876021 Издательство: Springer Рейтинг: Цена: 60550.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Constitutes the proceedings of the First International Conference of Abstract State Machines, B and Z, ABZ 2008, held in London, UK, in September 2008. This title organizes the contributions in topical sections on abstract state machines, B papers, Z papers, ABZ short papers, and the papers of the Verified Software Repository Network workshop.
Автор: Czelakowski Название: Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science ISBN: 3319747711 ISBN-13(EAN): 9783319747712 Издательство: Springer Рейтинг: Цена: 79190.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: A Mathematical Life; Pigozzi, Don.- Assertional logics, truth-equational logics, and the hierarchiesof abstract algebraic logic; Albuquerque, Hugo, Font, Josep Maria, Jansana, Ramon, and Moraschini, Tommaso.- Deduction-Detachment Theorem and Gentzen-Style Deductive Systems; Babenyshev, Sergey.- Introducing Boolean Semilattices; Bergman, Clifford.- The Equationally-Defined Commutator in Quasivarieties Generated by Two-Element Algebras; Czelakowski, Janusz.- A short overview of Hidden Logic; Ferreirim, Isabel and Martins, Manuel A.- Absorption and directed J onsson terms; Kazda, Alexandr, Kozik, Marcin, McKenzie, Ralph and Moore, Matthew.- Relatively congruence modular quasivarieties of modules; Kearnes, Keith A. - The computational complexity of deciding whether a finite algebra generates a minimal variety; McNulty, George F.- Characterization of protoalgebraic k-deductive systems; Palasinska; Katarzyna.- Diagrammatic duality; Romanowska, Anna B. and Smith, Jonathan D.H.- Boolean product representations of algebras via binary polynomials; Salibra, Antonino, Ledda, Antonio, and Paoli, Francesco.- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic; Spinks, Matthew and Veroff, Robert.- Possible classification of finite-dimensional compact Hausdorfftopological algebras; Taylor, Walter.- Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems; Voutsadakis; George.
Автор: Font Josep Maria Название: Abstract Algebraic Logic. an Introductory Textbook ISBN: 1848902077 ISBN-13(EAN): 9781848902077 Издательство: Неизвестно Цена: 36790.00 T Наличие на складе: Есть у поставщика Поставка под заказ.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz