نظرية الحوسبة
مراجع

↑  مُعرِّف موقع "عالَم الرياضيات"(MathWorld): topics/TheoryofComputation. الاقتباس: Discrete Mathematics > Computer Science > Theory of Computation. الوصول: 12 يونيو 2018.
↑  Rabin، Michael O. (يونيو 2012). Turing, Church, Gödel, Computability, Complexity and Randomization: A Personal View. مؤرشف من الأصل في 2019-06-05.
↑  Donald Monk (1976). Mathematical Logic. Springer-Verlag. ISBN:9780387901701. مؤرشف من الأصل في 2020-02-05.
↑  Henry Gordon Rice (1953). "Classes of Recursively Enumerable Sets and Their Decision Problems". Transactions of the American Mathematical Society. American Mathematical Society. ج. 74 ع. 2: 358–366. DOI:10.2307/1990888. JSTOR:1990888.
↑  طبقات اللغات الصورية (1956). "Three models for the description of language". Information Theory, IRE Transactions on. IEEE. ج. 2 ع. 3: 113–124. DOI:10.1109/TIT.1956.1056813.
↑  آلان تورنغ (1937). "On computable numbers, with an application to the Entscheidungsproblem". Proceedings of the London Mathematical Society. IEEE. ج. 2 ع. 42: 230–265. DOI:10.1112/plms/s2-42.1.230. مؤرشف من الأصل في 2019-10-19. اطلع عليه بتاريخ 2015-01-06.
| ع ن علم الحاسوب | ع ن علم الحاسوب |
| --- | --- |
يعتمد هذا القالب على تصنيف أنظمة الحوسبة  الذي أنجزته جمعية آلات الحوسبة  في عام 2012: يعتمد هذا القالب على تصنيف أنظمة الحوسبة  الذي أنجزته جمعية آلات الحوسبة  في عام 2012
العتاد:  اللوحات المطبوعة  الطرفيات  الدارات المُتكاملة  تكامل وسيع النطاق  نظام على رقاقة  الحوسبة الخضراء  أتمتة التصميم الإلكتروني  تسريع العتاد 
بنية الأنظمة:  المعماريَّة  الأنظمة المُضمَّنة  الحوسبة في الزمن الحقيقي  الاعتمادية  
الشبكات:  المعماريَّة  البروتوكولات  العتاد  الجدولة  الأداء  الخدمات 
بنية البرمجيات:  المُفسِّرات  برمجيات وسيطة  آلة افتراضية  أنظمة التشغيل  جودة البرمجيات 
نظرية لغات البرمجة وأدواتها:  الأنماط  اللغات البرمجة  النمذجة  مخصصة النطاق  المُصرِّفات  أُطُر العمل بيئة التطوير المتكاملة  المكتبات  المُستودعات 
تطوير البرمجيات:  المتغيرات  عملية التطوير  تحليل المتطلبات  التصميم  البناء  النشر  الصيانة  فريق البرمجة  البرمجيات حُرَّة المصدر 
نظرية الحوسبة:  نموذج حوسبة  لغة متصرفة  نظريات التشغيل الذاتي  الحسوبية  التعقيد الحسابي  المنطق  علم الدلالة الشكلي 
الخوارزميات:  التحليل  الكفاءة  خوارزمية عشوائية  هندسة مُحوسبة 
رياضيات الحوسبة:  رياضيات مُتقطِّعة  الاحتمالات  الإحصاء  برمجية رياضية  نظرية المعلومات  التحليل الرياضي  العددي  علم الحاسوب النظري 
نظم المعلومات:  أنواع التخزين قواعد البيانات  الوسائط المتعددة  اقتصادية  اجتماعية  جغرافية  دعم القرارات  التحكُّم في العمليات  تنقيب في البيانات  مكتبة رقمية  منصة حوسبة  التسويق الرقمي  شبكة عالمية المجال  استرجاع المعلومات 
الأمن:  أنواع العتاد   الشبكات  المعلومات  التطبيقات  الخدمات  علم التعمية  طريقة شكلية  أنظمة كشف التسلسل 
التفاعل الإنساني الحاسويبي:  حوسبة اجتماعية  سائدة  تصميم التفاعل  تمثيل مرئي  إمكانية الوصول  
تزامن:  أنواع  مُتزامِنة  مُتوازيَّة  مُوزَّعة  تشعب مُتعدِّد   مُعالَجة مُتعدِّدة 
الذكاء الاصطناعي:  معالجة اللغة الطبيعية  تمثيل المعرفة  رؤية حاسوبية  التخطيط الآلي والجدولة  الاستمثال  نظرية التَّحكُّم  الفلسفة  ذكاء اصطناعي مُوزَّع  
تعلم الآلة:  أنواع التَّعلُّم مُراقَب  غير مُراقَب  مَدعُوم  مُتعدِّد المهام   التحقق  المُتقاطِع 
رسوميَّات:  التحريك  تصيير  صور التَّلاعُب  الضَّغط  وحدة معالجة الرسوميَّات  وُقُع افتراضي  مُعزَّز  مُختلَط  نمذجة المُجسَّمات  
الحوسبة التطبيقيَّة:  اختصاصات محوسبة رياضيات  كيمياء  فيزياء  علم الأحياء  هندسة  العلوم الاجتماعية  معلوماتية صحية  التجارة الرقميَّة  الفن الرقمي  النشر الرقمي  حرب رقمية عبر الشبكة  التصويت الإلكتروني  ألعاب الفيديو  مُعالِجات النصوص  بحوث العمليات  تقنيات التعليم 
  تصنيف   مُختصَر موجز   مشروع   كُومُنز :   تصنيف   مُختصَر موجز   مشروع   كُومُنز 
