نظریه نوع‌ها
نظریه نوع‌ها شاخه‌ای از منطق، دانش رایانه و فلسفه است که به شناخت سیستم‌های منطقی و کاربرد آن‌ها به جای نظریه مجموعه‌ها می‌پردازد. در نظریه زبان‌های برنامه‌نویسی نظریه نوع‌ها ممکن است به طراحی، تحلیل و شناخت انواع داده‌ها اشاره داشته باشد.
منابع
- (انگلیسی) (۳۵۷ ص) F.D. Kamareddine، A Modern Perspective on Type Theory: From its Origins until Today، Springer، ۲۰۰۴
- فرزاد حمیدی، تحلیلی نو، بر پارادوکس راسل و پیوستار همراه با معرفی یک هندسه جدید، (نوامبر ۲۰۰۰)
- (انگلیسی) Simon Thompson، Type Theory and Functional Programming، ۱۹۹۱
- (انگلیسی) The Stanford Encyclopedia of Philosophy (Fall ۲۰۰۸ Edition)، Type Theory، ۲۰۰۶
Note: This template roughly follows the 2012 ACM Computing Classification System. | |
| سخت‌افزار | |
| سازمان سامانه‌های رایانه |
|
| شبکه رایانه‌ای | |
| سازمان نرم‌افزار | |
| نظریه زبان‌های برنامه‌نویسی و ابزار توسعه نرم‌افزار | |
| توسعه نرم‌افزار | |
| نظریه محاسبات | |
| الگوریتمها | |
| ریاضیات رایانه | |
| سامانه اطلاعاتی | |
| امنیت رایانه | |
| تعامل انسان و رایانه | |
| همروندی | |
| هوش مصنوعی | |
| یادگیری ماشین | |
| گرافیک رایانه‌ای | |
| رایانش کاربردی | |
توجه: بنا بر سامانه رده‌بندی رایانش ای‌سی‌ام علم رایانه همچنین می‌تواند به موضوع‌ها یا زمینه‌های گوناگون تقسیم شود.
| |
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.