حاسب222
|
|
الرمز
|
اسم المقرر
|
|
حاسب 222
|
تراكيب متقطعة ١
|
|
الوحدات الدراسية المعتمدة
|
المتطلبات السابقة
|
|
معتمد
|
تدريب
|
عملي
|
نظري
|
لا يوجد
|
|
3
|
-
|
1
|
3
|
|
|
|
|
توصيف المقرر
|
|
يهدف هذا المقرر إلي إعطاء الطالب المفاهيم الأساسية للرياضيات المتقطعة التي تمكنه من استيعاب الأسس اللازمة لدراسة نظم الحاسبات وتطوير البرمجيات.
|
|
|
|
محتويات المقرر
|
|
- مقدمة لأساسيات الرياضيات المتقطعة وتطبيقاتها في علوم الحاسب.
- نظرية المجموعات و المنطق الفرضي و مبادئ طرق الإثبات.
- العلاقات و الدوال و الجبر البولي.
- المنطق الرقمي.
- مبادئ نظرية الأعداد و أساسيات العد.
- الآلات محدودة الحالة.
|
|
|
|
مخرجات المقرر
|
|
عند إنهاء المقرر يكون لدى الطالب و الطالبة:
§ الإلمام بأساسيات الرياضيات المتقطعة وتطبيقاتها في علوم الحاسب.
§ معرفة المنطق الفرضي والرقمي وكيفية استخدامهما في طرق الإثبات.
§ فهم نظرية الأعداد ومبادئ العد.
§ كيفية استخدام نموذج الآلات محدودة الحالة في تطوير البرمجيات والنظم.
|
| |
|
المراجع
|
|
- Kolman, Ross and Busby, “Discrete Math structures," 6th Edition, 2007, Prentice Hall, ISBN 0132297516
-
James L. Heinf, “Discrete Structures, Logic, and Computability," 2nd Edition, 2005, Jones & Bartlett Computer Science, ISBN 0763718435
|
رجوع إلى الخطة الدراسية
|
آخر تحديث
2/6/2010 12:17:30 PM
|
|
|
|