Book picks similar to
The Logic Book by Merrie Bergmann
philosophy
logic
non-fiction
physical
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.
A First Course in Probability
Sheldon M. Ross - 1976
A software diskette provides an easy-to-use tool for students to derive probabilities for binomial.
The Man Who Knew Too Much: Alan Turing and the Invention of the Computer
David Leavitt - 2006
Then, attempting to break a Nazi code during World War II, he successfully designed and built one, thus ensuring the Allied victory. Turing became a champion of artificial intelligence, but his work was cut short. As an openly gay man at a time when homosexuality was illegal in England, he was convicted and forced to undergo a humiliating "treatment" that may have led to his suicide.With a novelist's sensitivity, David Leavitt portrays Turing in all his humanity—his eccentricities, his brilliance, his fatal candor—and elegantly explains his work and its implications.
Applied Cryptography: Protocols, Algorithms, and Source Code in C
Bruce Schneier - 1993
… The book the National Security Agency wanted never to be published." –Wired Magazine "…monumental… fascinating… comprehensive… the definitive work on cryptography for computer programmers…" –Dr. Dobb's Journal"…easily ranks as one of the most authoritative in its field." —PC Magazine"…the bible of code hackers." –The Millennium Whole Earth CatalogThis new edition of the cryptography classic provides you with a comprehensive survey of modern cryptography. The book details how programmers and electronic communications professionals can use cryptography—the technique of enciphering and deciphering messages-to maintain the privacy of computer data. It describes dozens of cryptography algorithms, gives practical advice on how to implement them into cryptographic software, and shows how they can be used to solve security problems. Covering the latest developments in practical cryptographic techniques, this new edition shows programmers who design computer applications, networks, and storage systems how they can build security into their software and systems. What's new in the Second Edition? * New information on the Clipper Chip, including ways to defeat the key escrow mechanism * New encryption algorithms, including algorithms from the former Soviet Union and South Africa, and the RC4 stream cipher * The latest protocols for digital signatures, authentication, secure elections, digital cash, and more * More detailed information on key management and cryptographic implementations
Introduction to Linear Algebra
Gilbert Strang - 1993
Topics covered include matrix multiplication, row reduction, matrix inverse, orthogonality and computation. The self-teaching book is loaded with examples and graphics and provides a wide array of probing problems, accompanying solutions, and a glossary. Chapter 1: Introduction to Vectors; Chapter 2: Solving Linear Equations; Chapter 3: Vector Spaces and Subspaces; Chapter 4: Orthogonality; Chapter 5: Determinants; Chapter 6: Eigenvalues and Eigenvectors; Chapter 7: Linear Transformations; Chapter 8: Applications; Chapter 9: Numerical Linear Algebra; Chapter 10: Complex Vectors and Matrices; Solutions to Selected Exercises; Final Exam. Matrix Factorizations. Conceptual Questions for Review. Glossary: A Dictionary for Linear Algebra Index Teaching Codes Linear Algebra in a Nutshell.
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...
The Elements of Statistical Learning: Data Mining, Inference, and Prediction
Trevor Hastie - 2001
With it has come vast amounts of data in a variety of fields such as medicine, biology, finance, and marketing. The challenge of understanding these data has led to the development of new tools in the field of statistics, and spawned new areas such as data mining, machine learning, and bioinformatics. Many of these tools have common underpinnings but are often expressed with different terminology. This book describes the important ideas in these areas in a common conceptual framework. While the approach is statistical, the emphasis is on concepts rather than mathematics. Many examples are given, with a liberal use of color graphics. It should be a valuable resource for statisticians and anyone interested in data mining in science or industry. The book's coverage is broad, from supervised learning (prediction) to unsupervised learning. The many topics include neural networks, support vector machines, classification trees and boosting—the first comprehensive treatment of this topic in any book. Trevor Hastie, Robert Tibshirani, and Jerome Friedman are professors of statistics at Stanford University. They are prominent researchers in this area: Hastie and Tibshirani developed generalized additive models and wrote a popular book of that title. Hastie wrote much of the statistical modeling software in S-PLUS and invented principal curves and surfaces. Tibshirani proposed the Lasso and is co-author of the very successful An Introduction to the Bootstrap. Friedman is the co-inventor of many data-mining tools including CART, MARS, and projection pursuit.
Physics for Scientists and Engineers, Volume 1
Raymond A. Serway - 2003
However, rather than resting on that reputation, the new edition of this text marks a significant advance in the already excellent quality of the book. While preserving concise language, state of the art educational pedagogy, and top-notch worked examples, the Eighth Edition features a unified art design as well as streamlined and carefully reorganized problem sets that enhance the thoughtful instruction for which Raymond A. Serway and John W. Jewett, Jr. earned their reputations. Likewise, PHYSICS FOR SCIENTISTS AND ENGINEERS, will continue to accompany Enhanced WebAssign in the most integrated text-technology offering available today. In an environment where new Physics texts have appeared with challenging and novel means to teach students, this book exceeds all modern standards of education from the most solid foundation in the Physics market today.
Fifty Challenging Problems in Probability with Solutions
Frederick Mosteller - 1965
Selected for originality, general interest, or because they demonstrate valuable techniques, the problems are ideal as a supplement to courses in probability or statistics, or as stimulating recreation for the mathematically minded. Detailed solutions. Illustrated.
Mathematics for the Nonmathematician
Morris Kline - 1967
But there is one other motive which is as strong as any of these — the search for beauty. Mathematics is an art, and as such affords the pleasures which all the arts afford." In this erudite, entertaining college-level text, Morris Kline, Professor Emeritus of Mathematics at New York University, provides the liberal arts student with a detailed treatment of mathematics in a cultural and historical context. The book can also act as a self-study vehicle for advanced high school students and laymen. Professor Kline begins with an overview, tracing the development of mathematics to the ancient Greeks, and following its evolution through the Middle Ages and the Renaissance to the present day. Subsequent chapters focus on specific subject areas, such as "Logic and Mathematics," "Number: The Fundamental Concept," "Parametric Equations and Curvilinear Motion," "The Differential Calculus," and "The Theory of Probability." Each of these sections offers a step-by-step explanation of concepts and then tests the student's understanding with exercises and problems. At the same time, these concepts are linked to pure and applied science, engineering, philosophy, the social sciences or even the arts.In one section, Professor Kline discusses non-Euclidean geometry, ranking it with evolution as one of the "two concepts which have most profoundly revolutionized our intellectual development since the nineteenth century." His lucid treatment of this difficult subject starts in the 1800s with the pioneering work of Gauss, Lobachevsky, Bolyai and Riemann, and moves forward to the theory of relativity, explaining the mathematical, scientific and philosophical aspects of this pivotal breakthrough. Mathematics for the Nonmathematician exemplifies Morris Kline's rare ability to simplify complex subjects for the nonspecialist.
Introduction to Superstrings and M-Theory
Michio Kaku - 1989
Called by some, "the theory of everything," superstrings may solve a problem that has eluded physicists for the past 50 years, the final unification of the two great theories of the twentieth century, general relativity and quantum field theory. Now, here is a thoroughly revised, second edition of a course-tested comprehensive introductory graduate text on superstrings which stresses the most current areas of interest, not covered in other presentations, including: - Four-dimensional superstrings - Kac-Moody algebras - Teichm�ller spaces and Calabi-Yau manifolds - M-theory Membranes and D-branes - Duality and BPS relations - Matrix models The book begins with a simple discussion of point particle theory, and uses Feynman path integrals to unify the presentation of superstrings. It has been updated throughout, and three new chapters on M-theory have been added. Prerequisites are an acquaintance with quantum mechanics and relativity.
The Cartoon Guide to Statistics
Larry Gonick - 1993
Never again will you order the Poisson Distribution in a French restaurant!This updated version features all new material.
Ethics in Information Technology
George W. Reynolds - 2002
This book offers an excellent foundation in ethical decision-making for current and future business managers and IT professionals.
Quantum Theory
David Bohm - 1951
Although it presents the main ideas of quantum theory essentially in nonmathematical terms, it follows these with a broad range of specific applications that are worked out in considerable mathematical detail. Addressed primarily to advanced undergraduate students, the text begins with a study of the physical formulation of the quantum theory, from its origin and early development through an analysis of wave vs. particle properties of matter. In Part II, Professor Bohm addresses the mathematical formulation of the quantum theory, examining wave functions, operators, Schrödinger's equation, fluctuations, correlations, and eigenfunctions.Part III takes up applications to simple systems and further extensions of quantum theory formulation, including matrix formulation and spin and angular momentum. Parts IV and V explore the methods of approximate solution of Schrödinger's equation and the theory of scattering. In Part VI, the process of measurement is examined along with the relationship between quantum and classical concepts.Throughout the text, Professor Bohm places strong emphasis on showing how the quantum theory can be developed in a natural way, starting from the previously existing classical theory and going step by step through the experimental facts and theoretical lines of reasoning which led to replacement of the classical theory by the quantum theory.
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.