شرح مادة CPCS 222 التراكيب المتقطعة 1 - جامعة الملك عبدالعزيز

مادة CPCS 222، التراكيب المتقطعة 1 (Discrete Structures I). هذي المادة تختلف عن كل مادة درستها في الحاسب قبل كذا. ما في كود. ما في IDE. ما في لغة برمجة. بدل كذا، تلاقي نفسك أمام معادلات منطقية، وجداول حقيقة، وبراهين رياضية، وأسئلة من نوع “كم طريقة تقدر ترتب هذي العناصر؟”. كثير من طلاب علوم الحاسب يعتبرون CPCS 222 المادة الأصعب في المستوى الثاني، مش لأنها مستحيلة، بل لأنها تطلب منك نوع مختلف كليا من التفكير.

بس هنا الخبر الكويس: لو فهمت المادة صح من أولها، ستكتشف إنها في الحقيقة ممتعة. التراكيب المتقطعة هي الأساس الرياضي اللي يقوم عليه علم الحاسب كله. كل خوارزمية تكتبها، كل قاعدة بيانات تصممها، كل شبكة تحللها، وراءها مفاهيم من هذي المادة.

ليش مادة CPCS 222 مهمة؟

قبل ما تسأل “وش الفايدة من مادة رياضيات في كلية الحاسب؟”، خلني أوضح لك الصورة كاملة.

كل يوم تستخدم فيه جوجل، فيسبوك، أو أي تطبيق حاسب، أنت تتعامل مع نتائج التراكيب المتقطعة بشكل مباشر:

محركات البحث: خوارزمية PageRank اللي تستخدمها جوجل مبنية على نظرية الرسوم البيانية (Graph Theory)، وهي جزء أساسي من CPCS 222.

قواعد البيانات: كل استعلام SQL تكتبه يعتمد على نظرية المجموعات (Set Theory) والعلاقات (Relations)، وهي من صميم هذي المادة.

الأمن السيبراني: خوارزميات التشفير مبنية على نظرية الأعداد ونظرية المجموعات، وكلها جذورها في الرياضيات المتقطعة.

تصميم الدوائر الإلكترونية: الجبر البولياني (Boolean Algebra) اللي تتعلمه في هذي المادة هو نفس المنطق اللي يشغّل المعالج اللي في هاتفك.

التفكير البرمجي نفسه: البراهين الرياضية تعلّمك كيف تفكر بشكل منطقي ومنظم، وهذي المهارة تنعكس مباشرة على جودة الكود اللي تكتبه.

المادة كذلك مطلب أساسي لفهم مواد متقدمة جدا مثل تحليل الخوارزميات، نظرية الحوسبة (Computability)، والذكاء الاصطناعي.

ليش الطلاب يعانون في CPCS 222؟

السبب الأول والأهم هو التوقع الخاطئ. الطالب اللي درس CPCS 202 (برمجة 1) وعنده خلفية برمجية قوية يجي لـ CPCS 222 ويقول: “أنا شاطر في الحاسب، هذي رياضيات بسيطة”. بعدين يصطدم بأسئلة مثل “أثبت بالاستقراء الرياضي أن هذي الصيغة صحيحة لكل الأعداد الطبيعية” ويحس إنه في مادة مختلفة كليا.

المشكلة الثانية هي إن البرمجة والرياضيات المتقطعة يستخدمان أدمغة مختلفة. البرمجة تطلب منك تفكير إجرائي، خطوة بخطوة. الرياضيات المتقطعة تطلب منك تفكير مجرد، تثبت أشياء بشكل عام وليس لحالة واحدة فقط.

السبب الثالث هو إن الطلاب يحاولون يحفظون بدل ما يفهمون. في البرمجة، الحفظ قد ينفعك. في التراكيب المتقطعة، لو ما فهمت المفهوم، الاختبار سيكشفك فورا لأن الأسئلة دايما تجي بصور جديدة ومختلفة.

نظرة عامة على المادة: جدول المواضيع الأسبوعي

