0 Mėgstami
0Krepšelis

Theoretical Computer Science for the Working Category Theorist

Šiuo metu neparduodama

Knygos aprašymas

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.

Informacija

Autorius: Noson S. Yanofsky
Leidėjas: Cambridge University Press
Išleidimo metai: 2022
Knygos puslapių skaičius: 148
ISBN-13: 9781108792745
Formatas: 6 x 0.34 x 9 inches. Knyga minkštu viršeliu
Kalba: Anglų

Pirkėjų atsiliepimai

Parašykite atsiliepimą apie „Theoretical Computer Science for the Working Category Theorist“

Būtina įvertinti prekę

Goodreads reviews for „Theoretical Computer Science for the Working Category Theorist“