Set Theory, Carlos A. di Prisco; Jean A. Larson; Joan Bagaria;
Автор: K. Kunen Название: Set Theory An Introduction To Independence Proofs, ISBN: 0444868399 ISBN-13(EAN): 9780444868398 Издательство: Elsevier Science Рейтинг: Цена: 8420.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Studies in Logic and the Foundations of Mathematics, Volume 102: Set Theory: An Introduction to Independence Proofs offers an introduction to relative consistency proofs in axiomatic set theory, including combinatorics, sets, trees, and forcing. The book first tackles the foundations of set theory and infinitary combinatorics. Discussions focus on the Suslin problem, Martin's axiom, almost disjoint and quasi-disjoint sets, trees, extensionality and comprehension, relations, functions, and well-ordering, ordinals, cardinals, and real numbers. The manuscript then ponders on well-founded sets and easy consistency proofs, including relativization, absoluteness, reflection theorems, properties of well-founded sets, and induction and recursion on well-founded relations. The publication examines constructible sets, forcing, and iterated forcing. Topics include Easton forcing, general iterated forcing, Cohen model, forcing with partial functions of larger cardinality, forcing with finite partial functions, and general extensions. The manuscript is a dependable source of information for mathematicians and researchers interested in set theory.
Название: Handbook of Finite State Based Models and Applications ISBN: 1138199354 ISBN-13(EAN): 9781138199354 Издательство: Taylor&Francis Рейтинг: Цена: 9492.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Applicable to any problem that requires a finite number of solutions, finite state-based models (also called finite state machines or finite state automata) have found wide use in various areas of computer science and engineering. Handbook of Finite State Based Models and Applications provides a complete collection of introductory materials on finite state theories, algorithms, and the latest domain applications. For beginners, the book is a handy reference for quickly looking up model details. For more experienced researchers, it is suitable as a source of in-depth study in this area.
The book first introduces the fundamentals of automata theory, including regular expressions, as well as widely used automata, such as transducers, tree automata, quantum automata, and timed automata. It then presents algorithms for the minimization and incremental construction of finite automata and describes Esterel, an automata-based synchronous programming language for embedded system software development.
Moving on to applications, the book explores regular path queries on graph-structured data, timed automata in model checking security protocols, pattern matching, compiler design, and XML processing. It also covers other finite state-based modeling approaches and applications, including Petri nets, statecharts, temporal logic, and UML state machine diagrams.
Автор: Jech Thomas J. Название: Set Theory ISBN: 3642078990 ISBN-13(EAN): 9783642078996 Издательство: Springer Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
This monograph covers the recent major advances in various areas of set theory.
From the reviews:
"One of the classical textbooks and reference books in set theory....The present 'Third Millennium' edition...is a whole new book. In three parts the author offers us what in his view every young set theorist should learn and master....This well-written book promises to influence the next generation of set theorists, much as its predecessor has done." --MATHEMATICAL REVIEWS
Автор: Cunningham Название: Set Theory ISBN: 1107120322 ISBN-13(EAN): 9781107120327 Издательство: Cambridge Academ Рейтинг: Цена: 7602.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Mathematicians have shown that virtually all mathematical concepts and results can be formalized within set theory. This textbook covers the fundamentals of abstract sets and develops these theories within the framework of axiomatic set theory. The proofs presented are rigorous, clear, and suitable for undergraduate and graduate students.
Автор: Schindler, Ralf Название: Set theory ISBN: 3319067249 ISBN-13(EAN): 9783319067247 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Set Theory
Автор: Hans-J?rgen Zimmermann Название: Fuzzy Set Theory — and Its Applications ISBN: 9401579512 ISBN-13(EAN): 9789401579513 Издательство: Springer Рейтинг: Цена: 11179.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This revised book updates the research agenda, with the chapters of possibility theory, fuzzy logic and approximate reasoning, expert systems and control, decision making and fuzzy set models in operations research being restructured and rewritten.
Автор: Xiaodong Liu; Witold Pedrycz Название: Axiomatic Fuzzy Set Theory and Its Applications ISBN: 3642101461 ISBN-13(EAN): 9783642101465 Издательство: Springer Рейтинг: Цена: 27950.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume examines Axiomatic Fuzzy Sets (AFS), in which fuzzy sets and probability are treated in a unified and coherent fashion. It presents AFS as a rigorous mathematical theory as well as a flexible methodology for the development of intelligent systems.
Автор: Michael L. O?€?Leary Название: A First Course in Mathematical Logic and Set Theory ISBN: 0470905883 ISBN-13(EAN): 9780470905883 Издательство: Wiley Рейтинг: Цена: 15357.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Rather than teach mathematics and the structure of proofssimultaneously, this book first introduces logic as the foundationof proofs and then demonstrates how logic applies to mathematicaltopics. This method ensures that readers gain a firmunderstanding of how logic interacts with mathematics and empowersthem to solve more complex problems.
Автор: Miller Название: Descriptive Set Theory and Forcing ISBN: 1107168066 ISBN-13(EAN): 9781107168060 Издательство: Cambridge Academ Рейтинг: Цена: 18216.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: These notes develop the theory of descriptive sets, leading up to a new proof of Louveau`s separation theorem for analytic sets. A first course in mathematical logic and set theory is assumed, making this book suitable for advanced students and researchers.
Автор: Hans-J?rgen Zimmermann Название: Fuzzy Set Theory—and Its Applications ISBN: 9401587043 ISBN-13(EAN): 9789401587044 Издательство: Springer Рейтинг: Цена: 33751.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The book updates the research agenda (which has witnessed profound and startling advances since its inception some 30 years ago) with chapters on possibility theory, fuzzy logic and approximate reasoning, expert systems, fuzzy control, fuzzy data analysis, decision making and fuzzy set models in operations research.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