الأسابيع	الموضوع	الفصول في كتاب Rosen
1-2	المنطق القضوي (Propositional Logic)	Ch 1.1 - 1.3
3	المحمولات والكميّات (Predicates & Quantifiers)	Ch 1.4 - 1.5
4-5	طرق الإثبات (Proof Methods)	Ch 1.6 - 1.8
6	نظرية المجموعات (Set Theory)	Ch 2.1 - 2.2
7	الدوال (Functions)	Ch 2.3
8	العلاقات (Relations)	Ch 9.1 - 9.3
9	الاستقراء الرياضي (Mathematical Induction)	Ch 5.1 - 5.2
10-11	أساليب العد (Counting Principles)	Ch 6.1 - 6.4
12	الاحتمالات (Discrete Probability)	Ch 7.1 - 7.2
13-14	نظرية الرسوم البيانية (Graph Theory)	Ch 10.1 - 10.4
15	مراجعة شاملة وتحضير للنهائي	-

1. المنطق القضوي (Propositional Logic)

هذا أول شيء تواجهه في CPCS 222، وهو الأساس اللي تبنى عليه باقي المادة. المنطق القضوي يتعامل مع جمل إما صحيحة أو خاطئة، ما في وسط.

القضية (Proposition): جملة خبرية يمكن الحكم عليها بالصحة أو الخطأ. مثلا “الأربعة عدد زوجي” هذي قضية صحيحة. “محمد طويل” ليست قضية لأن “الطول” نسبي وما يمكن الحكم عليه.

الروابط المنطقية: هنا تتعرف على AND (و)، OR (أو)، NOT (النفي)، Implication (اللزوم)، Biconditional (التكافؤ). كل رابط له جدول حقيقة (Truth Table) خاص فيه.

الجزء اللي يصعّب على كثير من الطلاب هو Implication أو اللزوم “إذا p فإن q”. جدول حقيقته يقول إنه خاطئ فقط في حالة واحدة: لما p صحيحة وq خاطئة. كثير طلاب يتعجبون: “ليش إذا p خاطئة، اللزوم يكون صحيحا؟”. الإجابة: لأن الكذب لم يحصل. اللزوم كذب فقط لما تعطي وعدا وما وفّيت فيه. لو ما عطيت الوعد أصلا (p خاطئة)، ما ينطبق عليك الكذب.

القوانين المهمة: قوانين دي مورغان، التبادل، الترابط، التوزيع، والنفي المضاعف. هذي القوانين تستخدمها كثيرا في تبسيط التعابير المنطقية، وهي نفسها المستخدمة في الجبر البولياني لاحقا.

2. البراهين الرياضية (Mathematical Proofs)

هذا هو القلب الحقيقي لمادة CPCS 222. البراهين هي اللغة اللي يتكلم بها الرياضياتيون وعلماء الحاسب لإثبات أن شيء ما صحيح بشكل مطلق، وليس مجرد “يبدو صح” في الأمثلة اللي جربناها.

ليش البراهين مهمة في الحاسب؟ لأن في علم الحاسب، مجرد “اختبرت الكود على 100 مدخل وشغّل صح” مش كافي. الإثبات الرياضي هو الطريقة الوحيدة للتأكد إن خوارزميتك صحيحة في كل الحالات الممكنة.

طرق الإثبات اللي تتعلمها:

البرهان المباشر (Direct Proof): تبدأ بالفرض (Hypothesis) وتصل للنتيجة (Conclusion) خطوة بخطوة باستخدام قواعد منطقية معروفة. مثلا: لإثبات “لو n عدد فردي، فإن n² عدد فردي”، تقول: بفرض n فردي، إذن n = 2k+1 لبعض الأعداد الصحيحة k. إذن n² = (2k+1)² = 4k²+4k+1 = 2(2k²+2k)+1 وهذا فردي.

البرهان بالنقيض (Proof by Contrapositive): بدل ما تثبت “إذا p فإن q”، تثبت “إذا ليس q فإذن ليس p” وهما متكافئان منطقيا. هذا مفيد لما الطريق المباشر صعب.

البرهان بالتناقض (Proof by Contradiction): تفترض أن ما تريد إثباته خاطئ، وتصل لتناقض. لما تصل للتناقض، هذا يعني أن افتراضك الأولي كان خاطئا، وبالتالي ما تريد إثباته صحيح. أشهر مثال: إثبات أن الجذر التربيعي لـ 2 ليس عددا نسبيا.

