New Arrivals/Restock

Theoretical Computer Science for the Working Category Theorist (Elements in Applied Category Theory)

flash sale iconLimited Time Sale
Until the end
16
59
09

US$11.30 cheaper than the new price!!

Free shipping for purchases over $99 ( Details )
Free cash-on-delivery fees for purchases over $99
Please note that the sales price and tax displayed may differ between online and in-store. Also, the product may be out of stock in-store.
Used  US$7.54
quantity

Product details

Management number 232086161 Release Date 2026/06/18 List Price US$7.54 Model Number 232086161
Category

Using basic category theory, this Element describes all the central concepts and proves the main theorems of theoretical computer science. Category theory, which works with functions, processes, and structures, is uniquely qualified to present the fundamental results of theoretical computer science. In this Element, readers will meet some of the deepest ideas and theorems of modern computers and mathematics, such as Turing machines, unsolvable problems, the P=NP question, Kurt Gödel's incompleteness theorem, intractable problems, cryptographic protocols, Alan Turing's Halting problem, and much more. The concepts come alive with many examples and exercises. Read more

ASIN B09QX6CH7Z
XRay Not Enabled
Format Print Replica
ISBN13 978-1108890670
Language English
File size 3.8 MB
Page Flip Not Enabled
Publisher Cambridge University Press
Word Wise Not Enabled
Accessibility Learn more
Publication date March 3, 2022
Enhanced typesetting Not Enabled

Correction of product information

If you notice any omissions or errors in the product information on this page, please use the correction request form below.

Correction Request Form

Product Review

You must be logged in to post a review