تمثيل المعلومات والنظريات الداخلية في نظرية الحوسبة
تركز هذه الدورة التخصصية على تشريح البنية الداخلية لنظرية الحوسبة، من خلال دراسة التمثيل الرياضي للمعلومات ونظرية التحسيب، وتحليل آلات الحالة المحددة القطعية (DFA)، مع تأصيل نظرية النظام الثنائي كقاعدة منطقية صلبة، والربط بين مفاهيم التكافؤ الحسابي ومعماريات الحواسيب الحديثة.
الأهداف:
-
فهم الأطر الرياضية لتمثيل المعلومات وتطبيق مبادئ نظرية التحسيب على النماذج التجريدية.
-
دراسة آليات عمل الأوتوماتا المحددة القطعية (DFA) ونماذج التحليل الذاتي في معالجة اللغات النظامية.
-
استيعاب الأسس المنطقية والجبرية للنظام الثنائي ودوره المحوري في بناء النظم الحسابية.
-
إدراك مفهوم التكافؤ الحسابي (Equivalence) وعلاقته المباشرة بهندسة وتصميم معماريات الحواسيب.
المخرجات المتوقعة:
-
صياغة وتمثيل البيانات الحسابية المعقدة وفق نماذج نظرية التحسيب المجردة بدقة.
-
تصميم وبناء آلات حالة منتهية قطعية (DFA) قادرة على تمييز والتحقق من سلاسل اللغات المنتظمة.
-
توظيف خصائص الجبر البولياني والتمثيل الثنائي في تبسيط الدوائر المنطقية والعمليات الحسابية.
-
مقارنة النماذج الحسابية النظرية بالمعماريات المادية للحواسيب لتحقيق تكافؤ تشغيلي فعال.
