Refine Results
Sort By
From
To
Page 30
Page 30
A Modern Perspective on Type Theory : From its Origins until Today
The first part of the book is historical, yet at the same time, places historical systems (like Russell's RTT) in the modern setting. The second part deals with modern type theory as it developed since the 1940s, and with the role of propositions as types (or proofs as terms), but at the same time, places another historical system (the proof checker Automath) in the modern setting. The third part uses this bridging in the first two parts between historical and modern systems to propose new systems that bring more advantages together. This book has much to offer to mathematicians, logicians and to computer scientists in general. It will have considerable influence for many years to come.' - Henk Barendregt
A Mathematical Introduction to Conformal Field Theory
The first part of this book gives a detailed, self-contained and mathematically rigorous exposition of classical conformal symmetry in n dimensions and its quantization in two dimensions. In particular, the conformal groups are determined and the appearance of the Virasoro algebra in the context of the quantization of two-dimensional conformal symmetry is explained via the classification of central extensions of Lie algebras and groups. The second part surveys some more advanced topics of conformal field theory, such as the representation theory of the Virasoro algebra, conformal symmetry within string theory, an axiomatic approach to Euclidean conformally covariant quantum field theory and a mathematical interpretation of the Verlinde formula in the context of moduli spaces of holomorphic vector bundles on a Riemann surface.
A Logical Approach to Philosophy : Essays in Honour of Graham Solomon
The papers in this collection are united by an approach to philosophy. They illustrate the manifold contributions that logic makes to philosophical progress, both by the application of formal methods to traditional philosophical problems and by opening up new avenues of inquiry as philosophers sort out the implications of new and often surprising technical results. Contributions include new technical results rich with philosophical significance for contemporary metaphysics, attempts to diagnose the philosophical significance of some recent technical results, philosophically motivated proposals for new approaches to negation, investigations in the history and philosophy of logic, and contributions to epistemology and philosophy of science that make essential use of logical techniques and results.
A Linear Systems Primer
Based on a streamlined presentation of the authors' successful work Linear Systems, this textbook provides an introduction to systems theory with an emphasis on control. The material presented is broad enough to give the reader a clear picture of the dynamical behavior of linear systems as well as their advantages and limitations. Fundamental results and topics essential to linear systems theory are emphasized. The emphasis is on time-invariant systems, both continuous- and discrete-time.
A life cycle for clusters? : The dynamics of agglomeration, change, and adaption
The phenomenon of non-random spatial concentrations of firms in one or few related sectors (clusters) is intensively debated in economic theory and policy. The euphoria about successful clusters however neglects that historically, many thriving clusters did deteriorate into old industrial areas. This book studies the determinants of cluster survival by analyzing their adaptability to change in the economic environment. Linking theoretic knowledge with empirical observations, a simulation model (based in the N/K method) is developed, which explains when and why the cluster's architecture assists or hampers adaptability. It is found that architectures with intermediate degrees of division of labour and more collective governance forms foster adaptability. Cluster development is thus path dependent as architectures having evolved over time impact on the likelihood of future survival.
A History of Thermodynamics : The Doctrine of Energy and Entropy
The development of thermodynamics in the second half of the 19th century has had a strong impact on both technology and natural philosophy. It is true that the steam engine for the conversion of heat into work existed before thermodynamics was developed as a branch of physics. However, the systematic theory improved the conversion process, and it succeeded in developing other processes essential to modern life, notably refrigeration and rectification. So, altogether thermodynamics has provided humanity with cheap energy, and cheap fuel, -- consequently with cheap, and abundant, and unspoiled food. Thus thermodynamics has made populations grow, and life expectancy increase beyond anything people could possibly have imagined 200 years ago.
A History of Abstract Algebra
This presentation provides an account of the intellectual lineage behind many of the basic concepts, results, and theories of abstract algebra.The development of abstract algebra was propelled by the need for new tools to address certain classical problems that appeared unsolvable by classical means. A major theme of the approach in this book is to show how abstract algebra has arisen in attempts to solve some of these classical problems, providing context from which the reader may gain a deeper appreciation of the mathematics involved.
A Guide to Lead-free Solders : Physical Metallurgy and Reliability
While tin/lead solders have dominated the electronics industry for many years, environmental considerations and new legislation are forcing change. Backed by more than ten years of research in Pb-free solders, many electronics manufacturers are poised for conversion. A Guide to Lead-free Solders is intended as a tool to help industry as it moves into a new era in the production and use of solders. An overview of the principles of soldering technology is provided beginning with the theory underlying each concept. Focusing on the most up-to-date methods for testing and characterization, these theories are then reinforced by experimental examples and industrial applications.
A Geometry of Approximation : Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns
A Geometry of Approximation' addresses Rough Set Theory, a field of interdisciplinary research first proposed by Zdzislaw Pawlak in 1982, and focuses mainly on its logic-algebraic interpretation. The theory is embedded in a broader perspective that includes logical and mathematical methodologies pertaining to the theory, as well as related epistemological issues. Any mathematical technique that is introduced in the book is preceded by logical and epistemological explanations. Intuitive justifications are also provided, insofar as possible, so that the general perspective is not lost.
A First Course in Statistics for Signal Analysis
This essentially self-contained, deliberately compact, and user-friendly textbook is designed for a first, one-semester course in statistical signal analysis for a broad audience of students in engineering and the physical sciences. The emphasis throughout is on fundamental concepts and relationships in the statistical theory of stationary random signals, explained in a concise, yet fairly rigorous presentation.
A First Course in Modular Forms
This book introduces the theory of modular forms with an eye toward the Modularity Theorem: All rational elliptic curves arise from modular forms. The topics covered include • elliptic curves as complex tori and as algebraic curves, • modular curves as Riemann surfaces and as algebraic curves, • Hecke operators and Atkin–Lehner theory, • Hecke eigenforms and their arithmetic properties, • the Jacobians of modular curves and the Abelian varieties associated to Hecke eigenforms, • elliptic and modular curves modulo p and the Eichler–Shimura Relation, • the Galois representations associated to elliptic curves and to Hecke eigenforms. As it presents these ideas, the book states the Modularity Theorem in various forms, relating them to each other and touching on their applications to number theory.
A First Course in Harmonic Analysis
This book is a primer in harmonic analysis using an elementary approach. Its first aim is to provide an introduction to Fourier analysis, leading up to the Poisson Summation Formula. Secondly, it makes the reader aware of the fact that both, the Fourier series and the Fourier transform, are special cases of a more general theory arising in the context of locally compact abelian groups. The third goal of this book is to introduce the reader to the techniques used in harmonic analysis of noncommutative groups. There are two new chapters in this new edition. One on distributions will complete the set of real variable methods introduced in the first part. The other on the Heisenberg Group provides an example of a group that is neither compact nor abelian, yet is simple enough to easily deduce the Plancherel Theorem.
A Course in Enumeration
This book leads the reader in a leisurely way from the basic notions to a variety of topics, ranging from algebra to statistical physics. Its aim is to introduce the student to a fascinating field, and to be a source of information for the professional mathematician who wants to learn more about the subject.
A Course in Derivative Securities : Introduction to Theory and Computation
This book aims at a middle ground between the introductory books on derivative securities and those that provide advanced mathematical treatments. It is written for mathematically capable students who have not necessarily had prior exposure to probability theory, stochastic calculus, or computer programming. It provides derivations of pricing and hedging formulas (using the probabilistic change of numeraire technique) for standard options, exchange options, options on forwards and futures, quanto options, exotic options, caps, floors and swaptions, as well as VBA code implementing the formulas. It also contains an introduction to Monte Carlo, binomial models, and finite-difference methods.
A Course in Credibility Theory and its Applications
It covers the subject of Credibility Theory extensively and includes most aspects of this topic from the simplest case to the most general dynamic model. The first four chapters contain plenty of material The book therefore treats explicitly the tasks which the actuary encounters in his daily work such as estimation of loss ratios, claim frequencies and claim sizes. The models are worked out in detail (including the estimation of structural parameters) so that they can immediately be applied in practice. Most exercises are based on real insurance data and real situations from practice and many of them have the characteristics of a case study. The extension to practical problems arising from the general area of finance is often quite straightforward. This book deserves a place on the bookshelf of every actuary and mathematician who works, teaches or does research in the area of insurance and finance.for a first course on Credibility.
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 Century of Ideas : Perspectives from Leading Scientists of the 20th Century
Shortly after its inauguration in 1985 the Birla Science Centre, Hyderabad, India, started a series of lectures by Nobel Laureates and other scientists of international renown, usually in Physics and Astronomy, sometimes in Life Sciences and Chemistry. The present collection mostly consists of lectures on frontier topics. The transcript of each lecture is preceded by a short biography of the Nobel Laureate/Scientist in question.
A Buddhist Approach to International Relations : Radical Interdependence
This book. Many scholars have wondered if a non-Western theory of international politics founded on different premises, be it from Asia or from the “Global South,” could release international relations from the grip of a Western, “Westphalian” model.
A Basic Course on Probability Theory
The book develops the necessary background in probability theory underlying diverse treatments of stochastic processes and their wide-ranging applications. Theorems from analysis and measure theory used in the main text are provided in comprehensive appendices, along with their proofs, for ease of reference.
40 Puzzles and Problems in Probability and Mathematical Statistics
"40 Puzzles and Problems in Probability and Mathematical Statistics" is intended to teach the reader to think probabilistically by solving challenging, non-standard probability problems. The motivation for this clearly written collection lies in the belief that challenging problems help to develop, and to sharpen, our probabilistic intuition much better than plain-style deductions from abstract concepts. The selected problems fall into two broad categories. Problems related to probability theory come first, followed by problems related to the application of probability to the field of mathematical statistics. All problems seek to convey a non-standard aspect or an approach which is not immediately obvious.
