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