株式会社極東書店トップ ＞ 商品一覧 ＞ Theoretical Computer Science for the Working Category Theorist.
商品詳細
Theoretical Computer Science for the Working Category Theorist.
・ISBN 978-1-108-79274-5 paper GB£ 18.00
￥5,702.- (税込) ※（※）価格はご注文時の参考価格となります。
納品価格につきましては書籍の入荷時点で確定となります。
版元の原価改定、外国為替の変動等により異なる場合がございますので、予めご了承下さい。
お気に入り
★★★
電子版あり 大学・学術機関向け電子ブック（eBook）ISBN 978-1-108-87234-8
| 著者・編者 | Yanofsky, Noson S., |
|---|---|
| シリーズ | Elements in Applied Category Theory |
| 出版社 | (Cambridge University Press, UK) |
| 出版年月 | 2022 |
| ページ数 | 150 pp. |
| 言語 | ENG |
| ニュース番号 | ＜M25-14116＞ |
解説
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 Goedel's incompleteness theorem, intractable problems, cryptographic protocols, Alan Turing's Halting problem, and much more. The concepts come alive with many examples and exercises.