Theoretical Computer Science for the Working Category Theorist

by Noson S. Yanofsky

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 foundations Mathematical theory of computation

AI Summary

Ksh 3,350.00

Manufactured on Demand Delivery in 14 days 2 copies in stock

Delivery Location

County

Location

Delivery fee: Select location

Delivery in 14 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.