Title: Theoretical Computer Science for the Working Category Theorist (Elements in Applied Category Theory)
Publisher: Cambridge University Press
Publication Date: 2022
Language: English
ISBN 10: 110879274X
ISBN 13: 9781108792745
Binding: Soft cover
Condition: As New

About this title

Synopsis

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.

"About this title" may belong to another edition of this title.

Store Description

We sell academic, specialist books, from the mathematical sciences. Also a range of other subjects, especially philosophy, music, psychology, and children's books. We stock some rare books too as well as music scores, DVDs and CDs.

Visit Seller's Storefront

Seller's business information

MostlyAcademic
NSW, Australia

Sale & Shipping Terms

Terms of Sale

Shipping Terms

Items ship via Australia Post, using regular shipping. If insurance is required please specify and extra charges will be added.

Shipping rates from Australia to U.S.A.

Shipping rates from Australia to U.S.A.
Order quantity	25 to 45 business days	8 to 14 business days
First item	US$ 34.95	US$ 34.95

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.