• Title Introduction to Computing: Explorations in Language, Logic, and Machines
• Author(s) David Evans
• Publisher: CreateSpace (August 15, 2011); eBook (Updated at 2018)
• License(s): CC BY-NC-SA 3.0 US
• Paperback: 266 pages
• eBook: HTML, PDF, ePub, Kindle, etc.
• Language: English
• ISBN-10: 1463687478
• ISBN-13: 978-1463687472
• Share This:  

Book Description

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 introduces the most important ideas in computing using the Scheme and Python programming languages. 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.

• David Evans is a 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.

• Amazon

• Introduction to Computer Science
• Theory of Computation and Computing
• Mathematical Logic - Set Theory, Model Theory, Computability, etc
• Python Programming
• Scheme Programming

• Introduction to Computing: Explorations in Language, Logic, and Machines (David Evans)
• The Mirror Site (1) - PDF
• The Mirror Site (2) - PDF, ePub, Kindle, etc.

• A Data-Centric Introduction to Computing (Kathi Fisler, et al)

  This book is an introduction to computer science. It will teach you to program, and do so in ways that are of practical value and importance. It uses a data-centric approach: data centric = data science + data structures.

• Introduction to Classical and Quantum Computing (Tom Wong)

  This book is for students who want to learn quantum computing beyond a conceptual level, but who lack advanced training in mathematics. The only prerequisite is trigonometry, and mathematics beyond that will be covered.

• Computer Science from the Bottom Up - From Operating Systems

  It aims to teach computer science from the bottom end up - working from operating systems fundamentals through to how those applications are complied and executed, so you might be able to figure out where to start looking to make sense of it all.

• Classic Computer Science Problems in Python (David Kopec)

  This book deepens your knowledge of problem-solving techniques from the realm of computer science by challenging you with time-tested scenarios, exercises, and algorithms. As you work through examples in search, clustering, graphs, and more.

• Building Blocks for Theoretical Computer Science (Margaret Fleck)

  For all readers interested in the basics of computer science. It provides a survey of basic mathematical objects, notation, and techniques which will be useful in later computer science courses.

• Models of Computation: Exploring the Power of Computing

  It covers the traditional topics of formal languages, automata and complexity classes, as well as an introduction to the more modern topics of space-time tradeoffs, memory hierarchies, parallel computation, the VLSI model, and circuit complexity.

• Foundations of Computation (Carol Critchlow, et al)

  It includes topics from discrete mathematics, automata theory, formal language theory, and the theory of computation, along with practical applications to computer science. The course has no prerequisites other than introductory computer programming.

• Introduction to Theory of Computation (Anil Maheshwari, et al)

  This is a textbook on formal languages, automata theory, and computational complexity. This text strikes a good balance between rigor and an intuitive approach to computer theory.

• Matters Computational: Ideas, Algorithms, Source Code

  This book provides algorithms and ideas for computationalists, whether a working programmer or anyone interested in methods of computation. The implementations are done in C++ and the GP language, written for POSIX-compliant platforms.