البرهان باستخدام الحالات (Proof by Cases): تقسم المشكلة لحالات ممكنة، وتثبت النتيجة في كل حالة على حدة.

3. المجموعات والدوال (Sets & Functions)

نظرية المجموعات (Set Theory): المجموعة هي تجميع لعناصر متمايزة. تتعلم هنا عمليات المجموعات: الاتحاد، التقاطع، الفرق، والمتممة. وتتعلم كذلك مفهوم مجموعة القوى (Power Set) ومفهوم حاصل الضرب الديكارتي (Cartesian Product).

الربط مع الحاسب واضح: قواعد البيانات العلائقية مبنية كليا على نظرية المجموعات. كل عملية JOIN في SQL هي في الحقيقة تقاطع أو حاصل ضرب ديكارتي.

الدوال (Functions): الدالة هي علاقة تربط كل عنصر في المجموعة الأولى (المجال، Domain) بعنصر واحد بالضبط في المجموعة الثانية (المدى، Codomain). تتعلم هنا أنواع الدوال:

الدالة الحيادية (Injective أو One-to-One): كل عنصرين مختلفين في المجال لهم صور مختلفة في المدى. بمعنى ثاني: ما في عنصرين يعطيان نفس النتيجة.

الدالة الشاملة (Surjective أو Onto): كل عنصر في المدى له على الأقل صورة مسبقة واحدة في المجال. بمعنى ثاني: ما في عنصر في المدى “ما وصله” أحد.

الدالة التقابلية (Bijective): هي الدالة اللي تجمع الخاصيتين معا. هذا النوع مهم جدا في التشفير وفي كثير من المبراهين الرياضية.

4. العلاقات (Relations)

العلاقة (Relation) هي مجموعة من الأزواج المرتبة. تخيل علاقة “أصغر من” على أعداد صحيحة: الزوج (2,5) موجود في العلاقة لأن 2 أصغر من 5، لكن الزوج (5,2) غير موجود.

خصائص العلاقات: هذا الجزء اللي يحتاج انتباه خاص:

الانعكاسية (Reflexivity): كل عنصر له علاقة مع نفسه. مثلا علاقة “مساوٍ لـ” انعكاسية لأن كل عدد يساوي نفسه.

التماثل (Symmetry): لو a له علاقة مع b، إذن b له علاقة مع a. علاقة “صديق” متماثلة.

اللاتماثل (Antisymmetry): لو a له علاقة مع b وb له علاقة مع a، إذن a = b.

الانتقال (Transitivity): لو a له علاقة مع b وb له علاقة مع c، إذن a له علاقة مع c. علاقة “أصغر من” انتقالية.

علاقة التكافؤ (Equivalence Relation): هي كل علاقة تجمع الثلاث خصائص: انعكاسية، تماثلية، انتقالية. هذا المفهوم مهم جدا ويتكرر في كثير من مواضيع الرياضيات المتقدمة.

الترتيب الجزئي (Partial Order): علاقة انعكاسية، لاتماثلية، انتقالية. علاقة “أصغر من أو يساوي” مثال كلاسيكي عليها.

5. الاستقراء الرياضي (Mathematical Induction)

الاستقراء الرياضي واحد من أقوى أدوات الإثبات في رياضيات الحاسب. الفكرة بسيطة بشكل مدهش: لو أثبتت أن قضية صحيحة للحالة الأولى (الأساس)، وأثبتت أن صحتها للحالة k تستلزم صحتها للحالة k+1، إذن القضية صحيحة لكل الأعداد الطبيعية.

تخيل الدومينو: لو أسقطت الأول، وكل قطعة تسقط اللي بعدها، إذن كل القطع ستقع. الاستقراء يعمل بنفس المنطق.

خطوات الإثبات بالاستقراء:

أول شيء تثبت الحالة الأساسية (Base Case): تثبت أن القضية صحيحة عندما n = 1 (أو الحالة الأولى المطلوبة).

ثاني شيء تكتب فرض الاستقراء (Inductive Hypothesis): تفترض أن القضية صحيحة عندما n = k.

