Informática teórica para el teórico de la categoría de trabajo

Opiniones de los lectores

El libro constituye un recurso introductorio muy recomendable para la teoría de categorías, en particular para quienes tienen formación en informática. Proporciona una mejor comprensión de los conceptos de la teoría de categorías y su aplicación en la informática teórica. El autor aprecia el formato conciso y la naturaleza accesible del contenido.

⬤ Bien escrito y accesible para principiantes
⬤ tiende un puente eficaz entre la teoría de categorías y la informática
⬤ su concisa extensión (130 páginas) permite un fácil consumo
⬤ fomenta la lectura activa y el compromiso mediante anotaciones
⬤ mejora la comprensión de los conceptos de la teoría de categorías.

No está dirigido específicamente a los informáticos, lo que puede hacer que algunas secciones sean difíciles; algunas partes más técnicas pueden ser difíciles para los principiantes.

(basado en 1 opiniones de lectores)

Título original:

Theoretical Computer Science for the Working Category Theorist

Contenido del libro:

Este Elemento presenta el material habitual que se enseña en un curso de un año de informática teórica utilizando el lenguaje intuitivo y la metodología de la teoría de categorías.

Perfecto para estudiantes o profesionales que trabajen en informática o física, o matemáticas.