Yanofsky, Noson S.
Theoretical Computer Science for the Working Category Theorist (Elements in Applied Category Theory)
- ISBN 13:
- 9781108792745
- author:
- Yanofsky, Noson S.
- format:
- Paperback
- publisher:
- Cambridge University Press
- language:
- English
- Publication Year:
- 2022
- Pages:
- 150
- Dimensions:
- 22.8 x 15.2 x 0.9 centimetres (0
- Genre:
- Science, Mathematics, Logic,
- Condition:
- New
- Availability:
- Item usually sent within 10 working days
Description
This Element introduces the fundamental concepts and proves the main theorems of theoretical computer science using basic category theory. Category theory provides a unique framework for understanding the central ideas and results of modern computers and mathematics.
Key topics include Turing machines, unsolvable problems, the P=NP question, Kurt Gödel's incompleteness theorem, intractable problems, cryptographic protocols, and Alan Turing's Halting problem, among others. The concepts are illustrated with numerous examples and exercises to help readers grasp these complex ideas.
By exploring category theory and its applications, this Element provides a comprehensive introduction to the core principles of theoretical computer science, making it an ideal resource for those seeking to understand the underlying foundations of modern computing.
Related Products
Related Products
Basic Category Theory for Computer Scientists (Foundations of Computing)
Pierce, Benjamin C.
Categories for the Working Mathematician
Lane, Saunders Mac
An Invitation to Applied Category Theory: Seven Sketches in Compositionality
Fong, Brendan
An Introduction to Category Theory
Harold Simmons
The Categories
Aristotle