Book picks similar to
Introduction to Mathematical Structures and Proofs by Larry J. Gerstein
mathematics
proofs
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.
Mathematical Methods in the Physical Sciences
Mary L. Boas - 1967
Intuition and computational abilities are stressed. Original material on DE and multiple integrals has been expanded.
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.
Introduction to Algorithms
Thomas H. Cormen - 1989
Each chapter is relatively self-contained and can be used as a unit of study. The algorithms are described in English and in a pseudocode designed to be readable by anyone who has done a little programming. The explanations have been kept elementary without sacrificing depth of coverage or mathematical rigor.
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
Games of Strategy
Avinash K. Dixit - 1999
The physical sciences and engineering claim to be the basis of modern technology and therefore of modern life; the social sciences discuss big issues of governance, for example, democracy and taxation; the humanities claim that they revive your soul after it has been deadened by exposure to the physical and social sciences and to engineering. Where does the subject "games of strategy," often also called game theory, fit into this picture, and why should you study it? Dixit and Skeath's Games of Strategy offers a practical motivation much more individual and closer to your personal concerns than most other subjects. You play games of strategy all the time: with your parents, siblings, friends, enemies, even with your professors. You have probably acquired a lot of instinctive expertise, and we hope you will recognize in what follows some of the lessons you have already learned. This book's authors will build on this experience, systematize it, and develop it to the point where you will be able to improve your strategic skills and use them more methodically. Opportunities for such uses will appear throughout the rest of your life; you will go on playing such games with your employers, employees, spouses, children, and even strangers. Not that the subject lacks wider importance. Similar games are played in business, politics, diplomacy, wars--in fact, whenever people interact to strike mutually agreeable deals or to resolve conflicts. Being able to recognize such games will enrich your understanding of the world around you, and will make you a better participant in all its affairs.
Intermediate Accounting
Donald E. Kieso - 1902
Reflecting the demands for entry-level accountants, the focus of this book is on fostering critical thinking skills, reducing emphasis on memorisation and encouraging more analysis and interpretation by requiring use of technology tools, spreadsheets and databases.
104 Number Theory Problems: From the Training of the USA IMO Team
Titu Andreescu - 2006
Offering inspiration and intellectual delight, the problems throughout the book encourage students to express their ideas in writing to explain how they conceive problems, what conjectures they make, and what conclusions they reach. Applying specific techniques and strategies, readers will acquire a solid understanding of the fundamental concepts and ideas of number theory.
Proofs and Refutations: The Logic of Mathematical Discovery
Imre Lakatos - 1976
Much of the book takes the form of a discussion between a teacher and his students. They propose various solutions to some mathematical problems and investigate the strengths and weaknesses of these solutions. Their discussion (which mirrors certain real developments in the history of mathematics) raises some philosophical problems and some problems about the nature of mathematical discovery or creativity. Imre Lakatos is concerned throughout to combat the classical picture of mathematical development as a steady accumulation of established truths. He shows that mathematics grows instead through a richer, more dramatic process of the successive improvement of creative hypotheses by attempts to 'prove' them and by criticism of these attempts: the logic of proofs and refutations.
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.
Trigonometry For Dummies
Mary Jane Sterling - 2005
It also explains the "why" of trigonometry, using real-world examples that illustrate the value of trigonometry in a variety of careers. Mary Jane Sterling (Peoria, IL) has taught mathematics at Bradley University in Peoria for more than 20 years. She is also the author of the highly successful Algebra For Dummies (0-7645-5325-9).
Mostly Harmless Econometrics: An Empiricist's Companion
Joshua D. Angrist - 2008
In the modern experimentalist paradigm, these techniques address clear causal questions such as: Do smaller classes increase learning? Should wife batterers be arrested? How much does education raise wages? Mostly Harmless Econometrics shows how the basic tools of applied econometrics allow the data to speak.In addition to econometric essentials, Mostly Harmless Econometrics covers important new extensions--regression-discontinuity designs and quantile regression--as well as how to get standard errors right. Joshua Angrist and Jorn-Steffen Pischke explain why fancier econometric techniques are typically unnecessary and even dangerous. The applied econometric methods emphasized in this book are easy to use and relevant for many areas of contemporary social science.An irreverent review of econometric essentials A focus on tools that applied researchers use most Chapters on regression-discontinuity designs, quantile regression, and standard errors Many empirical examples A clear and concise resource with wide applications
Vector Mechanics for Engineers: Statics
Ferdinand P. Beer - 1977
Following on the success of the first six editions of the series, this work introduces theoretical and pedagogical innovations in statics, dynamics, and mechanics of materials education.
The Cartoon Guide to Algebra
Larry Gonick - 2015
He also offers a concise overview of algebra’s history and its many practical applications in modern life.Combining Gonick’s unique ability to make difficult topics fun, interesting, and easy-to-understand—while still relaying the essential information in a clear, organized and accurate format—The Cartoon Guide to Algebra is an essential supplement for students of all levels, in high school, college, and beyond.
Discovering Statistics Using SPSS (Introducing Statistical Methods)
Andy Field - 2000
What's new in the Second Edition? 1. Fully compliant with the latest version of SPSS version 12 2. More coverage of advanced statistics including completely new coverage of non-parametric statistics. The book is 50 per cent longer than the First Edition. 3. Each section of each chapter now has a notation - 1,2 or 3 - referring to the intended level of study. This helps students navigate their way through the book and makes it user-friendly for students of ALL levels. 4. Has a 'how to use this book' section at the start of the text. 5. Characters in each chapter have defined roles - summarizing key points, to pose questions etc 6. Each chapter now has several examples for students to work through. Answers provided on the enclosed CD-ROM