الصفحة 44
الصفحة 44
A Dressing Method in Mathematical Physics
The monograph is devoted to the systematic presentation of the so called "dressing method" for solving differential equations (both linear and nonlinear) of mathematical physics. The essence of the dressing method consists in a generation of new non-trivial solutions of a given equation from (maybe trivial) solution of the same or related equation.
A Course on Mathematical Logic
This is a short, distinctive, modern, and motivated introduction to mathematical logic for senior undergraduate and beginning graduate students in mathematics and computer science. Any mathematician who is interested in knowing what logic is concerned with and who would like to learn Gödel’s incompleteness theorems should find this book particularly convenient. The treatment is thoroughly mathematical, and the entire subject has been approached like a branch of mathematics. Serious efforts have been made to make the book suitable for the classroom as well as for self-reading. The book does not strive to be a comprehensive encyclopedia of logic. Still, it gives essentially all the basic concepts and results in mathematical logic. The book prepares students to branch out in several areas of mathematics related to foundations and computability such as logic, axiomatic set theory, model theory, recursion theory, and computability.
A Course in Derivative Securities : Introduction to Theory and Computation
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 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 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.
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.
25 Years of Model Checking : History, Achievements, Perspectives
Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model checking community has achieved many breakthroughs, bridging the gap between theoretical computer science and hardware and software engineering, and it is reaching out to new challenging areas such as system biology and hybrid systems. Model checking is extensively used in the hardware industry and has also been applied to the verification of many types of software. Model checking has been introduced into computer science and electrical engineering curricula at universities worldwide and has become a universal tool for the analysis of systems.
104 Number Theory Problems : From the Training of the USA IMO Team
This challenging problem book by renowned US Olympiad coaches, mathematics teachers, and researchers develops a multitude of problem-solving skills needed to excel in mathematical contests and research in number theory. Offering inspiration and intellectual delight, the problems throughout the book encourage students to express their ideas, conjectures, and conclusions in writing. Applying specific techniques and strategies, readers will acquire a solid understanding of the fundamental concepts and ideas of number theory.
103 Trigonometry Problems : From the Training of the USA IMO Team
103 Trigonometry Problems contains highly-selected problems and solutions used in the training and testing of the USA International Mathematical Olympiad (IMO) team. Though many problems may initially appear impenetrable to the novice, most can be solved using only elementary high school mathematics techniques.