ثالث شيء تثبت خطوة الاستقراء (Inductive Step): باستخدام فرض الاستقراء، تثبت أن القضية صحيحة عندما n = k+1.

6. أساليب العد (Counting Principles)

هذا الجزء محبوب عند كثير من الطلاب لأن أسئلته واضحة ومحددة: “كم طريقة…؟”. لكن الخطأ فيه سهل لو ما انتبهت.

مبدأ الضرب (Product Rule): لو عندك م طريقة لتنفيذ الخطوة الأولى وع طريقة لتنفيذ الثانية، إذن عندك م × ع طريقة لتنفيذ كليهما معا. مثلا: لو عندك 5 قمصان و3 بنطلونات، عندك 15 طريقة لاختيار طقم ملابس.

مبدأ الجمع (Sum Rule): لو عندك م طريقة لتنفيذ شيء وع طريقة لتنفيذ شيء آخر مختلف، ولا يمكن تنفيذهما معا، إذن عندك م + ع طريقة إجمالا.

التباديل (Permutations): ترتيب عناصر حيث الترتيب مهم. تباديل r عنصر من مجموعة فيها n عنصر = n! مقسوما على (n-r)!.

التوافيق (Combinations): اختيار عناصر حيث الترتيب لا يهم. توافيق r عنصر من n عنصر = n! مقسوما على (r! × (n-r)!).

السؤال الفاصل: متى تستخدم تباديل ومتى تستخدم توافيق؟ اسأل نفسك: “هل الترتيب مهم؟”. لو ترتيب ABCD مختلف عن DCBA في سياق مسألتك، استخدم التباديل. لو هما نفس الشيء (مجرد اختيار مجموعة)، استخدم التوافيق.

مبدأ الحمام الزاجل (Pigeonhole Principle): لو عندك n+1 حمامة وn صندوق، على الأقل صندوق واحد فيه حمامتان على الأقل. هذا المبدأ يُستخدم في براهين رياضية كثيرة ومثيرة.

إذا كنت تحس إن أساليب العد أو البراهين صارت تتراكم عليك وما لحقت تفهم، ما أنت وحدك في هذا.

7. نظرية الرسوم البيانية (Graph Theory)

الرسوم البيانية في الرياضيات مختلفة عن الرسوم البيانية الإحصائية اللي تعرفها. هنا الرسم البياني (Graph) يتكون من مجموعة نقاط (Vertices أو Nodes) ومجموعة حواف (Edges) تربط هذي النقاط.

أنواع الرسوم البيانية:

الرسم البياني غير الموجه (Undirected Graph): الحواف فيها ما لها اتجاه. علاقة الصداقة مثال: لو A صديق B، فـ B صديق A.

النوع الموجه (Directed Graph أو Digraph): لكل حافة اتجاه. علاقة “متابعة” في تويتر مثال: لو A يتابع B، لا يعني إن B يتابع A.

المفاهيم الأساسية:

الدرجة (Degree): عدد الحواف المتصلة بنقطة معينة. في الرسوم الموجهة، نفرق بين الدرجة الداخلة (In-degree) والدرجة الخارجة (Out-degree).

المسار (Path): تسلسل من النقاط والحواف يربط نقطتين. إيجاد أقصر مسار بين نقطتين هو جوهر خوارزميات التوجيه في الشبكات.

الدورة (Cycle): مسار يبدأ وينتهي بنفس النقطة. اكتشاف الدورات في رسم بياني يُستخدم في خوارزميات الكشف عن الأخطاء وفي مسائل الجدولة.

الرسم البياني المتصل (Connected Graph): كل نقطتين فيه يمكن الوصول من إحداهما للأخرى.

لماذا نظرية الرسوم البيانية مهمة للحاسب؟ الشبكات الاجتماعية رسوم بيانية، الإنترنت نفسه رسم بياني، خرائط جوجل تستخدم خوارزميات البحث في الرسوم البيانية (مثل خوارزمية دايكسترا) لإيجاد أقصر طريق. في هياكل البيانات، ستعود لنظرية الرسوم البيانية بشكل أعمق.

نظريات أساسية:

نظرية أويلر (Euler): الرسم البياني يحوي مسارا أويلريا (يمر بكل حافة مرة واحدة) إذا وفقط إذا كان متصلا وكل نقاطه درجتها زوجية. هذا الشرط جميل في بساطته وقوته.

