علوم نظری رایانه: تفاوت میان نسخه‌ها
محتوای حذف‌شده محتوای افزوده‌شده
بدون خلاصۀ ویرایش |
بدون خلاصۀ ویرایش |
||
خط ۱:
'''علوم نظری رایانه''' يا '''علوم نظری كامپیوتر''' مطالعات مربوط به تعاريف زبان ها قابليت ها و محدوديت هاي مربوط به محاسبات الگوريتمي و نيز آناليز و تحليل پيچيدگي مسائل و راه حل ها را در بر مي گيرد. این علوم مجموعه‌ای است از موضوعات [[علوم رایانه]] که تمرکز آن‌ها بر جنبه‌های محض، [[منطق]]ی و [[ریاضی]] محاسبات ([[رایانش]]) است، مانند [[نظریه محاسبات]]، [[آنالیز الگوریتم‌ها]] و [[معناشناسی زبان‌های برنامه‌نویسی]]. اگرچه خودش یک عنوان مجزا نیست، پژوهشگران این بخش از علوم رایانه زیرگروهی متمایز در بین محققان علوم کامپیوتر هستند.
==منابع==
* (انگلیسی) http://www.elsevier.com/wps/find/journaldescription.cws_home/505625/description
{{چپ‌چین}}
* Sudkamp, T. A., ''An Introduction to the Theory of Computer Science, Languages and Machines'', 3rd ed., Pearson Education, Inc., 2006. ISBN: 0 - 321 - 32221 - 5 [http://www.amazon.com/Languages-Machines-Introduction-Computer-Science/dp/0321322215]
| |||