Автор: Petr Hajek Название: Metamathematics of First-Order Arithmetic ISBN: 1107168414 ISBN-13(EAN): 9781107168411 Издательство: Cambridge Academ Рейтинг: Цена: 16743.00 р. 23918.00-30% Наличие на складе: Есть (1 шт.) Описание: This much-needed monograph on the metamathematics of first-order arithmetic pays particular attention to subsystems (fragments) of Peano arithmetic and gives the reader a deeper understanding of the role of the axiom schema of induction and of the phenomenon of incompleteness.
Автор: Plato Название: Elements of Logical Reasoning ISBN: 110761077X ISBN-13(EAN): 9781107610774 Издательство: Cambridge Academ Рейтинг: Цена: 3802.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book is an accessible and scientifically rigorous introduction to the principles of logical reasoning, covering many topics including the deductive machinery of metalogic, otherwise known as the nature and function of proofs. It will be valuable to students of logic, mathematics and computer science.
Автор: Plato Название: Elements of Logical Reasoning ISBN: 1107036593 ISBN-13(EAN): 9781107036598 Издательство: Cambridge Academ Рейтинг: Цена: 12355.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book is an accessible and scientifically rigorous introduction to the principles of logical reasoning, covering many topics including the deductive machinery of metalogic, otherwise known as the nature and function of proofs. It will be valuable to students of logic, mathematics and computer science.
Автор: Kanchan Das, Mangey Ram Название: Mathematical Modelling of System Resilience ISBN: 8770220700 ISBN-13(EAN): 9788770220705 Издательство: Taylor&Francis Рейтинг: Цена: 14851.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Almost all the systems in our world, including technical, social, economic, and environmental systems, are becoming interconnected and increasingly complex, and as such they are vulnerable to various risks. Due to this trend, resilience creation is becoming more important to system managers and decision makers, this to ensure sustained performance. In order to be able to ensure an acceptable sustained performance under such interconnectedness and complexity, resilience creation with a system approach is a requirement. Mathematical modeling based approaches are the most common approach for system resilience creation.
Mathematical Modelling of System Resilience covers resilience creation for various system aspects including a functional system of the supply chain, overall supply chain systems; various methodologies for modeling system resilience; satellite-based approach for addressing climate related risks, repair-based approach for sustainable performance of an engineering system, and modeling measures of the reliability for a vertical take-off and landing system. Each of the chapters contributes state of the art research for the relevant resilience related topic covered in the chapter.
Technical topics covered in the book include:
- Supply chain risk, vulnerability and disruptions
- System resilience for containing failures and disruptions
- Resiliency considering frequency and intensities of disasters
- Resilience performance index
- Resiliency of electric traction system
- Degree of resilience
- Satellite observation and hydrological risk
- Latitude of Resilience
- On-line repair for resilience
- Reliability design for Vertical Takeoff and landing Prototype
Описание: This is a textbook on classical polynomial and rational approximation theory for the twenty-first century. Aimed at advanced undergraduates and graduate students across all of applied mathematics, it uses MATLAB to teach the field’s most important ideas and results.
Approximation Theory and Approximation Practice, Extended Edition differs fundamentally from other works on approximation theory in a number of ways: its emphasis is on topics close to numerical algorithms; concepts are illustrated with Chebfun; and each chapter is a PUBLISHable MATLAB M-file, available online.
The book centers on theorems and methods for analytic functions, which appear so often in applications, rather than on functions at the edge of discontinuity with their seductive theoretical challenges. Original sources are cited rather than textbooks, and each item in the bibliography is accompanied by an editorial comment. In addition, each chapter has a collection of exercises, which span a wide range from mathematical theory to Chebfun-based numerical experimentation.
Описание: Treats the dynamics of both iteration of functions and solutions of ordinary differential equations. This book introduces various concepts for iteration of functions where the geometry is simpler, but results are interpreted for differential equations. It concentrates on properties of the whole system or subsets of the system.
Автор: David Williams Название: Weighing the odds ISBN: 052100618X ISBN-13(EAN): 9780521006187 Издательство: Cambridge Academ Рейтинг: Цена: 11880.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A lively book enriched with examples drawn from all manner of applications. Statistics chapters present both the Frequentist and Bayesian approaches, emphasising Confidence Intervals rather than Hypothesis Tests. C or WinBUGS code is provided for computational examples and simulations. Many exercises are included; hints or solutions are often provided.
Автор: Smullyan Raymond M Название: Beginner`S Further Guide To Mathematical Logic, A ISBN: 9814725722 ISBN-13(EAN): 9789814725729 Издательство: World Scientific Publishing Рейтинг: Цена: 3168.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 'A wealth of examples to which solutions are given permeate the text so the reader will certainly be active.'The Mathematical GazetteThis is the final book written by the late great puzzle master and logician, Dr. Raymond Smullyan.This book is a sequel to my Beginner's Guide to Mathematical Logic.The previous volume deals with elements of propositional and first-order logic, contains a bit on formal systems and recursion, and concludes with chapters on G del's famous incompleteness theorem, along with related results.The present volume begins with a bit more on propositional and first-order logic, followed by what I would call a 'fein' chapter, which simultaneously generalizes some results from recursion theory, first-order arithmetic systems, and what I dub a 'decision machine.' Then come five chapters on formal systems, recursion theory and metamathematical applications in a general setting. The concluding five chapters are on the beautiful subject of combinatory logic, which is not only intriguing in its own right, but has important applications to computer science. Argonne National Laboratory is especially involved in these applications, and I am proud to say that its members have found use for some of my results in combinatory logic.This book does not cover such important subjects as set theory, model theory, proof theory, and modern developments in recursion theory, but the reader, after studying this volume, will be amply prepared for the study of these more advanced topics.
Автор: Saunders MacLane Название: Mathematics Form and Function ISBN: 1461293405 ISBN-13(EAN): 9781461293408 Издательство: Springer Рейтинг: Цена: 14533.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book records my efforts over the past four years to capture in words a description of the form and function of Mathematics, as a background for the Philosophy of Mathematics. My efforts have been encouraged by lec- tures that I have given at Heidelberg under the auspices of the Alexander von Humboldt Stiftung, at the University of Chicago, and at the University of Minnesota, the latter under the auspices of the Institute for Mathematics and Its Applications. Jean Benabou has carefully read the entire manuscript and has offered incisive comments.
George Glauberman, Car- los Kenig, Christopher Mulvey, R. Narasimhan, and Dieter Puppe have provided similar comments on chosen chapters. Fred Linton has pointed out places requiring a more exact choice of wording.
Many conversations with George Mackey have given me important insights on the nature of Mathematics. I have had similar help from Alfred Aeppli, John Gray, Jay Goldman, Peter Johnstone, Bill Lawvere, and Roger Lyndon. Over the years, I have profited from discussions of general issues with my colleagues Felix Browder and Melvin Rothenberg.
Ideas from Tammo Tom Dieck, Albrecht Dold, Richard Lashof, and Ib Madsen have assisted in my study of geometry. Jerry Bona and B. L.
Foster have helped with my examina- tion of mechanics. My observations about logic have been subject to con- structive scrutiny by Gert Miiller, Marian Boykan Pour-El, Ted Slaman, R. Voreadou, Volker Weispfennig, and Hugh Woodin.
Автор: Serovajsky, Simon Название: Architecture of Mathematics ISBN: 1138601055 ISBN-13(EAN): 9781138601055 Издательство: Taylor&Francis Рейтинг: Цена: 19906.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book describes the logical structure of Mathematics from its foundations to its real-world applications. It describes the many interweaving relationships between different areas of mathematics and its practical applications, and as such provides unique reading for professional mathematicians and nonmathematicians alike.
Описание: ?? Provides a concise but rigorous account of the theoretical background of FDA. ?? Introduces topics in various areas of mathematics, probability and statistics from the perspective of FDA. ?? Presents a systematic exposition of the fundamental statistical issues in FDA.
Автор: Decker Название: A First Course in Computational Algebraic Geometry ISBN: 1107612535 ISBN-13(EAN): 9781107612532 Издательство: Cambridge Academ Рейтинг: Цена: 2534.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This quick guide is designed for young students with some background in algebra who wish to perform their first experiments in computational geometry. It provides a compact presentation of the basic theory, with particular emphasis on explicit computational examples using the computer algebra system Singular.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
