Набиране на средства 15 Март 2025 – 1 Април 2025 Относно набирането на средства

A supplement for Category theory for computing science

A supplement for Category theory for computing science

Michael Barr, Charles Wells
0 / 0
Колко ви харесва тази книга?
Какво е качеството на файла?
Изтеглете книгата за оценка на качеството
Какво е качеството на изтеглените файлове?
The fundamental concepts of category theory are explained in this text which allows the reader to develop their understanding gradually. With over 300 exercises, students are encouraged to monitor their progression. A wide coverage of topics in category theory and computer science is developed including introductory treatments of cartesian closed categories, sketches and elementary categorical model theory, and triples. The presentation is informal with proofs included only when they are instructive, providing a broad coverage of the competing texts on category theory in computer science.
Категории:
Тип съдържание:
Книги
Година:
1996
Издание:
2 Sub
Издателство:
Prentice Hall
Език:
english
Страници:
107
ISBN 10:
0133238091
ISBN 13:
9780133238099
Серия:
Prentice-Hall International Series in Computer Science
Файл:
PDF, 533 KB
IPFS:
CID , CID Blake2b
english, 1996
pdf, 533 KB
Преобразуването в се извършва
Преобразуването в е неуспешно

Най-често използвани термини