L'informatica teorica per il teorico delle categorie di lavoro

Recensioni dei lettori

Il libro è una risorsa introduttiva altamente raccomandata per la teoria delle categorie, in particolare per coloro che hanno un background in informatica. Fornisce una migliore comprensione dei concetti della teoria delle categorie e della loro applicazione nell'informatica teorica. L'autore apprezza il formato conciso e la natura accessibile dei contenuti.

⬤ Ben scritto e accessibile ai principianti
⬤ collega efficacemente la teoria delle categorie e l'informatica
⬤ la lunghezza concisa (130 pagine) consente un facile consumo
⬤ incoraggia la lettura attiva e l'impegno attraverso le annotazioni
⬤ migliora la comprensione dei concetti della teoria delle categorie.

Non è specificamente rivolto agli informatici, il che potrebbe rendere alcune sezioni impegnative; alcune parti più tecniche potrebbero essere scremate o difficili per i principianti.

(basato su 1 recensioni dei lettori)

Titolo originale:

Theoretical Computer Science for the Working Category Theorist

Contenuto del libro:

Questo elemento presenta il materiale usuale insegnato in un corso annuale di informatica teorica utilizzando il linguaggio intuitivo e la metodologia della teoria delle categorie.

Perfetto per studenti o professionisti che lavorano nel campo dell'informatica, della fisica o della matematica.