نظریه ردهها
از ویکیپدیا، دانشنامهٔ آزاد
 |
این یک نوشتار خُرد است. با گسترش آن به ویکیپدیا کمک کنید. |
نظریه ردهها (نظریه رستهها) شاخهای از ریاضیات محض است که به سازههای ریاضی و روابط بین آنها میپردازد و به ابزاری مهم در دانش رایانه تبدیل شده است به خصوص در زبانهای برنامهنویسی، نظریهٔ حوزهها، و همزمانی که در این شاخهها معمولاً نظریهٔ ردهها پیشنیاز است.
منابع [ویرایش]
- (انگلیسی) (۱۱۴ ص) Pierce, Benjamin, 1991. Basic Category Theory for Computer Scientists. MIT Press.
|
||||||||