8. الجبر البولياني (Boolean Algebra)

الجبر البولياني هو في الجوهر تطبيق المنطق القضوي على التصميم الرقمي. كل شيء في الكمبيوتر بيانات ثنائية، 0 و1، وهذي البيانات يتحكم فيها الجبر البولياني.

المفاهيم اللي تتعلمها هنا مرتبطة مباشرة بتصميم الدوائر الإلكترونية: البوابات المنطقية AND وOR وNOT وXOR، وكيف تبسط تعابير بولياني معقدة.

قوانين التبسيط:

قوانين الامتصاص: a + (a AND b) = a، وa AND (a + b) = a.

قوانين دي مورغان: نفي (a + b) = (نفي a) AND (نفي b)، ونفي (a AND b) = (نفي a) + (نفي b).

هذي القوانين هي نفسها اللي تعلمتها في المنطق القضوي في أول الفصل، ولكن بشكل مختلف. هذا يوضح كيف تترابط مواضيع المادة مع بعض.

الأخطاء الشائعة في CPCS 222

أولا: تأخير البراهين لآخر الفصل

البرهان مهارة تحتاج تدريبا مستمرا. لو تركت التدريب على البراهين لأسبوع قبل الاختبار، لن تقدر تعوض ما فاتك. البراهين مثل رياضة الجسم، تحتاج تمرين يومي أو شبه يومي.

ثانيا: الخلط بين التباديل والتوافيق

هذا الخطأ يكلف نقاط كثيرة. الحل: في كل مسألة عد، اكتب صراحة “الترتيب مهم؟ نعم/لا” قبل ما تختار الصيغة.

ثالثا: إهمال خطوة الأساس في الاستقراء

بعض الطلاب يتعجلون ويبدأون مباشرة بخطوة الاستقراء ويتركون خطوة الأساس. هذا يجعل البرهان ناقصا وغير صحيح، حتى لو الجزء الباقي ممتاز.

رابعا: عدم تعريف المتغيرات في البراهين

لما تكتب “بفرض n = 2k”، لازم تضيف “لبعض الأعداد الصحيحة k”. عدم التعريف يجعل البرهان يبدو ناقصا ويفقدك نقاطا.

خامسا: قراءة الكتاب بدون حل تمارين

كتاب Rosen ممتاز، لكن قراءته بدون حل التمارين مثل قراءة كتاب سباحة بدون ما تنزل البحر. التمارين هي الجوهر.

خطة الدراسة الأسبوعية

خطة الدراسة المكثفة لمن تأخر

لو اكتشفت أنك تأخرت وعندك اختبار قريب، هذي خطة الـ 10 أيام:

ما علاقة CPCS 222 بباقي مواد التخصص؟

فهم الصورة الكبيرة يساعدك على الحفاظ على الدافع خلال الفصل. هنا كيف ترتبط CPCS 222 بالمواد الأخرى:

مع مواد البرمجة: المنطق البولياني اللي تتعلمه هو نفس المنطق اللي تستخدمه في جمل الشرط والحلقات في CPCS 202. الدوال الرياضية مرتبطة ارتباطا وثيقا بمفهوم الدوال البرمجية.

مع هياكل البيانات والخوارزميات: نظرية الرسوم البيانية تُستخدم مباشرة في هياكل البيانات عند دراسة الرسوم البيانية كهيكل بيانات، وفي تحليل الخوارزميات (الاستقراء يُستخدم في إثبات صحة الخوارزميات).

مع قواعد البيانات: نظرية المجموعات والعلاقات هي الأساس الرياضي للنموذج العلائقي الذي تقوم عليه قواعد البيانات SQL.

مع الذكاء الاصطناعي: الاحتمالات والعد يستخدمان في نماذج الاحتمالات والشبكات البايزية في الذكاء الاصطناعي.

مع الأمن السيبراني: نظرية الأعداد (جزء من التراكيب المتقطعة) هي الأساس لخوارزميات التشفير مثل RSA.

نصائح عملية من طلاب متقدمين

