We use cookies to make your experience better. By continuing to browse our site you are agreeing to our use of cookies. Learn more.
Computability by George J. Tourlakis
£54.99
Available
Product Ref. (e.g. ISBN, SKU)
9783030832049
Published:
03 Aug 2023
Format:
Paperback
Number of pages:
637 pages
Dimensions:
235x155x40mm
Weight:
1.012kgs
Author:
This survey of computability theory offers the techniques and tools that computer scientists (as well as mathematicians and philosophers studying the mathematical foundations of computing) need to mathematically analyze computational processes and investigate the theoretical limitations of computing. Beginning with an introduction to the mathematisation of 'mechanical process' using URM programs, this textbook explains basic theory such as primitive recursive functions and predicates and sequence-coding, partial recursive functions and predicates, and loop programs.
This survey of computability theory offers the techniques and tools that computer scientists (as well as mathematicians and philosophers studying the mathematical foundations of computing) need to mathematically analyze computational processes and investigate the theoretical limitations of computing. Beginning with an introduction to the mathematisation of "mechanical process" using URM programs, this textbook explains basic theory such as primitive recursive functions and predicates and sequence-coding, partial recursive functions and predicates, and loop programs.
Advanced chapters cover the Ackerman function, Tarski's theorem on the non-representability of truth, Goedel's incompleteness and Rosser's incompleteness theorems, two short proofs of the incompleteness theorem that are based on Lob's deliverability conditions, Church's thesis, the second recursion theorem and applications, a provably recursive universal function for the primitive recursive functions, Oraclecomputations and various classes of computable functionals, the Arithmetical hierarchy, Turing reducibility and Turing degrees and the priority method, a thorough exposition of various versions of the first recursive theorem, Blum's complexity, Hierarchies of primitive recursive functions, and a machine-independent characterisation of Cobham's feasibly computable functions.
About the Author: George Tourlakis, PHD, is University Professor of Computer Science and Engineering at York University in Toronto, Canada. He has published extensively in his areas of research interest, which include calculational logic, modal logic, computability, and complexity theory. Dr. Tourlakis is the author of Theory of Computation and Mathematical Logic, both published by Wiley, and Lectures in Logic and Set Theory; Volumes 1 and 2 (Cambridge University Press).
| Number of pages | 637 |
|---|
We will despatch your order as quickly as we can. If, for whatever reason, a product is out of stock we will contact you to discuss the likely delivery time or an alternative product.
| First Item | 2 Items & Over | |
|---|---|---|
| UK | £3.75 | £5.00 |
| EU | £15.00 | £30.00 |
| USA & Canada | £30.00 | £50.00 |
| Rest of the World | £45.00 | £60.00 |
| Collect in Store | free | free |
Additional Delivery Information (and some really important bits):
UK Delivery
Orders for delivery in the UK are normally despatched by Royal Mail, using the RM 48 Tracked Service with most orders delivered to you within a few days of placing your order with us. For larger parcels, Courier and Signed For delivery services may be used. Signed Books are shipped in our specially made book mailing cartons, with the books themselves wrapped in paper to protect them. Sometimes we may ship your order in several parts, particularly if you have 'Pre-Order' titles in your order or titles which are held in stock with our publishing partners.
The Really Important Bit: Because we use tracked, courier and signed for delivery services, please use an address at which your parcel can be received during the normal working day, for example, you may want to have your order delivered to your work address if you're not at home during the day.
First Item @ £3.75 (sometimes a shipping supplement may be added for particularly heavy books or specific postcodes*)
2 Items & over @ £5.00 in total
Another Really Important Bit: There are a number of Postcodes in the UK for which we will need to charge a shipping supplement, this will be calculated once we know the size and weight of the shipment. For these orders we will contact customers to agree a suitable and economic method of shipping. There may also be additional time required for delivery to some areas of the United Kingdom. Where possible, we will ship book orders (under 2kg) by Royal Mail to all UK postcodes. Large multiple book orders and books over 2kg are often shipped via APC Overnight or similar, regardless of Postcode.
Overseas Delivery
Shipments to EU countries:
First Item @ £15.00 (sometimes a shipping supplement will be added for particularly heavy books)
2 Items & over @ £30.00 in total
A really, really important Brexit bit: From 1st January 2021 shipments to EU addresses may incur additional costs which could be requested by Fed Ex at the time of delivery. These costs may vary from country to country and are not within our control and will be in addition to the costs paid to us for your delivery. If in any doubt, please check with your local Fed Ex office what, if any, additional costs will be applicable to your order - https://www.fedex.com
From 1st July 2021, VAT will be applicable to those EU countries where VAT is applied to books - this additional charge will be collected by Fed Ex (or the Royal Mail) at the time of delivery.
Shipments to the USA & Canada:
First Item @ £30.00
2 Items & over @ £50.00 in total
Shipments to the Rest of the World:
First Item @ £45.00
2 Items & over @ £60.00 in total
All overseas orders are shipped using a 'signed for' courier service - please provide an address at which your parcel can be signed for on receipt. We use the same packaging materials for our overseas deliveries as we do those in the UK. In some cases, particularly large and heavy books, or books being shipped to remote areas, may incur an additional shipping charge - if this is the case with your order, we'll notify you as quickly as possible of these charges and to arrange the additional payment. You can of course cancel your order with an immediate refund should you not wish to accept these additional costs. Shipments to overseas territories may incur additional Duty & Tax costs which could be requested by Fed Ex at the time of delivery. These costs may vary from country to country and are not within our control and will be in addition to the costs paid to us for your delivery. If in any doubt, please check with your local Fed Ex office what, if any, additional Tax & Duty costs will be applicable to your order - https://www.fedex.com
Collect in Person at Coles Books
We're open Monday - Saturday, 9:00am - 5:30pm. If you're collecting your order, please wait until you get the text, phone call or email from us, just to be on the safe side and to ensure we have your order ready for you on arrival (we'll use the contact information provided during checkout). Not everything on our website is available for immediate collection, please do wait for the text, call or email - if time is of the essence, we'd suggest you call us on 01869 320779 and check availability prior to placing your order. You can pick up your order from the till, please bring a copy of your email receipt (electronic or printed is fine).
Coming by Car
If you're coming to Coles by car, why not take advantage of the 2 hours free parking at Sainsbury's Pioneer Square - just follow the signs for Pioneer Square as you drive into Bicester and park in the multi-storey car park above the supermarket. Come down the travelators, exit Sainsbury's, turn right and follow the pedestrianised walkway to Crown Walk and turn right - and Coles will be right in front of you. You don't need to shop in Sainsbury's to get the free parking!
Where to Find Us
Coles Books
22 Crown Walk
Pioneer Square
Bicester, Oxfordshire
OX26 6HY, United Kingdom
It was the most impressive packaging that I have EVER SEEN!!! The books were in perfect condition!!!!!
Super fast delivery and well packaged. Quality item and service!