Автор: Nederpelt Название: Type Theory and Formal Proof ISBN: 110703650X ISBN-13(EAN): 9781107036505 Издательство: Cambridge Academ Рейтинг: Цена: 10611.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This book provides a gentle step-by-step introduction in the art of formalizing mathematics on the basis of type theory. It is suitable for a broad audience, ranging from undergraduate students to researchers.
Описание: ?? 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.
Описание: 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.
Автор: Wazwaz Abdul-Majid Название: First Course In Integral Equations, A (Second Edition) ISBN: 9814675121 ISBN-13(EAN): 9789814675123 Издательство: World Scientific Publishing Рейтинг: Цена: 6336.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This second edition integrates the newly developed methods with classical techniques to give both modern and powerful approaches for solving integral equations.
Автор: Anthony, M, , Biggs N. Название: Mathematics for economics and finance: methods and modelling ISBN: 0521559138 ISBN-13(EAN): 9780521559133 Издательство: Cambridge Academ Рейтинг: Цена: 7126.00 р. Наличие на складе: Поставка под заказ.
Описание: An introduction to mathematical modelling in economics and finance for students of both economics and mathematics. Throughout, the stress is firmly on how the mathematics relates to economics, illustrated with copious examples and exercises that will foster depth of understanding.
Автор: Watrous, John (university Of Waterloo, Ontario) Название: The theory of quantum information ISBN: 1107180562 ISBN-13(EAN): 9781107180567 Издательство: Cambridge Academ Рейтинг: Цена: 11563.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Intended for graduate students and researchers, this book presents a formal development of the mathematical theory of quantum information. Largely self-contained, with clear proofs and a wide range of exercises, it will help the reader grasp the fundamental facts and techniques that form the mathematical foundations of the subject.
Автор: 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.
Автор: 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.
Автор: 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
Описание: Every age and every culture has relied on the incorporation of mathematics in their works of architecture to imbue the built environment with meaning and order.
Описание: Every age and every culture has relied on the incorporation of mathematics in their works of architecture to imbue the built environment with meaning and order.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