بوابة رياضيات
بوابة علم الحاسوب
| ع ن فروع الرياضيات | ع ن فروع الرياضيات |
| --- | --- |
 تاريخ  مخطط  قائمة الرموز :  تاريخ  مخطط  قائمة الرموز 
أسس الرياضيات:  نظرية الفئة  نظرية المعلومات  منطق رياضي  فلسفة الرياضيات  نظرية المجموعات  نظرية النمط 
الجبر:  جبر مجرد  جبر تبادلي  جبر ابتدائي  نظرية الزمر  جبر خطي  جبر متعدد الخطية  جبر شامل  جبر تماثلي 
التحليل الرياضي:  تفاضل وتكامل  تحليل حقيقي  تحليل عقدي  تحليل فوق عقدي  معادلة تفاضلية  تحليل دالي  تحليل توافقي  نظرية القياس 
الرياضيات المتقطعة:  تركيبات  نظرية البيان  نظرية الترتيب 
الهندسة الرياضية:  هندسة جبرية  هندسة تحليلية  هندسة حسابية  هندسة تفاضلية  هندسة متقطعة  هندسة إقليدية  هندسة منتهية 
نظرية الأعداد:  حسابيات  نظرية الأعداد الجبرية  نظرية الأعداد التحليلية  هندسة ديفونتية 
الطوبولوجيا:  طوبولوجيا عامة  طوبولوجيا جبرية  طوبولوجيا تفاضلية  طوبولوجيا هندسية  نظرية التجانس 
الرياضيات التطبيقية:  رياضيات هندسية  علم الأحياء الرياضي  كيمياء رياضية  اقتصاد رياضي  رياضيات مالية  فيزياء رياضية  علم النفس الحسابي  علم الاجتماع الرياضي  إحصاء رياضي  نظرية الاحتمال  إحصاء  علم الأنظمة نظرية التحكم  نظرية الألعاب  بحوث العمليات 
الرياضيات المحوسبة:  علم الحاسوب  نظرية الحوسبة  نظرية التعقيد الحسابي  تحليل عددي  استمثال  حساب رمزي 
مواضيع ذات صلة:  عالم رياضيات  رياضيات غير رسمية  رياضيات مسلية  الرياضيات والفن  تعليم الرياضيات 
   تصنيف    بوابة    كومنز    ويكي مشروع :    تصنيف    بوابة    كومنز    ويكي مشروع