Informatyka teoretyczna dla pracujących teoretyków kategorii

Opinie czytelników

Książka służy jako wysoce zalecane źródło wprowadzające do teorii kategorii, szczególnie dla osób z doświadczeniem w informatyce. Zapewnia lepsze zrozumienie pojęć teorii kategorii i ich zastosowań w informatyce teoretycznej. Autor docenia zwięzły format i przystępny charakter treści.

⬤ Dobrze napisana i przystępna dla początkujących
⬤ skutecznie łączy teorię kategorii i informatykę
⬤ zwięzła długość (130 stron) pozwala na łatwą konsumpcję
⬤ zachęca do aktywnego czytania i zaangażowania poprzez adnotacje
⬤ poprawia zrozumienie koncepcji teorii kategorii.

Nie jest skierowana specjalnie do informatyków, co może sprawić, że niektóre sekcje będą stanowić wyzwanie; niektóre bardziej techniczne części mogą być trudne dla początkujących.

(na podstawie 1 opinii czytelników)

Oryginalny tytuł:

Theoretical Computer Science for the Working Category Theorist

Zawartość książki:

Element ten przedstawia typowy materiał nauczany na rocznym kursie informatyki teoretycznej przy użyciu intuicyjnego języka i metodologii teorii kategorii.

Idealny dla studentów i profesjonalistów zajmujących się informatyką, fizyką lub matematyką.