Автор: Mark V. Sapir; Victor S. Guba; Mikhail V. Volkov Название: Combinatorial Algebra: Syntax and Semantics ISBN: 3319375903 ISBN-13(EAN): 9783319375908 Издательство: Springer Рейтинг: Цена: 8384.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Combinatorial Algebra: Syntax and Semantics provides comprehensive account of many areas of combinatorial algebra. It contains self-contained proofs of more than 20 fundamental results, both classical and modern. This includes Golod-Shafarevich and Olshanskii's solutions of Burnside problems, Shirshov's solution of Kurosh's problem for PI rings, Belov's solution of Specht's problem for varieties of rings, Grigorchuk's solution of Milnor's problem, Bass-Guivarc'h theorem about growth of nilpotent groups, Kleiman's solution of Hanna Neumann's problem for varieties of groups, Adian's solution of von Neumann-Day's problem, Trahtman's solution of the road coloring problem of Adler, Goodwyn and Weiss. The book emphasize several universal" tools, such as trees, subshifts, uniformly recurrent words, diagrams and automata.
With over 350 exercises at various levels of difficulty and with hints for the more difficult problems, this book can be used as a textbook, and aims to reach a wide and diversified audience. No prerequisites beyond standard courses in linear and abstract algebra are required. The broad appeal of this textbook extends to a variety of student levels: from advanced high-schoolers to undergraduates and graduate students, including those in search of a Ph.D. thesis who will benefit from the "Further reading and open problems" sections at the end of Chapters 2 -5.
The book can also be used for self-study, engaging those beyond t
he classroom setting: researchers, instructors, students, virtually anyone who wishes to learn and better understand this important area of mathematics.
Автор: Fajstrup, Lisbeth Goubault, Eric Walberg, Mireille Mourgues, Anne-marie Haucourt, Emmanuel Mimram, Samuel Raussen, Martin Название: Directed algebraic topology and concurrency ISBN: 3319153978 ISBN-13(EAN): 9783319153971 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This monograph presents an application of concepts and methods from algebraic topology to models of concurrent processes in computer science and their analysis.Taking well-known discrete models for concurrent processes in resource management as a point of departure, the book goes on to refine combinatorial and topological models.
Автор: Dov M. Gabbay; N. Olivetti Название: Goal-Directed Proof Theory ISBN: 0792364732 ISBN-13(EAN): 9780792364733 Издательство: Springer Рейтинг: Цена: 21655.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Features a methodology for automated deduction in non-classical logics. In this book, the methodology is applied to a range of non-classical systems, covering intuitionistic, intermediate, modal and substructural logics. It can also be used as an introduction to these logical systems from a procedural perspective.
Автор: Jon Barwise Название: The Syntax and Semantics of Infinitary Languages ISBN: 3540042423 ISBN-13(EAN): 9783540042426 Издательство: Springer Рейтинг: Цена: 6288.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