شكّل مجموعة دراسية صغيرة: البراهين أفضل بكثير لما تحلها مع زملاء. كل واحد يشرح فهمه للثاني. الشرح نفسه طريقة تعلم قوية جدا.

استخدم أسلوب “اشرح للطفل”: خذ أي مفهوم وحاول تشرحه بلغة بسيطة كأنك تشرح لشخص ما عنده خلفية رياضية. لو ما قدرت، هذا يعني إنك ما فهمت الجوهر بعد.

لا تحفظ البراهين، افهم منطقها: كل برهان عنده “فكرة محورية”، لماذا هذا الأسلوب في الإثبات؟ ما الذي جعلني أختار هذي الطريقة؟ لو فهمت الفكرة المحورية، تقدر تعيد كتابة البرهان حتى لو نسيت التفاصيل.

استخدم الرسم والتصور: المجموعات؟ ارسم مخططات فن (Venn Diagrams). الرسوم البيانية؟ ارسمها يدويا. العلاقات؟ ارسم مخططات السهام. التصور البصري يساعد الدماغ على فهم المفاهيم المجردة.

لا تخجل من استخدام الموارد الخارجية: يوتيوب فيه شروحات ممتازة بالعربي والإنجليزي. موقع Brilliant.org لديه تمارين تفاعلية رائعة على الرياضيات المتقطعة. MIT OpenCourseWare فيه محاضرات كاملة للمادة مجانية.

ابدأ الواجبات مبكرا: واجبات مادة الرياضيات المتقطعة تحتاج وقتا للتفكير. لو تركت الواجب لآخر يوم، لن تجد وقتا كافيا للتفكير الصحيح.

كيف تستعد للاختبار النهائي؟

الاختبار النهائي في CPCS 222 عادة يغطي كل المواضيع، لكن البراهين وأساليب العد تاخذ الحصة الأكبر من النقاط في معظم السنوات.

3 أسابيع قبل النهائي: حدد المواضيع اللي عندك فيها ضعف وركّز عليها. حل تمارين إضافية من نهاية كل فصل في كتاب Rosen.

أسبوعان قبل النهائي: حل اختبارات سابقة (3 على الأقل) تحت ظروف الاختبار الحقيقية. سجّل أخطاءك وراجعها.

أسبوع قبل النهائي: مراجعة خفيفة للمفاهيم الأساسية والقوانين والصيغ. بهذا الوقت ما تبدأ بتعلم مواضيع جديدة.

يوم الاختبار: اقرأ كل سؤال مرتين قبل ما تبدأ الإجابة. في أسئلة البراهين، اكتب خطتك (الطريقة اللي ستستخدمها) قبل التفاصيل. في أسئلة العد، اكتب الفرضيات والمعطيات بوضوح.

الموارد المقترحة

الكتاب الأساسي: Rosen، Discrete Mathematics and Its Applications. اعتمد عليه كمرجع رئيسي. الشروحات فيه ممتازة والتمارين متدرجة في الصعوبة.

كتب مساعدة: Schaum’s Outline of Discrete Mathematics يحتوي على آلاف الأمثلة المحلولة، مثالي للتدريب الإضافي.

مصادر أونلاين: قناة Trefor Bazett على يوتيوب فيها شرح رائع لكل مواضيع Discrete Math بالإنجليزي. للعربي، ابحث عن “التراكيب المتقطعة” في يوتيوب وستجد شروحات كثيرة.

تطبيق WolframAlpha: مفيد للتحقق من إجاباتك في أسئلة المجموعات والدوال، لكن لا تستخدمه للحصول على الإجابات مباشرة.

---

مادة CPCS 222 التراكيب المتقطعة 1 هي واحدة من المواد اللي إما تحبها أو تكرهها في البداية، لكن مع الوقت والفهم الصحيح، معظم الطلاب يكتشفون إنها من أجمل المواد اللي درسوها. الرياضيات المتقطعة تعطيك شيئا لا تعطيك إياه مواد البرمجة: القدرة على التفكير المنطقي الصارم وإثبات صحة أفكارك بطريقة لا تقبل الشك.

خذ المادة بجدية من أول أسبوع، درّب على البراهين بانتظام، ولا تنتظر “اللحظة المثالية” لتبدأ. اللحظة المثالية هي الآن.