Free Computer, Mathematics, Technical Books and Lecture Notes, etc.
- Title Introduction to Computing: Explorations in Language, Logic, and Machines
- Authors David Evans
- Publisher: CreateSpace Independent Publishing Platform (August 15, 2011)
- Paperback: 266 pages
- eBook: HTML, PDF (266 pages, 4.1 MB), and PDF files
- Language: English
- ISBN-10: 1463687478
- ISBN-13: 978-1463687472
- Share This:
In the past hundred years, computer science has changed the world more than any other field. Without computer science, humans would not have walked on the Moon, modern medicine would not exist, and Wal-Mart would be a small store in Arkansas. But this book is not just about the pragmatic impact of computer science; it is about how computer science changes the way we think and how we solve problems.
This book is a survey introduction to the most important ideas in computing. It focuses on how to describe information processes by defining procedures, how to analyze the costs required to carry out a procedure, and the fundamental limits of what can and cannot be computed mechanically.
Computer science is the study of information processes. Computer scientists study how to describe, predict properties of, and efficiently implement information processes. When confronted with a problem, computer scientists do not just attempt to solve it. Instead, they think about a problem as a mapping between its inputs and desired outputs, develop a systematic sequence of steps for solving the problem for any possible input, and consider how the number of steps required to solve the problem scales as the input size increases. Thinking about problems this way has practical value since it leads to programs computers can execute to solve problems remarkably quickly, but also impacts the way we think about defining and solving problems regardless of whether or not a computer is involved.About the Authors
- David Evans is an Associate Professor of Computer Science at the University of Virginia. He won the Outstanding Faculty Award from the State Council of Higher Education for Virginia in 2009, an All-University Teaching Award in 2008, and was Program Co-Chair for the 2009 and 2010 IEEE Symposia on Security and Privacy. He has SB, SM and PhD degrees in Computer Science from MIT.
- Introduction to Computer Science
- Theory of Computation and Computing
- Mathematical Logic - Set Theory, Model Theory, Computability, etc
- Theory of Programming Languages