Автор: F. Richman Название: Constructive Mathematics ISBN: 3540108505 ISBN-13(EAN): 9783540108504 Издательство: Springer Рейтинг: Цена: 5583.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Focusing on the foundations, this volume explores both classical and constructive mathematics. Its great advantage is to extend the traditional discussion of the foundations of mathematics and to render it at the same time both subtle and more differentiated.
Описание: On the occasion of his 90th birthday Louis Kriesberg provides an informative account of his career, tracing the trajectory of his discoveries, contributions, and stumbles as he sought to help the advance toward a more sustainable and just peace in the world. His work contributes to ideas and practices in several areas of conflict studies, notably intractable conflicts and their transformation, reconciliation, conflict analysis, and waging conflicts constructively. Although neither an autobiography nor a memoir, he embeds the course of his work in the context of historical events and in the evolving fields of peace studies and conflict resolution. In addition, he discusses the interaction of those fields with major conflicts. The book includes seven previously-published exemplary pieces on these and other topics, a comprehensive list of his publications, and several photos. A discussion of Kriesberg’s work and its significance is provided by George A. Lopez, Professor of Peace Studies, University of Notre Dame.
Автор: Theo A.F. Kuipers Название: From Instrumentalism to Constructive Realism ISBN: 0792360869 ISBN-13(EAN): 9780792360865 Издательство: Springer Рейтинг: Цена: 27251.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Suitable for open minded philosophers and scientists, this book explains and justifies the scientist`s intuition that the debate among philosophers about instrumentalism and realism has almost no practical consequences.
Автор: Michael F. Barnsley Название: Constructive Approximation ISBN: 1489968164 ISBN-13(EAN): 9781489968166 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Johnson Название: Constructive Controversy ISBN: 1107461502 ISBN-13(EAN): 9781107461505 Издательство: Cambridge Academ Рейтинг: Цена: 5386.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Using the social psychological theory of `constructive controversy`, this book analyses the nature of disagreement among members of decision-making groups. It addresses questions such as: do differences of opinion enhance or obstruct creative thinking? And why do people make decisions based only on their own perspective without considering alternative viewpoints?
Автор: M.J. Beeson Название: Foundations of Constructive Mathematics ISBN: 364268954X ISBN-13(EAN): 9783642689543 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book is about some recent work in a subject usually considered part of "logic" and the" foundations of mathematics", but also having close connec- tions with philosophy and computer science. Namely, the creation and study of "formal systems for constructive mathematics". The general organization of the book is described in the" User's Manual" which follows this introduction, and the contents of the book are described in more detail in the introductions to Part One, Part Two, Part Three, and Part Four. This introduction has a different purpose; it is intended to provide the reader with a general view of the subject. This requires, to begin with, an elucidation of both the concepts mentioned in the phrase, "formal systems for constructive mathematics". "Con- structive mathematics" refers to mathematics in which, when you prove that l a thing exists (having certain desired properties) you show how to find it. Proof by contradiction is the most common way of proving something exists without showing how to find it - one assumes that nothing exists with the desired properties, and derives a contradiction. It was only in the last two decades of the nineteenth century that mathematicians began to exploit this method of proof in ways that nobody had previously done; that was partly made possible by the creation and development of set theory by Georg Cantor and Richard Dedekind.
Автор: Giovanni Sommaruga Название: History and Philosophy of Constructive Type Theory ISBN: 0792361806 ISBN-13(EAN): 9780792361800 Издательство: Springer Рейтинг: Цена: 27251.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A comprehensive survey of Martin-Lof`s constructive type theory, considerable parts of which have only been presented by Martin-Lof in lecture form or as part of conference talks. Readership: Comprehensive accounts of the history and philosophy of constructive type theory and a considerable amount of related material.
Автор: Harold M. Edwards Название: Essays in Constructive Mathematics ISBN: 1489990186 ISBN-13(EAN): 9781489990181 Издательство: Springer Рейтинг: Цена: 15372.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Contents and treatment are fresh and very different from the standard treatmentsPresents a fully constructive version of what it means to do algebraThe exposition is not only clear, it is friendly, philosophical, and considerate even to the most naive or inexperienced reader
Автор: Vladimir F. Demyanov; Panos M. Pardalos; Mikhail B Название: Constructive Nonsmooth Analysis and Related Topics ISBN: 1493946315 ISBN-13(EAN): 9781493946310 Издательство: Springer Рейтинг: Цена: 13275.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume contains papers from the International Conference on Constructive Nonsmooth Analysis (CNSA) held in St. Petersburg, Russia, June 2012. It explores this powerful instrument in applied mathematics.
Автор: Nicolas Clerbout; Shahid Rahman Название: Linking Game-Theoretical Approaches with Constructive Type Theory ISBN: 3319190628 ISBN-13(EAN): 9783319190624 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This title links two of the most dominant research streams in philosophy of logic, namely game theory and proof theory. The fifth chapter develops the algorithm from CTT-demonstrations to dialogical strategies.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
