This story of a highly intelligent observer of the turbulent 20th century who was intimately involved as the secretary and bodyguard to Leon Trotsky is based on extensive interviews with the subject, Jean van Heijenoort, and his family, friends, and colleagues. The author has captured the personal drama and the professional life of her protagonist--ranging from the political passion of a young intellectual to the scientific and historic work in the most abstract and yet philosophically important area of logic--in a very readable narrative.

Logic is now widely recognized to be one of the foundational disciplines of computing with applications in virtually all aspects of the subject, from software engineering and hardware development to programming languages and artificial intelligence. There is a growing need for an in-depth survey of the applications of logic in AI and computer science. The Handbook of Logic in Artificial Intelligence and Logic Programming and its companion, Handbook of Logic in Computer Science, have been created in response to this need. This book is a combination of authoritative exposition, comprehensive survey, and fundamental research that explores underlying unifying themes in the various subject areas. Chapters have been written by an internationally renowned team of researchers and are coordinated in terms of the theories discussed and the examples offered. This book will be of interest to graduate students and researchers in all areas of artificial intelligence, computer science, and logic, as well as to logicians and mathematicians.

An engaging, accessible introduction into how numbers work and why we shouldn't be afraid of them, from maths expert Rachel Riley. Do you know your fractions from your percentages? Your adjacent to your hypotenuse? And who really knows how to do long division, anyway? Puzzled already? Don't blame you... But fret not! You won't be At Sixes and Sevens for long. In this brilliant, well-rounded guide, Countdown's Rachel Riley will take you back to the very basics, allow you to revisit what you learnt at school (and may have promptly forgotten, *ahem*), build your understanding of maths from the get-go and provide you with the essential toolkit to gain confidence in your numerical abilities. Discover how to divide and conquer, make your decimal debut, become a pythagoras professional and so much more with these easy-to-learn tips and tricks. Packed full of working examples, fool-proof methods, quirky trivia and brainteasers to try from puzzle-pro Dr Gareth Moore, this book is an absolute must-read for anyone and everyone who ever thought maths was 'above' them. Because the truth is: you can do it. What's more, it can be pretty fun too!

This volume focuses on the important mathematical idea of functions that, with the technology of computers and calculators, can be dynamically represented in ways that have not been possible previously. The book's editors contend that as result of recent technological developments combined with the integrated knowledge available from research on teaching, instruction, students' thinking, and assessment, curriculum developers, researchers, and teacher educators are faced with an unprecedented opportunity for making dramatic changes.
The book presents content considerations that occur when the mathematics of graphs and functions relate to curriculum. It also examines content in a carefully considered integration of research that conveys where the field stands and where it might go. Drawing heavily on their own work, the chapter authors reconceptualize research in their specific areas so that this knowledge is integrated with the others' strands. This model for synthesizing research can serve as a paradigm for how research in mathematics education can -- and probably should -- proceed.

Nonlinear Dynamics of Reservoir Mixtures provides an overview of modeling techniques for solving nonlinear problems in hydrodynamics, with an emphasis on compositional flows in porous reservoirs. The volume focuses on nonlinear wave techniques for simulating and predicting fluid dynamic processes in petroleum reservoirs and discusses general applications of these models for other fluids.
Topics covered include inhomogeneous space structures in reservoir processes, gradient models for analyzing changes in thermodynamic and hydrodynamic fluid properties, phase transition dynamics in fluids and rock minerals, and wetting phenomena. The book also discusses the stages involved in developing compositional simulators for enhanced oil recovery and describes applications used in hydrocarbon fields in the former USSR.
Nonlinear Dynamics of Reservoir Mixtures provides excellent reference material for mathematicians, petroleum engineers, exploration geophysicists, and mechanical engineers. It is also a useful compositional modeling text for graduate students in the earth sciences and in petroleum and chemical engineering.

This graduate level text is distinguished both by the range of topics and the novelty of the material it treats--more than half of the material in it has previously only appeared in research papers. The first half of this book introduces the characteristic and matchings polynomials of a graph. It is instructive to consider these polynomials together because they have a number of properties in common. The matchings polynomial has links with a number of problems in combinatorial enumeration, particularly some of the current work on the combinatorics of orthogonal polynomials. This connection is discussed at some length, and is also in part the stimulus for the inclusion of chapters on orthogonal polynomials and formal power series. Many of the properties of orthogonal polynomials are derived from properties of characteristic polynomials. The second half of the book introduces the theory of polynomial spaces, which provide easy access to a number of important results in design theory, coding theory and the theory of association schemes. This book should be of interest to second year graduate text/reference in mathematics.

