Cantitate/Preț
Produs

Theoretical Computer Science for the Working Category Theorist

Autor Noson S Yanofsky
en Limba Engleză Paperback – 3 mar 2022
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.
Citește tot Restrânge

Preț: 12653 lei

Preț vechi: 15816 lei
-20%

Puncte Express: 190

Carte tipărită la comandă

Livrare economică 01-15 iunie
Livrare express 24-30 aprilie pentru 1894 lei


Specificații

ISBN-13: 9781108792745
ISBN-10: 110879274X
Pagini: 148
Dimensiuni: 145 x 225 x 9 mm
Greutate: 0.21 kg
Ediția:Nouă
Editura: Cambridge University Press
Locul publicării:Cambridge, United Kingdom

Cuprins

1. Introduction; 2. Aide-Mémoire for Category Theory; 3. Models of Computation; 4. Computability Theory; 5. Complexity Theory; 6. Diagonal Arguments; 7. Conclusion; References.

Descriere

This Element describes the major ideas and theorems of theoretical computer science with the basic language of category theory.