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