Multiple-Valued Logic Design: An Introduction explains the theory and applications of this increasingly important subject. Written in a clear and understandable style, the author develops the material in a skillful way. Without using a huge mathematical apparatus, he introduces the subject in a general form that includes the well-known binary logic as a special case. The book is further enhanced by more 200 explanatory diagrams and circuits, hardware and software applications with supporting PASCAL programming, and comprehensive exercises with even-numbered answers for every chapter.
Requiring introductory knowledge in Boolean algebra, 2-valued logic, or 2-valued switching theory, Multiple-Valued Logic Design: An Introduction is an ideal book for courses not only in logic design, but also in switching theory, nonclassical logic, and computer arithmetic. Computer scientists, mathematicians, and electronic engineers can also use the book as a basis for research into multiple-valued logic design.

Examines partitions and covers of graphs and digraphs, latin squares, pairwise balanced designs with prescribed block sizes, ranks and permanents, extremal graph theory, Hadamard matrices and graph factorizations. This book is designed to be of interest to applied mathematicians, computer scientists and communications researchers.

This handsome book is aimed towards those with an intermediate skill level, but the origami basics included at the start of the book make it accessible to beginners. A number of beautiful models are offered, ranging from cubes to prisms to dodecahedra. As with the author's two previous books, Origami Inspirations provides step-by-step instructions and color distribution suggestions to create the more than 30 intricate designs presented. The book also includes a chapter featuring designs by origami artists from around the world, and these projects provide a happy complement to the author's own exciting inspirations in the rest of the book.

A textbook for either a semester or year course for graduate students of mathematics who have had at least one course in topology. Introduces continuum theory through a combination of classical and modern techniques. Annotation copyright Book News, Inc. Portland, Or.

In the theory of splines, a function is approximated piece-wise by (usually cubic) polynomials. Quasi-splines is the natural extension of this, allowing us to use any useful class of functions adapted to the problem.
Approximation with Quasi-Splines is a detailed account of this highly useful technique in numerical analysis.
The book presents the requisite approximation theorems and optimization methods, developing a unified theory of one and several variables. The author applies his techniques to the evaluation of definite integrals (quadrature) and its many-variables generalization, which he calls "cubature."
This book should be required reading for all practitioners of the methods of approximation, including researchers, teachers, and students in applied, numerical and computational mathematics.

Principles of Scientific Methods focuses on the fundamental principles behind scientific methods. The book refers to "science" in a broad sense, including natural science, physics, mathematics, statistics, social science, political science, and engineering science. A principle is often abstract and has broad applicability while a method is usually concrete and specific. The author uses many concrete examples to explain principles and presents analogies to connect different methods or problems to arrive at a general principle or a common notion. He mainly discusses a particular method to address the great idea behind the method, not the method itself. The book shows how the principles are not only applicable to scientific research but also to our daily lives. The author explains how scientific methods are used for understanding how and why things happen, making predictions, and learning how to prevent mistakes and solve problems. Studying the principles of scientific methods is to think about thinking and to enlighten our understanding of scientific research. Scientific principles are the foundation of scientific methods. In this book, you'll see how the principles reveal the big ideas behind our scientific discoveries and reflect the fundamental beliefs and wisdoms of scientists. The principles make the scientific methods coherent and constitute the source of creativity.

This richly illustrated book provides step-by-step instructions for the construction of over 30 different modular origami structures. The author describes basic folding techniques required to construct themodules that are used as building blocks to construct complex ornamental models. The diagrams are clear, crisp, and easy to follow, and are accompanied by inspiring color photographs. Additional tips encourage the reader to design their own original creations. Advance Praise for Marvelous Modular Origami "A must-have for any modular origami polyhedra enthusiast." -Rona Gurkewitz, co-author of Multimodular Origami Polyhedra "The models are paper folding in its purest form. They range from simple Sonobe to floral and geometrical constructions. All are eye-catching and satisfying to fold, and the finished constructions are pleasing to behold. Also included are short sections on the mathematics behind the shapes and optimum color choices." -David Petty, author of Origami A-B-C "In this colorful book, you'll find wonderful original origami modular creations. Meenakshi's clear instructions and helpful hints will have you zipping through these modules as well as improvising your own." -Rachel Katz, co-author of FUN FOLDS: Language Learning Through Paper Folding "Marvelous Modular Origami is a colorful addition to the literature of mathematical origami." -Florence Temko, author of many origami and other craft books

