Basic Category Theory for Computer Scientists

Name: Basic Category Theory for Computer Scientists
Brand: MIT Press Ltd
SKU: 9780262660716
Price: 783 CZK
Availability: InStock

Autor: ierce Benjamin

Jazyk:

Vazba: Brožovaná

Vydavatel: MIT Press Ltd

Dostupnost: Skladem u dodavatele

Odesíláme za 8-11 dnů

783 Kč

Category theory is a branch of pure mathematics that is becoming an increasingly important tool in t...

Informace o knize

Autor

ierce Benjamin

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

1991

Stránek

116

EAN

9780262660716

ISBN

0262660717

Enbook ID

04397589

Vydavatel

MIT Press Ltd

Hmotnost

218

Rozměry

176 x 228 x 10

Kompletní popis

Category theory is a branch of pure mathematics that is becoming an increasingly important tool in theoretical computer science, especially in programming language semantics, domain theory, and concurrency, where it is already a standard language of discourse. Assuming a minimum of mathematical preparation, Basic Category Theory for Computer Scientists provides a straightforward 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. Benjamin C. Pierce received his doctoral degree from Carnegie Mellon University.Contents : Tutorial. Applications. Further Reading.

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Basic Category Theory for Computer Scientists

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také