تحسين النتائح
ترتيب حسب
من
الى
الصفحة 7
الصفحة 7
Analysis and Synthesis of Logics : How to Cut and Paste Reasoning Systems
Starting with simple examples showing the relevance of cutting and pasting logics, the monograph develops a mathematical theory of combining and decomposing logics, ranging from propositional and first-order based logics to higher-order based logics as well as to non-truth functional logics. The theory covers mechanisms for combining semantic structures and deductive systems either of the same or different nature (for instance, two Hilbert calculi or a Hilbert calculus and a tableau calculus). The important issue of preservation of properties is extensively addressed. For instance, sufficient conditions are provided for a combined logic to be sound and complete when the original component logics are known to be sound and complete.
An Introduction to the Mathematical Theory of Dynamic Materials
This book gives a mathematical treatment of a novel concept in material science that characterizes the properties of dynamic materials—that is, material substances whose properties are variable in space and time. Unlike conventional composites that are often found in nature, dynamic materials are mostly the products of modern technology developed to maintain the most effective control over dynamic processes. These materials have diverse applications: tunable left-handed dielectrics, optical pumping with high-energy pulse compression, and electromagnetic stealth technology, to name a few. Of special significance is the participation of dynamic materials in almost every optimal material design in dynamics.
An Introduction to Mathematical Cryptography
This self-contained introduction to modern cryptography emphasizes the mathematics behind the theory of public key cryptosystems and digital signature schemes. The book focuses on these key topics while developing the mathematical tools needed for the construction and security analysis of diverse cryptosystems. Only basic linear algebra is required of the reader; techniques from algebra, number theory, and probability are introduced and developed as required.
Altering nature ; Vol.2 : Religion, Biotechnology, and Public Policy
The two volumes of Altering Nature consider the complex ways that concepts of 'nature' and 'the natural' are understood and the relevance of those understandings to discussions of biotechnology.Volume Two, Religion, Biotechnology, and Public Policy, reviews recent religious and ethical analyses of four specific areas of biotechnology: assisted reproduction, genetic therapy and enhancement, human-machine incorporation, and biodiversity. It identifies and explores the richer normative themes that inform particular debates and suggests ways that policy choices in biotechnology may be illuminated by devoting greater attention to religious perspectives.
Altering nature ; Vol.1 : Concepts of ‘Nature’ and ‘The Natural’ in Biotechnology Debates
Volume One, Concepts of 'Nature' and 'The Natural' in Biotechnology Debates, offers nuanced accounts of the ways that nature is invoked and interpreted, both descriptively and prescriptively, by different disciplines, including perspectives from spirituality and religion, philosophy, science and medicine, law and economics, and aesthetics. In the context of that broad discussion.
Allocating public and private resources across generations : Riding the age waves ; Vol .2
The chapters in this volume greatly develop our understanding of the nature and measurement of transfers, their motives and mechanisms, and their macro-level dimensions, especially in the context of demographic transitions.
Algoritmi : Lo spirito dell’informatica = Algorithms : The spirit of information technology
Algorithms are the heart of computer science and mathematics, since without them the use of computers would not be possible. In this book, which in its English edition has been a longtime bestseller, Harel and Feldmann answer all questions relating to this topic. They talk about the evaluation, correctness and effectiveness of algorithms, but also clarify some doubts about programming techniques and also refer to the very current discussion on quantum computing. The book is useful both as a basic text for an introductory university course in computer science, and as a general introduction to natural sciences, mathematics or engineering.
Algebraic Groups and Lie Groups with Few Factors
Algebraic groups are treated in this volume from a group theoretical point of view and the obtained results are compared with the analogous issues in the theory of Lie groups. The main body of the text is devoted to a classification of algebraic groups and Lie groups having only few subgroups or few factor groups of different type. In particular, the diversity of the nature of algebraic groups over fields of positive characteristic and over fields of characteristic zero is emphasized. This is revealed by the plethora of three-dimensional unipotent algebraic groups over a perfect field of positive characteristic, as well as, by many concrete examples which cover an area systematically. In the final section, algebraic groups and Lie groups having many closed normal subgroups are determined.
Agency and causal explanation in economics
This book provides an exploration of the consequences of the ontological differences between natural and social objects (sometimes described as objects of nature and objects of thought) in the workings of causal and agency relationships.
A Portrait of State-of-the-Art Research at the Technical University of Lisbon
This book contains the edited version of the invited lectures that were delivered by prominent researchers at UTL. This book brings together in a review manner a comprehensive summary of high quality research contri- tions across basic and applied sciences. The contributing papers are organized around the following major areas: – Emergent areas (Nanosciences, Quantic Computations and Infor- tion, Risk and Volatility in Financial Markets); – Basic Sciences (Mathematics, Physics, Chemistry and Materials); – Social Sciences, Economics and Management Sciences; – Life Sciences and Biotechnology; – Engineering and Technologies – Nature, Environment and Sustainability; – Public Health, Food Quality and Safety; – Health and Sport Sciences; – Urbanism, Transports, Architecture, Arts and Design.
A History of Parametric Statistical Inference from Bernoulli to Fischer, 1713-1935
This is a history of parametric statistical inference, written by one of the most important historians of statistics of the 20th century, Anders Hald. This book can be viewed as a follow-up to his two most recent books, although this current text is much more streamlined and contains new analysis of many ideas and developments. And unlike his other books, which were encyclopedic by nature, this book can be used for a course on the topic, the only prerequisites being a basic course in probability and statistics.
A Concise Introduction to Mathematical Logic
This book is unique in that it is more concise than most others; the material is treated in a streamlined fashion. This allows the lecturer to select the material for a one-semester course on a topic more easily. These initial chapters cover just the material for an introductory course on mathematical logic combined with the necessary material from set theory. Chapter 3 is partly of a descriptive nature, providing a view towards decision problems, automated theorem proving, non-standard models and related subjects. The other chapters contain material on logic programming for computer scientists, model theory, recursion theory, Gödel's Incompleteness Theorems, and applications of mathematical logic. Philosophical and foundational problems of mathematics are discussed where appropriate.
A Concise Course on Stochastic Partial Differential Equations
Concentrate on (nonlinear) stochastic partial differential equations (SPDE) of evolutionary type. All kinds of dynamics with stochastic influence in nature or man-made complex systems can be modelled by such equations.
A Climate of Justice : An Ethical Foundation for Environmentalism
This book helps readers combine history, politics, and ethics to address the most pressing problem facing the world today: environmental survival. In A Climate of Justice, Marvin Brown connects the environmental crisis to basic questions of economic, social, and racial justice. Brown shows how our current social climate maintains systemic injustices, and he uncovers resources for change through a civic ethics of repair and reciprocity.
A Benchmark Approach to Quantitative Finance
The general framework is used to provide an understanding of the nature of stochastic volatility. The book is intended for a wide audience that includes quantitative analysts, postgraduate students and practitioners in finance, economics and insurance. It aims to be a self-contained, accessible but mathematically rigorous introduction to quantitative finance for readers that have a reasonable mathematical or quantitative background. Finally, the book should stimulate interest in the benchmark approach by describing some of its power and wide applicability.
18 Unconventional Essays on the Nature of Mathematics
This essays edited by Reuben Hersh contains frank facts and opinions from leading mathematicians, philosophers, sociologists, cognitive scientists, and even an anthropologist. Each essay provides a challenging and thought-provoking look at recent advances in the philosophy of mathematics, demonstrating the possibilities of thinking fresh, sticking close to actual practice, and fearlessly letting go of standard shibboleths.
