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

Yanofsky, Noson S.

ISBN 10: 110879274X / ISBN 13: 9781108792745

Edité par Cambridge University Press (edition New), 2022

It's a preowned item in good condition and includes all the pages. It may have some general signs of wear and tear, such as markings, highlighting, slight damage to the cover, minimal wear to the binding, etc., but they will not affect the overall reading experience. N° de réf. du vendeur 110879274X-11-1

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.

Détails bibliographiques

Titre : Theoretical Computer Science for the Working...
Éditeur : Cambridge University Press (edition New)
Date d'édition : 2022
Reliure : Paperback
Etat : Good
Edition : New.