Book picks similar to
Set Theory and Logic by Robert Roth Stoll
mathematics
math
logic
math-logic
Structure and Interpretation of Computer Programs
Harold Abelson - 1984
This long-awaited revision contains changes throughout the text. There are new implementations of most of the major programming systems in the book, including the interpreters and compilers, and the authors have incorporated many small changes that reflect their experience teaching the course at MIT since the first edition was published. A new theme has been introduced that emphasizes the central role played by different approaches to dealing with time in computational models: objects with state, concurrent programming, functional programming and lazy evaluation, and nondeterministic programming. There are new example sections on higher-order procedures in graphics and on applications of stream processing in numerical programming, and many new exercises. In addition, all the programs have been reworked to run in any Scheme implementation that adheres to the IEEE standard.
Information Theory, Inference and Learning Algorithms
David J.C. MacKay - 2002
These topics lie at the heart of many exciting areas of contemporary science and engineering - communication, signal processing, data mining, machine learning, pattern recognition, computational neuroscience, bioinformatics, and cryptography. This textbook introduces theory in tandem with applications. Information theory is taught alongside practical communication systems, such as arithmetic coding for data compression and sparse-graph codes for error-correction. A toolbox of inference techniques, including message-passing algorithms, Monte Carlo methods, and variational approximations, are developed alongside applications of these tools to clustering, convolutional codes, independent component analysis, and neural networks. The final part of the book describes the state of the art in error-correcting codes, including low-density parity-check codes, turbo codes, and digital fountain codes -- the twenty-first century standards for satellite communications, disk drives, and data broadcast. Richly illustrated, filled with worked examples and over 400 exercises, some with detailed solutions, David MacKay's groundbreaking book is ideal for self-learning and for undergraduate or graduate courses. Interludes on crosswords, evolution, and sex provide entertainment along the way. In sum, this is a textbook on information, communication, and coding for a new generation of students, and an unparalleled entry point into these subjects for professionals in areas as diverse as computational biology, financial engineering, and machine learning.
Essays on the Theory of Numbers
Richard Dedekind - 1901
W. R. Dedekind. The first presents Dedekind's theory of the irrational number-the Dedekind cut idea-perhaps the most famous of several such theories created in the 19th century to give a precise meaning to irrational numbers, which had been used on an intuitive basis since Greek times. This paper provided a purely arithmetic and perfectly rigorous foundation for the irrational numbers and thereby a rigorous meaning of continuity in analysis.The second essay is an attempt to give a logical basis for transfinite numbers and properties of the natural numbers. It examines the notion of natural numbers, the distinction between finite and transfinite (infinite) whole numbers, and the logical validity of the type of proof called mathematical or complete induction.The contents of these essays belong to the foundations of mathematics and will be welcomed by those who are prepared to look into the somewhat subtle meanings of the elements of our number system. As a major work of an important mathematician, the book deserves a place in the personal library of every practicing mathematician and every teacher and historian of mathematics. Authorized translations by "Vooster " V. Beman.
How to Think Like a Mathematician
Kevin Houston - 2009
Working through the book you will develop an arsenal of techniques to help you unlock the meaning of definitions, theorems and proofs, solve problems, and write mathematics effectively. All the major methods of proof - direct method, cases, induction, contradiction and contrapositive - are featured. Concrete examples are used throughout, and you'll get plenty of practice on topics common to many courses such as divisors, Euclidean algorithms, modular arithmetic, equivalence relations, and injectivity and surjectivity of functions. The material has been tested by real students over many years so all the essentials are covered. With over 300 exercises to help you test your progress, you'll soon learn how to think like a mathematician.
Chaos: A Very Short Introduction
Leonard A. Smith - 2007
Even the simplest system of cause and effect can be subject to chaos, denying us accurate predictions of its behaviour, and sometimes giving rise to astonishing structures of large-scale order. Our growing understanding of Chaos Theory is having fascinating applications in the real world - from technology to global warming, politics, human behaviour, and even gambling on the stock market. Leonard Smith shows that we all have an intuitive understanding of chaotic systems. He uses accessible maths and physics (replacing complex equations with simple examples like pendulums, railway lines, and tossing coins) to explain the theory, and points to numerous examples in philosophy and literature (Edgar Allen Poe, Chang-Tzu, Arthur Conan Doyle) that illuminate the problems. The beauty of fractal patterns and their relation to chaos, as well as the history of chaos, and its uses in the real world and implications for the philosophy of science are all discussed in this Very Short Introduction.
Love and Math: The Heart of Hidden Reality
Edward Frenkel - 2013
In this heartfelt and passionate book, Frenkel shows that mathematics, far from occupying a specialist niche, goes to the heart of all matter, uniting us across cultures, time, and space.Love and Math tells two intertwined stories: of the wonders of mathematics and of one young man’s journey learning and living it. Having braved a discriminatory educational system to become one of the twenty-first century’s leading mathematicians, Frenkel now works on one of the biggest ideas to come out of math in the last 50 years: the Langlands Program. Considered by many to be a Grand Unified Theory of mathematics, the Langlands Program enables researchers to translate findings from one field to another so that they can solve problems, such as Fermat’s last theorem, that had seemed intractable before.At its core, Love and Math is a story about accessing a new way of thinking, which can enrich our lives and empower us to better understand the world and our place in it. It is an invitation to discover the magic hidden universe of mathematics.
The Pea and the Sun: A Mathematical Paradox
Leonard M. Wapner - 2005
Would you believe that these five pieces can be reassembled in such a fashion so as to create two apples equal in shape and size to the original? Would you believe that you could make something as large as the sun by breaking a pea into a finite number of pieces and putting it back together again? Neither did Leonard Wapner, author of The Pea and the Sun, when he was first introduced to the Banach-Tarski paradox, which asserts exactly such a notion. Written in an engaging style, The Pea and the Sun catalogues the people, events, and mathematics that contributed to the discovery of Banach and Tarski's magical paradox. Wapner makes one of the most interesting problems of advanced mathematics accessible to the non-mathematician.
Order Out of Chaos: Man's New Dialogue with Nature
Ilya Prigogine - 1984
Stengers and Prigogine show how the two great themes of classic science, order and chaos, which coexisted uneasily for centuries, are being reconciled in a new and unexpected synthesis.
Mathematics: Its Content, Methods and Meaning
A.D. Aleksandrov - 1963
. . Nothing less than a major contribution to the scientific culture of this world." — The New York Times Book ReviewThis major survey of mathematics, featuring the work of 18 outstanding Russian mathematicians and including material on both elementary and advanced levels, encompasses 20 prime subject areas in mathematics in terms of their simple origins and their subsequent sophisticated developement. As Professor Morris Kline of New York University noted, "This unique work presents the amazing panorama of mathematics proper. It is the best answer in print to what mathematics contains both on the elementary and advanced levels."Beginning with an overview and analysis of mathematics, the first of three major divisions of the book progresses to an exploration of analytic geometry, algebra, and ordinary differential equations. The second part introduces partial differential equations, along with theories of curves and surfaces, the calculus of variations, and functions of a complex variable. It furthur examines prime numbers, the theory of probability, approximations, and the role of computers in mathematics. The theory of functions of a real variable opens the final section, followed by discussions of linear algebra and nonEuclidian geometry, topology, functional analysis, and groups and other algebraic systems.Thorough, coherent explanations of each topic are further augumented by numerous illustrative figures, and every chapter concludes with a suggested reading list. Formerly issued as a three-volume set, this mathematical masterpiece is now available in a convenient and modestly priced one-volume edition, perfect for study or reference."This is a masterful English translation of a stupendous and formidable mathematical masterpiece . . ." — Social Science
The Manga Guide to Linear Algebra
Shin Takahashi - 2008
Luckily, Misa's big brother is the captain of the university karate club and is ready to strike a deal: Reiji can join the club if he tutors Misa in linear algebra.Follow along in The Manga Guide to Linear Algebra as Reiji takes Misa from the absolute basics of this tricky subject through mind-bending operations like performing linear transformations, calculating determinants, and finding eigenvectors and eigenvalues. With memorable examples like miniature golf games and karate tournaments, Reiji transforms abstract concepts into something concrete, understandable, and even fun.As you follow Misa through her linear algebra crash course, you'll learn about:Basic vector and matrix operations such as addition, subtraction, and multiplicationLinear dependence, independence, and basesUsing Gaussian elimination to calculate inverse matricesSubspaces, dimension, and linear spanPractical applications of linear algebra in fields like computer graphics, cryptography, and engineeringBut Misa's brother may get more than he bargained for as sparks start to fly between student and tutor. Will Reiji end up with the girl—or just a pummeling from her oversized brother? Real math, real romance, and real action come together like never before in The Manga Guide to Linear Algebra.
Introduction to Automata Theory, Languages, and Computation
John E. Hopcroft - 1979
With this long-awaited revision, the authors continue to present the theory in a concise and straightforward manner, now with an eye out for the practical applications. They have revised this book to make it more accessible to today's students, including the addition of more material on writing proofs, more figures and pictures to convey ideas, side-boxes to highlight other interesting material, and a less formal writing style. Exercises at the end of each chapter, including some new, easier exercises, help readers confirm and enhance their understanding of the material. *NEW! Completely rewritten to be less formal, providing more accessibility to todays students. *NEW! Increased usage of figures and pictures to help convey ideas. *NEW! More detail and intuition provided for definitions and proofs. *NEW! Provides special side-boxes to present supplemental material that may be of interest to readers. *NEW! Includes more exercises, including many at a lower level. *NEW! Presents program-like notation for PDAs and Turing machines. *NEW! Increas
Paradox: The Nine Greatest Enigmas in Physics
Jim Al-Khalili - 2012
A fun and fascinating look at great scientific paradoxes. Throughout history, scientists have come up with theories and ideas that just don't seem to make sense. These we call paradoxes. The paradoxes Al-Khalili offers are drawn chiefly from physics and astronomy and represent those that have stumped some of the finest minds. For example, how can a cat be both dead and alive at the same time? Why will Achilles never beat a tortoise in a race, no matter how fast he runs? And how can a person be ten years older than his twin? With elegant explanations that bring the reader inside the mind of those who've developed them, Al-Khalili helps us to see that, in fact, paradoxes can be solved if seen from the right angle. Just as surely as Al-Khalili narrates the enduring fascination of these classic paradoxes, he reveals their underlying logic. In doing so, he brings to life a select group of the most exciting concepts in human knowledge. Paradox is mind-expanding fun.
A Concise Introduction to Logic [with CD-ROM]
Patrick J. Hurley - 1972
Inside: Logic Resource CD-ROM
Stalking the Riemann Hypothesis: The Quest to Find the Hidden Law of Prime Numbers
Dan Rockmore - 2005
Now, at a moment when mathematicians are finally moving in on a proof, Dartmouth professor Dan Rockmore tells the riveting history of the hunt for a solution.In 1859 German professor Bernhard Riemann postulated a law capable of describing with an amazing degree of accuracy the occurrence of the prime numbers. Rockmore takes us all the way from Euclid to the mysteries of quantum chaos to show how the Riemann hypothesis lies at the very heart of some of the most cutting-edge research going on today in physics and mathematics.
Who Is Fourier? a Mathematical Adventure
Transnational College of Lex - 1995
This is done in a way that is not only easy to understand, but is actually fun! Professors and engineers, with high school and college students following closely, comprise the largest percentage of our readers. It is a must-have for anyone interested in music, mathematics, physics, engineering, or complex science. Dr. Yoichiro Nambu, 2008 Nobel Prize Winner in Physics, served as a senior adviser to the English version of Who is Fourier? A Mathematical Adventure.