Logo

Introduction to Computing: Explorations in Language, Logic, and Machines

Small book cover: Introduction to Computing: Explorations in Language, Logic, and Machines

Introduction to Computing: Explorations in Language, Logic, and Machines
by

Publisher: University of Virginia
Number of pages: 298

Description:
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.

Home page url

Download or read it online for free here:
Download link
(35MB, PDF)

Similar books

Book cover: Galois Connections and Fixed Point CalculusGalois Connections and Fixed Point Calculus
by
The book on the fundamental algebraic structures in the mathematics of program construction focusing the algebraic properties of recursion and how these are applied to the generic solution of programming problems. The tutorial covers fixed point calculus.
(7851 views)
Book cover: Bayesian Computational MethodsBayesian Computational Methods
by - arXiv
We will first present the most standard computational challenges met in Bayesian Statistics, focusing primarily on mixture estimation and on model choice issues, and then relate these problems with computational solutions.
(4172 views)
Book cover: Rule-based Computation and DeductionRule-based Computation and Deduction
by - ESSLLI
This text first introduces the concept of rewriting which is behind rule-based systems. Then the rewriting logic and the rewriting calculus are defined and shown to be especially suited to describing concurrent and non-deterministic computations.
(4100 views)
Book cover: Introduction to Theory of ComputationIntroduction to Theory of Computation
by - Carleton University
This is a textbook for an undergraduate course on the Theory of Computation. Contents: Finite Automata and Regular Languages; Context-Free Languages; Turing Machines and Church-Turing Thesis; Decidable and Undecidable Languages; Complexity Theory.
(2517 views)