Book picks similar to
Handbook of the History of Logic, Volume 10: Inductive Logic by Dov M. Gabbay
01-history-of-mathematics
mmath
kogn-log
mathematics
Mathematical Elements for Computer Graphics
David F. Rogers - 1976
It presents in a unified manner an introduction to the mathematical theory underlying computer graphic applications. It covers topics of keen interest to students in engineering and computer science: transformations, projections, 2-D and 3-D curve definition schemes, and surface definitions. It also includes techniques, such as B-splines, which are incorporated as part of the software in advanced engineering workstations. A basic knowledge of vector and matrix algebra and calculus is required.
The Elements of Computing Systems: Building a Modern Computer from First Principles
Noam Nisan - 2005
The books also provides a companion web site that provides the toold and materials necessary to build the hardware and software.
Elements of the Theory of Computation
Harry R. Lewis - 1981
The authors are well-known for their clear presentation that makes the material accessible to a a broad audience and requires no special previous mathematical experience. KEY TOPICS: In this new edition, the authors incorporate a somewhat more informal, friendly writing style to present both classical and contemporary theories of computation. Algorithms, complexity analysis, and algorithmic ideas are introduced informally in Chapter 1, and are pursued throughout the book. Each section is followed by problems.
An Introduction to Modern Astrophysics
Bradley W. Carroll - 1995
Designed for the junior- level astrophysics course, each topic is approached in the context of the major unresolved questions in astrophysics. The core chapters have been designed for a course in stellar structure and evolution, while the extended chapters provide additional coverage of the solar system, galactic structure, dynamics, evolution, and cosmology. * Two versions of this text are available: An Introduction to Modern Stellar Astrophysics, (Chapters 1-17), and An Introduction to Modern Astrophysics, (Chapters 1-28). * Computer programs included with the text allow students to explore the physics of stars and galaxies. * In designing a curriculum, instructors can combine core and extended chapters with the optional advanced sections so as to meet their individual goals. * Up-to-date coverage of current astrophysical discoveries are included. * This text emphasizes computational physics, including computer problems and on-line programs. * This text also includes a selection of over 500 problems. For additional information and computer codes to be used
Ludwig Wittgenstein: The Duty of Genius
Ray Monk - 1990
Monk's life of Wittgenstein is such a one."--"The Christian Science Monitor."
One-Minute Aquinas: The Doctor's Quick Answers to Fundamental Questions
Kevin Vost - 2014
Thomas wrote, then turn to The One-Minute Aquinas, the fast-paced book that provides busy readers with simple, readable explanations of the truths that, for 750 years now, have caused the works of St. Thomas to be sought out by kings and popes, scholars and saints, as well as by ordinary souls like you — hungry to know God and to love him more and more.In this book’s lucid pages, author Kevin Vost gives you small, digestible portions of St. Thomas’s life-giving wisdom that you can enjoy one minute at a time. Tables and graphics will help you grasp and remember St. Thomas’s key ideas with a minimum of time and effort.Best of all, in The One-Minute Aquinas you’ll find quick, sure refutations of the countless relativistic, secular, and pseudoscientific ideas that are so influential in our culture today — and so shallow, contradictory, and wrong!Pope John Paul II declared that “the Church has been justified in consistently proposing St. Thomas as a master of thought and a model of the right way to do theology.” Now The One-Minute Aquinas enables even those with limited time and only a modest education to benefit from the wisdom of this great saint.Here, with minimal effort and among scores of other things, you’ll finally come to know and understand:--Why God permits evil--Heaven: what it is (and is not)--Five simple proofs that God exists--Why God became man--Why Jesus let himself be tempted--How you can grow quickly in virtue--Why all souls need the sacraments--Why Jesus let himself be crucified--The causes of lust--The natural law and the Commandments--The soul, free will, sin, and damnation--The angels, their ranks, and their powers--How God governs (and refrains from governing)--God’s power and its limits--The Bible: why didn’t Jesus just write it himself?--The surprising qualities of our resurrected bodies
Euclid's Elements
Euclid
Heath's translation of the thirteen books of Euclid's Elements. In keeping with Green Lion's design commitment, diagrams have been placed on every spread for convenient reference while working through the proofs; running heads on every page indicate both Euclid's book number and proposition numbers for that page; and adequate space for notes is allowed between propositions and around diagrams. The all-new index has built into it a glossary of Euclid's Greek terms.Heath's translation has stood the test of time, and, as one done by a renowned scholar of ancient mathematics, it can be relied upon not to have inadvertantly introduced modern concepts or nomenclature. We have excised the voluminous historical and scholarly commentary that swells the Dover edition to three volumes and impedes classroom use of the original text. The single volume is not only more convenient, but less expensive as well.
A Short Account of the History of Mathematics
W.W. Rouse Ball - 1900
From the early Greek influences to the Middle Ages and the Renaissance to the end of the 19th century, trace the fascinating foundation of mathematics as it developed through the ages. Aristotle, Galileo, Kepler, Newton: you know the names. Now here's what they really did, and the effect their discoveries had on our culture, all explained in a way the layperson can understand. Begin with the basis of arithmetic (Plato and the introduction of geometry), and discover why the use of Arabic numerals was critical to the development of both commerce and science. The development of calculus made space travel a reality, while the abacus prefigured the computer. The greats examined in depth include Leonardo da Vinci, a brilliant mathematician as well as artist; Pascal, who laid out the theory of probabilities; and Fermat, whose intriguing theory has only recently been solved.
A World Without Time: The Forgotten Legacy of Gödel And Einstein
Palle Yourgrau - 2004
By 1949, Godel had produced a remarkable proof: In any universe described by the Theory of Relativity, time cannot exist. Einstein endorsed this result reluctantly but he could find no way to refute it, since then, neither has anyone else. Yet cosmologists and philosophers alike have proceeded as if this discovery was never made. In A World Without Time, Palle Yourgrau sets out to restore Godel to his rightful place in history, telling the story of two magnificent minds put on the shelf by the scientific fashions of their day, and attempts to rescue the brilliant work they did together.
Adam Spencer's Big Book of Numbers: Everything you wanted to know about the numbers 1 to 100
Adam Spencer - 2014
Whether you love numbers, want to love numbers, or just love to laugh and learn about the wonderful world in which we live, this book is for you.For 15 years Adam Spencer has been entertaining us. On triple j and ABC radio and television, he’s established himself as Australia’s funniest and most famous mathematician. And now, by popular demand, we have his Big Book of Numbers, a fascinating journey from 1 to 100.Praise for Adam Spencer’s Big Book of Numbers‘If you find this book boring, you should be in a clinic.’ John Cleese‘Funny yet with hidden depths, like its author. A brilliant introduction to the world of numbers.’ Brian Cox‘Even the page numbers will start to look fascinating once you’ve read this book!’ Amanda Keller‘This book will bring out the inner geek in anyone who knows how to count to 100.’ Brian Schmidt, Winner, 2011 Nobel Prize in Physics
Introduction to Logic
Harry J. Gensler - 2001
Harry Gensler engages students with the basics of logic through practical examples and important arguments both in the history of philosophy and from contemporary philosophy. Using simple and manageable methods for testing arguments, students are led step-by-step to master the complexities of logic.The companion LogiCola instructional program and various teaching aids (including a teacher's manual) are available from the book's website: www.routledge.com/textbooks/gensler_l...
Basic Category Theory for Computer Scientists
Benjamin C. Pierce - 1991
Assuming a minimum of mathematical preparation, Basic Category Theory for Computer Scientists provides a straightforward presentation of the basic constructions and terminology of category theory, including limits, functors, natural transformations, adjoints, and cartesian closed categories. Four case studies illustrate applications of category theory to programming language design, semantics, and the solution of recursive domain equations. A brief literature survey offers suggestions for further study in more advanced texts.
Becoming the Math Teacher You Wish You'd Had: Ideas and Strategies from Vibrant Classrooms
Tracy Zager - 2017
Pose the same question to students and many will use words like "boring", "useless", and even "humiliating". In
Becoming the Math Teacher You Wish You'd Had
, author Tracy Zager helps teachers close this gap by making math class more like mathematics. Tracy has spent years working with highly skilled math teachers in a diverse range of settings and grades. You'll find this book jam-packed with new ideas from these vibrant classrooms. How to Teach Student-Centered Mathematics: Zager outlines a problem-solving approach to mathematics for elementary and middle school educators looking for new ways to inspire student learningBig Ideas, Practical Application: This math book contains dozens of practical and accessible teaching techniques that focus on fundamental math concepts, including strategies that simulate connection of big ideas; rich tasks that encourage students to wonder, generalize, hypothesize, and persevere; and routines to teach students how to collaborateKey Topics for Elementary and Middle School Teachers:
Becoming the Math Teacher You Wish You'd Had
offers fresh perspectives on common challenges, from formative assessment to classroom management for elementary and middle school teachersAll teachers can move towards increasingly authentic and delightful mathematics teaching and learning. This important book helps develop instructional techniques that will make the math classes we teach so much better than the math classes we took.
How to Solve It: A New Aspect of Mathematical Method
George Pólya - 1944
Polya, How to Solve It will show anyone in any field how to think straight. In lucid and appealing prose, Polya reveals how the mathematical method of demonstrating a proof or finding an unknown can be of help in attacking any problem that can be reasoned out--from building a bridge to winning a game of anagrams. Generations of readers have relished Polya's deft--indeed, brilliant--instructions on stripping away irrelevancies and going straight to the heart of the problem.