Descripción
La teoría de categorías es una rama de las matemáticas puras que se está convirtiendo en una herramienta cada vez más importante en la informática teórica, especialmente en la semántica de los lenguajes de programación, la teoría de dominios y la concurrencia, donde ya es un lenguaje de discurso estándar. Asumiendo una preparación matemática mínima, Basic Category Theory for Computer Scientists proporciona una presentación sencilla de las construcciones y la terminología básicas de la teoría de categorías, incluyendo límites, functores, transformaciones naturales, adjuntos y categorías cartesianas cerradas. Cuatro estudios de caso ilustran las aplicaciones de la teoría de categorías al diseño de lenguajes de programación, la semántica y la solución de ecuaciones de dominio recursivas. Un breve estudio de la literatura ofrece sugerencias para un estudio posterior en textos más avanzados.
Contenidos
Tutorial - Aplicaciones - Lecturas adicionales
Autor: Benjamin C. Pierce
Editorial: MIT Press
Publicado: 07/08/1991
Páginas: 116
Tipo de encuadernación: Tapa blanda
Peso: 0.49 libras
Tamaño: 8.98h x 7.10w x 0.38d
ISBN13: 9780262660716
ISBN10: 0262660717
Categorías BISAC:
- Matemáticas | Lógica
- Informática | Ciencias de la Computación
Acerca del autor
Benjamin C. Pierce es profesor de Ciencias de la Computación y la Información en la Universidad de Pensilvania.