Sets (المجموعات)
الخصائص الأساسية
- بدون ترتيب (Unordered): الترتيب لا يهم $\{1, 2\} = \{2, 1\}$.
- بدون تكرار (Unique): العناصر لا تتكرر $\{1, 1, 2\} = \{1, 2\}$.
- المجموعة الخالية (Empty Set): يرمز لها بـ $\emptyset$ أو $\{\}$.
- Universal Set (U): المجموعة الشاملة لكل العناصر المحتملة.
Power Set (مجموعة القوى)
هي مجموعة كل المجموعات الجزئية (Subsets) الممكنة.
مثال: $S=\{0, 1\}$
$P(S) = \{ \emptyset, \{0\}, \{1\}, \{0, 1\} \}$ (4 عناصر).
العمليات على المجموعات (Set Operations)
العناصر في A أو B.
العناصر المشتركة فقط.
في A وليست في B.
أزواج مرتبة $\{(a,b)\}$.
Relations & Functions
Equivalence Relation (علاقة التكافؤ)
يجب أن تحقق 3 شروط:
- Reflexive (انعكاسية): $xRx$.
- Symmetric (تناظرية): $xRy \iff yRx$.
- Transitive (متعدية): $xRy \land yRz \implies xRz$.
Function (الدالة)
هي علاقة خاصة حيث كل مدخل (Input) له مخرج (Output) واحد فقط.
Graphs & Trees
Graph Terminology
- Node (Vertex): العنصر (الدائرة).
- Edge: الرابط بين عنصرين.
- Path: تسلسل من العقد المتصلة.
- Cycle: مسار يبدأ وينتهي بنفس العقدة.
- Connected: يوجد مسار بين أي زوج من العقد.
Trees (الأشجار)
هي Graph متصل (Connected) ولا يحتوي على دوائر (Acyclic).
عدد العقد الأقصى لشجرة ارتفاعها $h$:
$$ Nodes = 2^{h+1} - 1 $$
(ملاحظة: أحياناً يحسب الارتفاع بعدد الحواف أو عدد المستويات، تأكد من تعريف كتابك).
Strings & Languages
| المصطلح | الرمز | الشرح |
|---|---|---|
| Alphabet | $\Sigma$ | مجموعة محدودة من الرموز (مثل $\{0, 1\}$). |
| String | $w$ | سلسلة من الرموز (مثل $101$). |
| Empty String | $\epsilon$ | السلسلة الفارغة (طولها 0). |
| Kleene Star | $\Sigma^*$ | كل السلاسل الممكنة (بما فيها الفارغة). |
| Positive Closure | $\Sigma^+$ | كل السلاسل الممكنة (بدون الفارغة). |
Proof Techniques (البراهين)
1. Proof by Induction (الاستقراء الرياضي)
تستخدم لإثبات صحة عبارة لجميع الأعداد الطبيعية.
- Basis Step: أثبت صحة العبارة عند $n=0$ أو $n=1$.
- Inductive Hypothesis: افترض أن العبارة صحيحة عند $n=k$.
- Inductive Step: أثبت صحة العبارة عند $n=k+1$.
2. Proof by Contradiction (التناقض)
لإثبات $P$:
1. افترض أن $P$ خاطئة (النقيض).
2. حاول الوصول إلى نتيجة منطقية مستحيلة (تناقض).
3. إذاً الفرضية خاطئة، و $P$ صحيحة.
(مثال: إثبات أن $\sqrt{2}$ عدد غير نسبي).
Empty Set vs Set Containing Empty Set
انتبه للفرق!
$\emptyset$ : مجموعة فارغة، عدد عناصرها 0.
$\{\emptyset\}$ : مجموعة تحتوي على عنصر واحد (وهو المجموعة الفارغة)، عدد عناصرها 1.
Number of Subsets
كم عدد المجموعات الجزئية لمجموعة تحتوي على 5 عناصر؟
القاعدة: $|P(S)| = 2^{|S|}$
الجواب: $2^5 = 32$.
تذكر: المجموعة الفارغة ونفس المجموعة دائماً من ضمنهم.