LEC1: 1.1 Propositional Logic
HWB-LEC100:23:00
طرق اخرى للتعبير عن الدالة الشرطية00:9:00
LEC2: 1.2 Application of Propositional Logic
PART100:43:00
PART200:16:00
HW-LEC200:26:00
HWb-LEC200:13:00
LEC3: 1.3 Propositional Equivalences
LEC3:PART100:40:00
LEC3: PART200:38:00
HW-LEC300:15:00
تجميعات محاضرة 1+2+3 (PROPOSITIONAL LOGIC)
تجميعات LOGIC100:16:00
تجميعات 2 LOGIC00:15:00
تجميعات 3 LOGIC00:19:00
تجميعات 4 LOGIC نموذج كويز00:4:00
تجميعات 5 LOGIC نموذج كويز00:4:00
تجميعات 6 LOGIC نموذج كويز00:10:00
تجميعات 7 LOGIC نموذج كويز00:12:00
تجميعات 8 LOGIC نموذج كويز*************************جديد00:8:00
LEC4: 1.4 Predicates and Quantifiers
LEC400:55:00
HW-LEC400:42:00
LEC5 : 1.5 NEASTED QUANTIFIER
LEC500:50:00
HW-LEC500:21:00
HW-LEC4+500:11:00
تجميعات محاضرة 4+5 (Predicates and Quantifiers)
تجميعات PRIDICATE LOGIC 100:25:00
جميعات 2 PRIDICATE LOGIC :كويز00:6:00
تجميعات 3 PRIDICATE LOGIC00:27:00
جميعات 4 PRIDICATE LOGIC :كويز00:7:00
جميعات 5 PRIDICATE LOGIC :كويز00:7:00
ملاحظة اضافية00:7:00
LEC6 : 1.6 Rules of Inference
LEC61:00:00
LEC6-HW00:45:00
LEC7: 1.7 Introduction to proof
LEC700:55:00
HW-LEC700:20:00
LEC8: 1.8 Proof Methods and Strategy
LEC800:33:00
HW-LEC800:3:00
تجميعات محاضرة 6+7+8 ( RULES OF INFERENCE +PROOF)
تجمبعات 1 RULES00:15:00
تجمبعات2 RULES00:9:00
تجمبعات 3 RULES00:10:00
تجمبعات 4 RULES : كويز00:30:00
تجمبعات 1 PROOF00:24:00
PROOF تجميعات 200:3:00
تجمبعات 4 RULES+PROOF : كويز00:11:00
تجميعات RULES+PREDICATE00:17:00
تجميعات ميد
نموذج ميد A00:12:00
نموذج ميد B00:25:00
نموذج ميد C00:4:00
نموذج ميد D00:22:00
نموذج ميد E00:22:00
نموذج ميد F00:015:00
نموذج ميد G00:9:00
نموذج اختبار H00:9:00
مراجعة ميد100:22:00
مراجعة ميد200:35:00
مراجعة ميد300:15:00