Introduction to Computation Image close
Introduction to Computation by Donald Sannella
Introduction to Computation by Donald Sannella
Show Hide Adult Content
Introduction to Computation close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer programming / software development  
Algorithms & data structures

Introduction to Computation

Haskell, Logic and Automata
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Paperback / softback
$117.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $29.25 with Afterpay Learn more

6 weekly interest-free payments of $19.50 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 11-21 June using International Courier

Explore more Undergraduate Topics in Computer Science

See all products in this series

Computability and Complexity by Rod Downey
$135.00
Computability and Complexity
by Rod Downey ~ Paperback / softback
Pre-order - out 23 May 2024
Guide to Competitive Programming by Antti Laaksonen
$136.00
Guide to Competitive Programming
by Antti Laaksonen ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Understanding Computer Organization by Patricio Bulic
$139.00
Understanding Computer Organization
by Patricio Bulic ~ Paperback / softback
Pre-order - out 8 Jul 2024
Proofs and Algorithms by Gilles Dowek
$120.00
Proofs and Algorithms
by Gilles Dowek ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Programming Languages and Operational Semantics by Maribel Fernandez
$138.00
Programming Languages and Operational Semantics
by Maribel Fernandez ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Analysis for Computer Scientists by Michael Oberguggenberger
$153.00
Analysis for Computer Scientists
by Michael Oberguggenberger ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Guide to Scientific Computing in C++ by Joe Pitt-Francis
$153.00
Guide to Scientific Computing in C++
by Joe Pitt-Francis ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Core Data Analysis: Summarization, Correlation, and Visualization by Boris Mirkin
$192.00
Core Data Analysis: Summarization, Correlation, and Visualization
by Boris Mirkin ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Practical Analysis of Algorithms by Dana Vrajitoru
$171.00
Practical Analysis of Algorithms
by Dana Vrajitoru ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Concise Guide to Software Engineering by Gerard O'Regan
$153.00
Concise Guide to Software Engineering
by Gerard O'Regan ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Models of Computation by Maribel Fernandez
$138.00
Models of Computation
by Maribel Fernandez ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Fundamentals of Discrete Math for Computer Science by Tom Jenkyns
$192.00
Fundamentals of Discrete Math for Computer Science
by Tom Jenkyns ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Principles of Parallel Scientific Computing by Tobias Weinzierl
$140.00
Principles of Parallel Scientific Computing
by Tobias Weinzierl ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Mathematics in Computing by Gerard O'Regan
$153.00
Mathematics in Computing
by Gerard O'Regan ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Guide to Assembly Language by James T. Streib
$152.00
Guide to Assembly Language
by James T. Streib ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Rigorous Software Development by Jose Bacelar Almeida
$120.00
Rigorous Software Development
by Jose Bacelar Almeida ~ Paperback / softback
Available - Usually ships in 3-4 weeks

Description

Computation, itself a form of calculation, incorporates steps that include arithmetical and non-arithmetical (logical) steps following a specific set of rules (an algorithm).  This uniquely accessible textbook introduces students using a very distinctive approach, quite rapidly leading them into essential topics with sufficient depth, yet in a highly intuitive manner.  From core elements like sets, types, Venn diagrams and logic, to patterns of reasoning, calculus, recursion and expression trees, the book spans the breadth of key concepts and methods that will enable students to readily progress with their studies in Computer Science.

Author Biography:

Prof. Donald Sannella, Prof. Michael Fourman, and Prof. Philip Wadler are each at the University of Edinburgh's School of Informatics, Edinburgh, UK.  Mr. Haoran Peng is also at the same university department.
Release date NZ
January 20th, 2022
Pages
366
Edition
1st ed. 2021
Audience
  • Professional & Vocational
Illustrations
13 Illustrations, color; 271 Illustrations, black and white; XVI, 366 p. 284 illus., 13 illus. in color.
ISBN-13
9783030769079
Product ID
34860728

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Computer programming / software development >
Algorithms & data structures
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation >
Maths for computer scientists
Books >
Computers & Internet >
Computer science >
Computer architecture & logic design