Teoretická informatika pro teoretiky pracovních kategorií

Recenze čtenářů

Kniha slouží jako velmi doporučený úvodní zdroj informací o teorii kategorií, zejména pro ty, kteří mají zkušenosti z informatiky. Umožňuje lépe pochopit pojmy teorie kategorií a jejich použití v teoretické informatice. Autor oceňuje stručný formát a přístupný charakter obsahu.

⬤ Dobře napsaná a přístupná pro začátečníky
⬤ efektivně propojuje teorii kategorií a informatiku
⬤ stručný rozsah (130 stran) umožňuje snadnou konzumaci
⬤ vybízí k aktivnímu čtení a zapojení prostřednictvím poznámek
⬤ zlepšuje pochopení konceptů teorie kategorií.

Není specificky zaměřena na informatiky, což může činit některé části náročnými; některé techničtější části mohou být pro začátečníky přeskočitelné nebo obtížné.

(na základě 1 hodnocení čtenářů)

Původní název:

Theoretical Computer Science for the Working Category Theorist

Obsah knihy:

Tento prvek představuje obvyklou látku vyučovanou v celoročním kurzu teoretické informatiky s využitím intuitivního jazyka a metodologie teorie kategorií.

Ideální pro studenty nebo odborníky pracující v oblasti počítačů nebo fyziky či matematiky.