Theoretical Computer Science for the Working Category Theorist
Book Details
Format
Paperback / Softback
Book Series
Elements in Applied Category Theory
ISBN-10
110879274X
ISBN-13
9781108792745
Publisher
Cambridge University Press
Imprint
Cambridge University Press
Country of Manufacture
GB
Country of Publication
GB
Publication Date
Mar 3rd, 2022
Print length
150 Pages
Weight
222 grams
Dimensions
15.10 x 22.70 x 1.60 cms
Product Classification:
Mathematical foundationsMathematical theory of computation
Ksh 3,350.00
Manufactured on Demand
Delivery in 29 days
Delivery Location
Delivery fee: Select location
Delivery in 29 days
Secure
Quality
Fast
This Element presents the usual material taught in a yearlong course of theoretical computer science using the intuitive language and methodology of category theory. Perfect for students or professionals working in computers or physics, or mathematics.
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.
Get Theoretical Computer Science for the Working Category Theorist by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Cambridge University Press and it has pages.