Introduction to Probability with Texas Hold'em Examples illustrates both standard and advanced probability topics using the popular poker game of Texas Hold'em, rather than the typical balls in urns. The author uses students' natural interest in poker to teach important concepts in probability.

This volume provides a comprehensive introduction to module theory and the related part of ring theory, including original results as well as the most recent work. It is a useful and stimulating study for those new to the subject as well as for researchers and serves as a reference volume. Starting form a basic understanding of linear algebra, the theory is presented and accompanied by complete proofs. For a module M, the smallest Grothendieck category containing it is denoted by o[M] and module theory is developed in this category. Developing the techniques in o[M] is no more complicated than in full module categories and the higher generality yields significant advantages: for example, module theory may be developed for rings without units and also for non-associative rings. Numerous exercises are included in this volume to give further insight into the topics covered and to draw attention to related results in the literature.

Stanford mathematician and NPR Math Guy Keith Devlin explains why, fun aside, video games are the ideal medium to teach middle-school math. Aimed primarily at teachers and education researchers, but also of interest to game developers who want to produce videogames for mathematics education, Mathematics Education for a New Era: Video Games as a Medium for Learning describes exactly what is involved in designing and producing successful math educational videogames that foster the innovative mathematical thinking skills necessary for success in a global economy. Read the author's monthly MAA column Devlin's Angle

Accessible to all students with a sound background in high school mathematics, A Concise Introduction to Pure Mathematics, Fourth Edition presents some of the most fundamental and beautiful ideas in pure mathematics. It covers not only standard material but also many interesting topics not usually encountered at this level, such as the theory of solving cubic equations; Euler's formula for the numbers of corners, edges, and faces of a solid object and the five Platonic solids; the use of prime numbers to encode and decode secret information; the theory of how to compare the sizes of two infinite sets; and the rigorous theory of limits and continuous functions. New to the Fourth Edition Two new chapters that serve as an introduction to abstract algebra via the theory of groups, covering abstract reasoning as well as many examples and applications New material on inequalities, counting methods, the inclusion-exclusion principle, and Euler's phi function Numerous new exercises, with solutions to the odd-numbered ones Through careful explanations and examples, this popular textbook illustrates the power and beauty of basic mathematical concepts in number theory, discrete mathematics, analysis, and abstract algebra. Written in a rigorous yet accessible style, it continues to provide a robust bridge between high school and higher-level mathematics, enabling students to study more advanced courses in abstract algebra and analysis.

The tradition of honoring Martin Gardner continues with this edited collection of articles by those who have been inspired by Gardner to enter mathematics, to enter magic, to bring magic into their mathematics, or to bring mathematics into their magic. Contributing authors include world-leading puzzle designers, puzzle collectors, mathematicians, and magicians. The variety of articles includes card or magic tricks (with a mathematical trick behind them), the history behind given puzzles, mathematically interesting objects involving the number seven, and puzzles for the reader to solve. Specific puzzles discussed include tangram, 14-15 Puzzle, seven-coloring of the torus, packing circles, Crazy Elephant Dance, and more!

For disciplines concerned with human well-being, such as medicine, psychology, and law, statistics must be used in accordance with standards for ethical practice. A Statistical Guide for the Ethically Perplexed illustrates the proper use of probabilistic and statistical reasoning in the behavioral, social, and biomedical sciences. Designed to be consulted when learning formal statistical techniques, the text describes common instances of both correct and false statistical and probabilistic reasoning. Lauded for their contributions to statistics, psychology, and psychometrics, the authors make statistical methods relevant to readers day-to-day lives by including real historical situations that demonstrate the role of statistics in reasoning and decision making. The historical vignettes encompass the English case of Sally Clark, breast cancer screening, risk and gambling, the Federal Rules of Evidence, "high-stakes" testing, regulatory issues in medicine, difficulties with observational studies, ethics in human experiments, health statistics, and much more. In addition to these topics, seven U.S. Supreme Court decisions reflect the influence of statistical and psychometric reasoning and interpretation/misinterpretation. Exploring the intersection of ethics and statistics, this comprehensive guide assists readers in becoming critical and ethical consumers and producers of statistical reasoning and analyses. It will help them reason correctly and use statistics in an ethical manner.

