نظریه رده‌ها

از ویکی‌پدیا، دانشنامهٔ آزاد

نظریه رده‌ها (نظریه رسته‌ها) شاخه‌ای از ریاضیات محض است که به سازه‌های ریاضی و روابط بین آن‌ها می‌پردازد و به ابزاری مهم در دانش رایانه تبدیل شده است به خصوص در زبان‌های برنامه‌نویسی، نظریه‌ی حوزه‌ها، و همزمانی که در این شاخه‌ها معمولا نظریه‌ی رده‌ها پیش‌نیاز است.

[ویرایش] منابع

• (انگلیسی) (۱۱۴ ص) Pierce, Benjamin, 1991. Basic Category Theory for Computer Scientists. MIT Press.

ن . ب . و شاخه‌های اصلی ریاضیات حساب · منطق ریاضی · نظریه مجموعه‌ها · نظریه رده‌ها · جبر (مقدماتی – خطی – مجرد) · نظریه اعداد · آنالیز ریاضی · هندسه · مثلثات · توپولوژی · نظریه سامانه‌های پویا · ترکیبیات · نظریه بازی‌ها · نظریه اطلاعات · بهینه‌سازی · نظریه محاسبات · احتمالات · آمار · فیزیک ریاضی