Book picks similar to
Propositional and Predicate Calculus: A Model of Argument by Derek Goldrei
mathematics
logic
textbooks
mathematical-logic
M.C. Escher: Visions of Symmetry
Doris Schattschneider - 1990
It deals with one powerful obsession that preoccupied Escher: what he called "the regular division of the plane," the puzzlelike interlocking of birds, fish, lizards, and other natural forms in continuous patterns. Schattschneider asks, "How did he do it?" She answers the question by analyzing Escher's notebooks." Visions of Symmetry includes many of Escher's masterworks, as well as hundreds of lesser-known examples of his work. This new edition also features a foreward and an illustrated epilogue that reveals new information about Escher's inspiration and shows how his ideas of symmetry have influenced mathematicians, computer scientists, and contemporary artists.
Real and Complex Analysis
Walter Rudin - 1970
The basic techniques and theorems of analysis are presented in such a way that the intimate connections between its various branches are strongly emphasized. The traditionally separate subjects of 'real analysis' and 'complex analysis' are thus united in one volume. Some of the basic ideas from functional analysis are also included. This is the only book to take this unique approach. The third edition includes a new chapter on differentiation. Proofs of theorems presented in the book are concise and complete and many challenging exercises appear at the end of each chapter. The book is arranged so that each chapter builds upon the other, giving students a gradual understanding of the subject.This text is part of the Walter Rudin Student Series in Advanced Mathematics.
Introduction to Algorithms: A Creative Approach
Udi Manber - 1989
The heart of this creative process lies in an analogy between proving mathematical theorems by induction and designing combinatorial algorithms. The book contains hundreds of problems and examples. It is designed to enhance the reader's problem-solving abilities and understanding of the principles behind algorithm design.
The Logic Book
Merrie Bergmann - 1980
Its flexible organization (with all chapters complete and self-contained) allows instructors the freedom to cover the topics they want in the order they choose.
Mathematics and Its History
John Stillwell - 1997
Even when dealing with standard material, Stillwell manages to dramatize it and to make it worth rethinking. In short, his book is a splendid addition to the genre of works that build royal roads to mathematical culture for the many." (Mathematical Intelligencer)This second edition includes new chapters on Chinese and Indian number theory, on hypercomplex numbers, and on algebraic number theory. Many more exercises have been added, as well as commentary to the exercises explaining how they relate to the preceding section, and how they foreshadow later topics.
Power Generation, Operation, and Control
Allen J. Wood - 1983
Wood and Bruce F. Wollenberg presented their comprehensive introduction to the engineering and economic factors involved in operating and controlling power generation systems in electric utilities, the electric power industry has undergone unprecedented change. Deregulation, open access to transmission systems, and the birth of independent power producers have altered the structure of the industry, while technological advances have created a host of new opportunities and challenges. In Power Generation, Operation, and Control, Second Edition, Wood and Wollenberg bring professionals and students alike up to date on the nuts and bolts of the field. Continuing in the tradition of the first edition, they offer a practical, hands-on guide to theoretical developments and to the application of advanced operations research methods to realistic electric power engineering problems. This one-of-a-kind text also addresses the interaction between human and economic factors to prepare readers to make real-world decisions that go beyond the limits of mere technical calculations. The Second Edition features vital new material, including: * A computer disk developed by the authors to help readers solve complicated problems * Examination of Optimal Power Flow (OPF) * Treatment of unit commitment expanded to incorporate the Lagrange relaxation technique * Introduction to the use of bounding techniques and other contingency selection methods * Applications suited to the new, deregulated systems as well as to the traditional, vertically organized utilities company Wood and Wollenberg draw upon nearly 30 years of classroom testing to provide valuable data on operations research, state estimation methods, fuel scheduling techniques, and more. Designed for clarity and ease of use, this invaluable reference prepares industry professionals and students to meet the future challenges of power generation, operation, and control.
Matrix Computations
Gene H. Golub - 1983
It includes rewritten and clarified proofs and derivations, as well as new topics such as Arnoldi iteration, and domain decomposition methods.
The Lady or the Tiger? And Other Logic Puzzles
Raymond M. Smullyan - 1982
For all ages and all levels of difficulty, these puzzles range from those that can be solved in minutes to those that will beguile for hours.
A History of Mathematics
Carl B. Boyer - 1968
The material is arranged chronologically beginning with archaic origins and covers Egyptian, Mesopotamian, Greek, Chinese, Indian, Arabic and European contributions done to the nineteenth century and present day. There are revised references and bibliographies and revised and expanded chapters on the nineteeth and twentieth centuries.
Real Analysis
H.L. Royden - 1963
Dealing with measure theory and Lebesque integration, this is an introductory graduate text.
Numerical Linear Algebra
Lloyd N. Trefethen - 1997
The clarity and eloquence of the presentation make it popular with teachers and students alike. The text aims to expand the reader's view of the field and to present standard material in a novel way. All of the most important topics in the field are covered with a fresh perspective, including iterative methods for systems of equations and eigenvalue problems and the underlying principles of conditioning and stability. Presentation is in the form of 40 lectures, which each focus on one or two central ideas. The unity between topics is emphasized throughout, with no risk of getting lost in details and technicalities. The book breaks with tradition by beginning with the QR factorization - an important and fresh idea for students, and the thread that connects most of the algorithms of numerical linear algebra.
The Art of Problem Solving Vol. 2: And Beyond
Sandor Leholzky - 2003
The Art of Problem Solving, Volume 2, is the classic problem solving textbook used by many successful high school math teams and enrichment programs and have been an important building block for students who, like the authors, performed well enough on the American Mathematics Contest series to qualify for the Math Olympiad Summer Program which trains students for the United States International Math Olympiad team.Volume 2 is appropriate for students who have mastered the problem solving fundamentals presented in Volume 1 and are ready for a greater challenge. Although the Art of Problem Solving is widely used by students preparing for mathematics competitions, the book is not just a collection of tricks. The emphasis on learning and understanding methods rather than memorizing formulas enables students to solve large classes of problems beyond those presented in the book.Speaking of problems, the Art of Problem Solving, Volume 2, contains over 500 examples and exercises culled from such contests as the Mandelbrot Competition, the AMC tests, and ARML. Full solutions (not just answers!) are available for all the problems in the solution manual.
The Mathematical Theory of Communication
Claude Shannon - 1949
Republished in book form shortly thereafter, it has since gone through four hardcover and sixteen paperback printings. It is a revolutionary work, astounding in its foresight and contemporaneity. The University of Illinois Press is pleased and honored to issue this commemorative reprinting of a classic.
Men of Mathematics
Eric Temple Bell - 1937
Bell, a leading figure in mathematics in America for half a century. Men of Mathematics accessibly explains the major mathematics, from the geometry of the Greeks through Newton's calculus and on to the laws of probability, symbolic logic, and the fourth dimension. In addition, the book goes beyond pure mathematics to present a series of engrossing biographies of the great mathematicians -- an extraordinary number of whom lived bizarre or unusual lives. Finally, Men of Mathematics is also a history of ideas, tracing the majestic development of mathematical thought from ancient times to the twentieth century. This enduring work's clear, often humorous way of dealing with complex ideas makes it an ideal book for the non-mathematician.
Significant Figures: The Lives and Work of Great Mathematicians
Ian Stewart - 2017
Through these short biographies, we get acquainted with the history of mathematics from Archimedes to William Thurston, and learn about those too often left out of the cannon, such as Muhammad ibn Musa al-Khwarizmi, the creator of algebra; Ada Lovelace, the world's first computer programmer; and Emmy Noether, whose research on symmetry paved the way for modern physics. Tracing the evolution of mathematics over the course of two millennia, Significant Figures will educate and delight aspiring mathematicians and experts alike.