Keith Devlin. You know him. You've read his columns in MAA Online, you've heard him on the radio, and you've seen his popular mathematics books. In between all those activities and his own research, he's been hard at work revising Sets, Functions and Logic, his standard-setting text that has smoothed the road to pure mathematics for legions of undergraduate students. Now in its third edition, Devlin has fully reworked the book to reflect a new generation. The narrative is more lively and less textbook-like. Remarks and asides link the topics presented to the real world of students' experience. The chapter on complex numbers and the discussion of formal symbolic logic are gone in favor of more exercises, and a new introductory chapter on the nature of mathematics--one that motivates readers and sets the stage for the challenges that lie ahead. Students crossing the bridge from calculus to higher mathematics need and deserve all the help they can get. Sets, Functions, and Logic, Third Edition is an affordable little book that all of your transition-course students not only can afford, but will actually read and enjoy and learn from. About the Author Dr. Keith Devlin is Executive Director of Stanford University's Center for the Study of Language and Information and a Consulting Professor of Mathematics at Stanford. He has written 23 books, one interactive book on CD-ROM, and over 70 published research articles. He is a Fellow of the American Association for the Advancement of Science, a World Economic Forum Fellow, and a former member of the Mathematical Sciences Education Board of the National Academy of Sciences,. Dr. Devlin is also one of the world's leading popularizers of mathematics. Known as "The Math Guy" on NPR's Weekend Edition, he is a frequent contributor to other local and national radio and TV shows in the US and Britain, writes a monthly column for the Web journal MAA Online, and regularly writes on mathematics and co

Bridging the gap between procedural mathematics that emphasizes calculations and conceptual mathematics that focuses on ideas, Mathematics: A Minimal Introduction presents an undergraduate-level introduction to pure mathematics and basic concepts of logic. The author builds logic and mathematics from scratch using essentially no background except natural language. He also carefully avoids circularities that are often encountered in related books and places special emphasis on separating the language of mathematics from metalanguage and eliminating semantics from set theory. The first part of the text focuses on pre-mathematical logic, including syntax, semantics, and inference. The author develops these topics entirely outside the mathematical paradigm. In the second part, the discussion of mathematics starts with axiomatic set theory and ends with advanced topics, such as the geometry of cubics, real and p-adic analysis, and the quadratic reciprocity law. The final part covers mathematical logic and offers a brief introduction to model theory and incompleteness. Taking a formalist approach to the subject, this text shows students how to reconstruct mathematics from language itself. It helps them understand the mathematical discourse needed to advance in the field.

This volume contains the proceedings of the conference Logical Foundations of Mathematics, Computer Science, and Physics-Kurt Godel's Legacy, held in Brno, Czech Republic on the 90th anniversary of his birth. The wide and continuing importance of Godel s work in the logical foundations of mathematics, computer science, and physics is confirmed by the broad range of speakers who participated in making this gathering a scientific event.

This book unravels the mystery of Geometry in Origami with a unique approach: 64 Polyhedra designs, each made from a single square sheet of paper, no cuts, no glue; each polyhedron the largest possible from the starting size of square and each having an ingenious locking mechanism to hold its shape. The author covers the five Platonic solids (cube, tetrahedron, octahedron, icosahedron and dodecahedron). There are ample variations with different color patterns and sunken sides. Dipyramids and Dimpled Dipyramids, unexplored before this in Origami, are also covered. There are a total of 64 models in the book. All the designs have an interesting look and a pleasing folding sequence and are based on unique mathematical equations.

This first part presents chapters on models of computation, complexity theory, data structures, and efficient computation in many recognized sub-disciplines of Theoretical Computer Science.

The classic results obtained by Godel, Tarski, Kleene, and Church in the early thirties are the finest flowers of symbolic logic. They are of fundamental importance to those investigations of the foundations of mathematics via the concept of a formal system that were inaugurated by Frege, and of obvious significance to the mathematical disciplines, such as computability theory, that developed from them.
Derived from courses taught by the author over several years, this new exposition presents all of the results with their original proofs and central concepts in a manner that is unified by a systematic grounding of the notion of effectiveness in the semantics of the existential quantifier. Logicians and non-mathematicians, repelled by detail which is not obviously relevant in the standard textbooks, will be able to reach the heart of the matter with a minimum of fuss.