Book picks similar to
Foundations of Algebraic Specification and Formal Software Development by Donald Sannella
computer_science
fp-advanced
mathematics
Introduction to the Theory of Computation
Michael Sipser - 1996
Sipser's candid, crystal-clear style allows students at every level to understand and enjoy this field. His innovative "proof idea" sections explain profound concepts in plain English. The new edition incorporates many improvements students and professors have suggested over the years, and offers updated, classroom-tested problem sets at the end of each chapter.
Elements of Information Theory
Thomas M. Cover - 1991
Readers are provided once again with an instructive mix of mathematics, physics, statistics, and information theory.All the essential topics in information theory are covered in detail, including entropy, data compression, channel capacity, rate distortion, network information theory, and hypothesis testing. The authors provide readers with a solid understanding of the underlying theory and applications. Problem sets and a telegraphic summary at the end of each chapter further assist readers. The historical notes that follow each chapter recap the main points.The Second Edition features: * Chapters reorganized to improve teaching * 200 new problems * New material on source coding, portfolio theory, and feedback capacity * Updated referencesNow current and enhanced, the Second Edition of Elements of Information Theory remains the ideal textbook for upper-level undergraduate and graduate courses in electrical engineering, statistics, and telecommunications.
Elements of Partial Differential Equations
Ian N. Sneddon - 2006
It emphasizes forms suitable for students and researchers whose interest lies in solving equations rather than in general theory. Solutions to odd-numbered problems appear at the end. 1957 edition.
Python Algorithms: Mastering Basic Algorithms in the Python Language
Magnus Lie Hetland - 2010
Written by Magnus Lie Hetland, author of Beginning Python, this book is sharply focused on classical algorithms, but it also gives a solid understanding of fundamental algorithmic problem-solving techniques.The book deals with some of the most important and challenging areas of programming and computer science, but in a highly pedagogic and readable manner. The book covers both algorithmic theory and programming practice, demonstrating how theory is reflected in real Python programs. Well-known algorithms and data structures that are built into the Python language are explained, and the user is shown how to implement and evaluate others himself.
Doing Math with Python
Amit Saha - 2015
Python is easy to learn, and it's perfect for exploring topics like statistics, geometry, probability, and calculus. You’ll learn to write programs to find derivatives, solve equations graphically, manipulate algebraic expressions, even examine projectile motion.Rather than crank through tedious calculations by hand, you'll learn how to use Python functions and modules to handle the number crunching while you focus on the principles behind the math. Exercises throughout teach fundamental programming concepts, like using functions, handling user input, and reading and manipulating data. As you learn to think computationally, you'll discover new ways to explore and think about math, and gain valuable programming skills that you can use to continue your study of math and computer science.If you’re interested in math but have yet to dip into programming, you’ll find that Python makes it easy to go deeper into the subject—let Python handle the tedious work while you spend more time on the math.
How to Prepare for Quantitative Aptitude for the CAT Common Admission Test
Arun Sharma - 2012
The book will also be extremely useful for those preparing for other MBA entrance examinations like XAT, SNAP, CMAT, NMAT, etc. Quantitative Aptitude is quite challenging component of the CAT question paper and the other mentioned MBA entrance examinations. In his inimitable style, Arun Sharma, an acknowledged authority on the topic, provides a comprehensive package of theory and practice problems to enable aspirants to attempt questions with extra speed and confidence.
Computer Organization and Architecture: Designing for Performance
William Stallings - 1987
For courses in computer organization and architecture, this text provides a clear, comprehensive presentation of the organization and architecture of contemporary computers.
Mental Math: Tricks To Become A Human Calculator
Abhishek V.R. - 2017
Just read this till the end You don’t have to buy this book. Just read this till end & you will learn something that will change the way you do math forever. Warning: I am revealing this secret only to the first set of readers who will buy this book & plan to put this secret back inside the book once I have enough sales. So read this until the very end while you still can.School taught you the wrong way to do mathThe way you were taught to do math, uses a lot of working memory. Working memory is the short term memory used to complete a mental task. You struggle because trying to do mental math the way you were taught in school, overloads your working memory. Let me show you what I mean with an example:Try to multiply the 73201 x 3. To do this you multiply the following:1 x 3 =0 x 3 =2 x 3 =3 x 3 =7 x 3 =This wasn’t hard, & it might have taken you just seconds to multiply the individual numbers. However, to get the final answer, you need to remember every single digit you calculated to put them back together. It takes effort to get the answer because you spend time trying to recall the numbers you already calculated. Math would be easier to do in your head if you didn’t have to remember so many numbers. Imagine when you tried to multiply 73201 x 3, if you could have come up with the answer, in the time it took you to multiply the individual numbers. Wouldn’t you have solved the problem faster than the time it would have taken you to punch in the numbers inside a calculator? Do the opposite of what you were taught in schoolThe secret of doing mental math is to calculate from left to right instead of from right to left. This is the opposite of what you were taught in school. This works so well because it frees your working memory almost completely. It is called the LR Method where LR stands for Left to Right.Lets try to do the earlier example where we multiplied 73201 x 3. This time multiply from left to right, so we get:7 x 3 = 213 x 3 = 93 x 2 = 60 x 3 = 03 x 1 = 3Notice that you started to call out the answer before you even finished the whole multiplication problem. You don’t have to remember a thing to recall & use later. So you end up doing math a lot faster. The Smart ChoiceYou could use what you learnt & apply it to solve math in the future. This might not be easy, because we just scratched the surface. I've already done the work for you. Why try to reinvent the wheel, when there is already a proven & tested system you can immediately apply. This book was first available in video format & has helped 10,000+ students from 132 countries. It is available at ofpad.com/mathcourse to enroll. This book was written to reach students who consume the information in text format. You can use the simple techniques in this book to do math faster than a calculator effortlessly in your head, even if you have no aptitude for math to begin with.Imagine waking up tomorrow being able to do lightning fast math in your head. Your family & friends will look at you like you are some kind of a genius. Since calculations are done in your head, you will acquire better mental habits in the process. So you will not just look like a genius. You will actually be one. Limited Time BonusWeekly training delivered through email for $97 is available for free as a bonus at the end of this book for the first set of readers. Once we have enough readers, this bonus will be charged $97. Why Price Is So LowThis book is priced at a ridiculous discount only to get our first set of readers. When we have enough readers the price will go up.
The Calculus Direct
John Weiss - 2009
The calculus is not a hard subject and I prove this through an easy to read and obvious approach spanning only 100 pages. I have written this book with the following type of student in mind; the non-traditional student returning to college after a long break, a notoriously weak student in math who just needs to get past calculus to obtain a degree, and the garage tinkerer who wishes to understand a little more about the technical subjects. This book is meant to address the many fundamental thought-blocks that keep the average 'mathaphobe' (or just an interested person who doesn't have the time to enroll in a course) from excelling in mathematics in a clear and concise manner. It is my sincerest hope that this book helps you with your needs.Show more Show less
John Von Neumann
Norman Macrae - 1992
This book discusses Von Neumann's work in areas such as game theory, mathematics, physics, and meteorology which formed the building blocks for the most important discoveries of the century: the modern computer, game theory, and the atom bomb.
Mathematics In The Modern World: Readings From Scientific American
Morris Kline - 1968
Neural Networks and Deep Learning
Michael Nielsen - 2013
The book will teach you about:* Neural networks, a beautiful biologically-inspired programming paradigm which enables a computer to learn from observational data* Deep learning, a powerful set of techniques for learning in neural networksNeural networks and deep learning currently provide the best solutions to many problems in image recognition, speech recognition, and natural language processing. This book will teach you the core concepts behind neural networks and deep learning.