Book picks similar to
Logic and Discrete Mathematics: A Concise Introduction by Willem Conradie
have-soln-manual
math-combinatorics
math-logic
math-graph-theory
The Cambridge Companion to Wittgenstein
Hans D. Sluga - 1993
This volume provides a comprehensible guide to his work by a wide range of experts who are actively engaged in new work on Wittgenstein. The essays, which are both expository and original, address central themes in his philosophy of mind, language, logic, and mathematics and clarify the connections among the different stages in the development of his work.
Prime Obsession: Bernhard Riemann and the Greatest Unsolved Problem in Mathematics
John Derbyshire - 2003
Alternating passages of extraordinarily lucid mathematical exposition with chapters of elegantly composed biography and history, Prime Obsession is a fascinating and fluent account of an epic mathematical mystery that continues to challenge and excite the world.
Language, Proof and Logic: Text and CD
Jon Barwise - 1999
The unique on-line grading services instantly grades solutions to hundred of computer exercises. It is specially devised to be used by philosophy instructors in a way that is useful to undergraduates of philosophy, computer science, mathematics, and linguistics.The book is a completely rewritten and much improved version of The Language of First-order Logic. Introductory material is presented in a more systematic and accessible fashion. Advanced chapters include proofs of soundness and completeness for propositional and predicate logic, as well as an accessible sketch of Godel's first incompleteness theorem. The book is appropriate for a wide range of courses, from first logic courses for undergraduates (philosophy, mathematics, and computer science) to a first graduate logic course.The package includes four pieces of software:Tarski's World 5.0, a new version of the popular program that teaches the basic first-order language and its semantics; Fitch, a natural deduction proof environment for giving and checking first-order proofs;Boole, a program that facilitates the construction and checking of truth tables and related notions (tautology, tautological consequence, etc.);Submit, a program that allows students to submit exercises done with the above programs to the Grade Grinder, the automatic grading service.Grade reports are returned to the student and, if requested, to the student's instructor, eliminating the need for tedious checking of homework. All programs are available for Windows, Macintosh and Linux systems.Instructors do not need to use the programs themselves in order to be able to take advantage of their pedagogical value. More about the software can be found at lpl.stanford.edu.The price of a new text/software package includes one Registration ID, which must be used each time work is submitted to the grading service. Once activated, the Registration ID is not transferable.
A Textbook of Engineering Mathematics
N.P. Bali - 2010
The salient features of the book are as follows: It exactly covers the prescribed syllabus. Nothing undesirable has been included and nothing essential has been left. Its approach is explanatory and language is lucid and communicable. The exposition of the subject matter is systematic and the students are better prepared to solve the problems. All fundamentals of the included topics are explained with a micro-analysis. Sufficient number of solved examples have been given to let the students understand the various skills necessary to solve the problems. These examples are well-graded. Unsolved exercises of multi-varieties have been given in a well-graded style. Attempting those on his own, will enable a student to create confidence and independence in him/her regarding the understanding of the subject. Daily life problems and practical applications have been incorporated in the body of the text. A large number of attractive and accurate figures have been drawn which enable a student to grasp the subject in an easier way. All the answers have been checked and verified. About The Author: N.P. Bali is a prolific author of over 100 books for degree and engineering students. He has been writing books for more than forty years. His books on the following topics are well known for their easy comprehension and lucid presentation: Algebra, Trigonometry, Differential Calculus, Integral Calculus, Real Analysis, Co-ordinate Geometry, Statics, Dynamics etc. Dr. Manish Goyal has been associated with
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.
The Courtier and the Heretic: Leibniz, Spinoza & the Fate of God in the Modern World
Matthew Stewart - 2005
a personal confession of its creator and a kind of involuntary and unperceived memoir.". Stewart affirms this maxim in his colorful reinterpretation of the lives and works of 17th-century philosophers Spinoza and Leibniz. In November 1676, the foppish courtier Leibniz, "the ultimate insider... an orthodox Lutheran from conservative Germany," journeyed to The Hague to visit the self-sufficient, freethinking Spinoza, "a double exile... an apostate Jew from licentious Holland." A prodigious polymath, Leibniz understood Spinoza's insight that "science was in the process of rendering the God of revelation obsolete; that it had already undermined the special place of the human individual in nature." Spinoza embraced this new world. Seeing the orthodox God as a "prop for theocratic tyranny," he articulated the basic theory for the modern secular state. Leibniz, on the other hand, spent the rest of his life championing God and theocracy like a defense lawyer defending a client he knows is guilty. He elaborated a metaphysics that was, at bottom, a reaction to Spinoza and collapses into Spinozism, as Stewart deftly shows. For Stewart, Leibniz's reaction to Spinoza and modernity set the tone for "the dominant form of modern philosophy"—a category that includes Kant, Hegel, Bergson, Heidegger and "the whole 'postmodern' project of deconstructing the phallogocentric tradition of western thought." Readers of philosophy may find much to disagree with in these arguments, but Stewart's wit and profluent prose make this book a fascinating read.
Philosophical Essays
Gottfried Wilhelm Leibniz - 1716
In addition, the wide range of Leibniz's work--letters, published papers, and fragments on a variety of philosophical, religious, mathematical, and scientific questions over a fifty-year period--heightens the challenge of preparing an edition of his writings in English translation from the French and Latin.
Euclid in the Rainforest: Discovering Universal Truth in Logic and Math
Joseph Mazur - 2004
Underpinning both math and science, it is the foundation of every major advancement in knowledge since the time of the ancient Greeks. Through adventure stories and historical narratives populated with a rich and quirky cast of characters, Mazur artfully reveals the less-than-airtight nature of logic and the muddled relationship between math and the real world. Ultimately, Mazur argues, logical reasoning is not purely robotic. At its most basic level, it is a creative process guided by our intuitions and beliefs about the world.
Analytic Philosophy: A Very Short Introduction
Michael Beaney - 2017
E. Moore, and Ludwig Wittgenstein in the four decades around the turn of the twentieth century, analytic philosophy established itself in various forms in the 1930s. After the Second World War, it developed further in North America, in the rest of Europe, and is now growing in influence as the dominant philosophical tradition right across the world, from Latin America to East Asia.In this Very Short Introduction Michael Beaney introduces some of the key ideas of the founders of analytic philosophy by exploring certain fundamental philosophical questions and showing how those ideas can be used in offering answers. Considering the work of Susan Stebbing, he also explores the application of analytic philosophy to critical thinking, and emphasizes the conceptual creativity that lies at the heart of fruitful analysis. Throughout, Beaney illustrates why clarity of thinking, precision of expression, and rigour of argumentation are rightly seen as virtues of analytic philosophy.
The Mathematical Tourist: New & Updated Snapshots of Modern Mathematics
Ivars Peterson - 1988
Now the journey continues in a new, updated edition that includes all the latest information on mathematical proofs, fractals, prime numbers, and chaos, as well as new material on* the relationship between mathematical knots and DNA* how computers based on quantum logic can significantly speed up the factoring of large composite numbers* the relationship between four-dimensional geometry and physical theories of the nature of matter* the application of cellular automata models to social questions and the peregrinations of virtual ants* a novel mathematical model of quasicrystals based on decagon-shaped tilesBlazing a trail through rows of austere symbols and dense lines of formulae, Peterson explores the central ideas behind the work of professional mathematicians-- how and where their pieces of the mathematical puzzle fit in, the sources of their ideas, their fountains of inspiration, and the images that carry them from one discovery to another.
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.
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.
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.
Logic Made Easy: How to Know When Language Deceives You
Deborah J. Bennett - 2004
This brilliantly clear and gratifyingly concise treatment of the ancient Greek discipline identifies the illogical in everything from street signs to tax forms. Complete with puzzles you can try yourself, Logic Made Easy invites readers to identify and ultimately remedy logical slips in everyday life. Designed with dozens of visual examples, the book guides you through those hair-raising times when logic is at odds with our language and common sense. Logic Made Easy is indeed one of those rare books that will actually make you a more logical human being.