Elméleti számítástechnika a dolgozó kategóriaelméleti szakembereknek

Olvasói vélemények

A könyv erősen ajánlott bevezető forrásként szolgál a kategóriaelmélethez, különösen azok számára, akik informatikai háttérrel rendelkeznek. A kategóriaelméleti fogalmak és azok elméleti számítástechnikában való alkalmazásának jobb megértését teszi lehetővé. A szerző nagyra értékeli a tömör formátumot és a tartalom megközelíthetőségét.

⬤ Jól megírt és a kezdők számára is hozzáférhető
⬤ hatékonyan hidalja át a kategóriaelméletet és a számítástechnikát
⬤ a tömör terjedelem (130 oldal) lehetővé teszi a könnyű fogyasztást
⬤ aktív olvasásra és elkötelezettségre ösztönöz a jegyzeteléssel
⬤ javítja a kategóriaelméleti fogalmak megértését.

Nem kifejezetten az informatikusoknak szól, ami néhány részt kihívássá tehet; néhány technikásabb rész átfutható vagy nehéz lehet a kezdők számára.

(1 olvasói vélemény alapján)

Eredeti címe:

Theoretical Computer Science for the Working Category Theorist

Könyv tartalma:

Ez az Elem a kategóriaelmélet intuitív nyelvén és módszertanával mutatja be az elméleti informatika egyéves kurzusán tanított szokásos anyagot.

Tökéletes a számítógépekkel, fizikával vagy matematikával foglalkozó hallgatók vagy szakemberek számára.