Basic Category Theory for Computer Scientists (Research Monographs in Parallel and Distributed Computing) (Taschenbuch) von Benjamin C. Pierce   Synopsis: Category theory is a branch of pure mathematics that is an important tool in theoretical computer science, especially in programming language semantics, domain theory, and concurrency, where it is a standard language of discourse. Assuming a minimum of mathematical preparation, "Basic Theory for Computer Scientists" provides a presentation of the basic constructions and terminology of category theory, including limits, functors, natural transformations, adjoints, and cartesian closed categories. Four case studies illustrate applications of category theory to programming language design, semantics, and the solution of recursive domain equations. A brief literature survey offers suggestions for further study in more advanced texts. a.areaLink, a.areaLink:visited { text-decoration: none; color: black; display: block; } .areaLink .innerLink { white-space: nowrap; text-decoration: underline; color: #039; } .crBlueBorder-tl { background: url( http://g-ec2.images-amazon.com/images/G/03/x-locale/communities/reviews/border-box-tl.jpg) no-repeat top left; width: 1em; } .crBlueBorder-tc { background: url( http://g-ec2.images-amazon.com/images/G/03/x-locale/communities/reviews/border-box-tc.jpg) repeat-x top; height: 1px; } .crBlueBorder-tr { background: url( http://g-ec2.images-amazon.com/images/G/03/x-locale/communities/reviews/border-box-tr.jpg) no-repeat top right; width: 1em; } .crBlueBorder-bl { background: url( http://g-ec2.images-amazon.com/images/G/03/x-locale/communities/reviews/border-box-bl.jpg) no-repeat bottom left; width: 1em; } .crBlueBorder-bc { background: url( http://g-ec2.images-amazon.com/images/G/03/x-locale/communities/reviews/border-box-bc.jpg) repeat-x bottom; height: 1px; } .crBlueBorder-br { background: url( http://g-ec2.images-amazon.com/images/G/03/x-locale/communities/reviews/border-box-br.jpg) no-repeat bottom right; height: 1em; } Rezensionen ansehen...   Angebote zu  Basic ,  Category ,  Theory  ab 1 Euro! Siehe auch folgende Artikel: Types and Programming Languages von Benjamin C. Pierce Sonstige Artikel: Autogenes Training. Basispsychotherapeutikum. Ein Weg zur Entspannung und zum Selbst (Broschiert) von Hellmut Binder, Klaus Binder Geschichte Israels. Von der Staatsgründung bis zur Gegenwart. (Taschenbuch) von Dietmar Herz Save the Last Dance von Julia Stiles Mehr zu  Computer Mathematics,  Computers & Internet,  Programming,  Logic,  Applied,  Mathematics,  Logic Home ...,    Angebote ansehen ...,    Begleitseite ... Herausgeber dieser Seite ist DomainLoc.com GmbH - Partner von Amazon.de Copyright © DomainLoc.com GmbH (Impressum)