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