افتح القائمة الرئيسية

تغييرات

تم إزالة 292 بايت ، ‏ قبل 6 سنوات
لا يوجد ملخص تحرير
علم الحاسوب النظري هو فرع من [[علم الحاسوب]] و[[الرياضيات]] والذي يهتم اكثر بالمواضيع المجردة او المفاهيم الرياضية للحاسوبية ومن ضمنه ايضا [[نظرية الحاسوبية]] .
المعلوماتية النظرية هي أحد فروع [[المعلوماتية]] الذي يهتم [[#نظرية التحسيب|بنظرية التحسيب]] بفرعيها [[نظرية الحوسبة]] و[[نظرية التعقيد الحسابي]]، إضافة إلى [[منطق|المنطق]] بفرعيه : [[منطق القضايا]] (حسبان القضايا) و[[منطق إسنادي|المنطق الإسنادي]] إضافة إلى [[سيمانتيك شكلي|السيمانتيك الشكلي]] أي بشكل عام [[نظرية اللغات الشكلية]].
 
== الحوسبة ==
667

تعديل