| 000 | 01673nam a22003137a 4500 | ||
|---|---|---|---|
| 999 |
_c56904 _d56904 |
||
| 003 | IN-MiVU | ||
| 005 | 20190827112101.0 | ||
| 006 | m|||||o||d| 00| 0 | ||
| 007 | cr uuu---uuuuu | ||
| 008 | 180423s2009 xxu||||go|||| 00| 0 eng d | ||
| 020 | _a9780511608872 ( e-book ) | ||
| 040 |
_aMAIN _beng _cIN-MiVU |
||
| 041 | 0 | _aeng | |
| 082 | 0 | 4 |
_a511.3 _bWAL/C _221 |
| 100 | 1 | _aWalters, R. F. C. | |
| 245 | 0 | 0 |
_aCategories and Computer Science [ electronic resource ] / _cby R. F. C. Walters. |
| 260 |
_aCambridge: _bCambridge University Press , _c2009. |
||
| 440 | 0 | _aCambridge Computer Science Texts (28) | |
| 520 | _aCategory theory has become increasingly important and popular in computer science, and many universities now have introductions to category theory as part of their courses for undergraduate computer scientists. The author is a respected category theorist and has based this textbook on a course given over the last few years at the University of Sydney. The theory is developed in a straightforward way, and is enriched with many examples from computer science. Thus this book meets the needs of undergradute computer scientists, and yet retains a level of mathematical correctness that will broaden its appeal to include students of mathematics new to category theory. | ||
| 650 | 1 | 0 | _aComputer Science |
| 650 | 1 | 0 | _aComputing: General Interest |
| 650 | 1 | 0 | _aLogic |
| 650 | 1 | 0 | _a Categories and Sets |
| 650 | 1 | 0 | _aProgramming Languages and Applied Logic |
| 650 | 1 | 0 | _a Mathematics |
| 655 | 4 | _aElectronic books | |
| 856 | 4 | 0 |
_uhttps://doi.org/10.1017/CBO9780511608872 _yhttps://doi.org/10.1017/CBO9780511608872 _zView to click |
| 942 |
_2ddc _cEB |
||