LEC1: 1.1 Propositional Logic
HWB-LEC123:00
طرق اخرى للتعبير عن الدالة الشرطية09:00
LEC2: 1.2 Application of Propositional Logic
PART143:00
PART216:00
HW-LEC226:00
HWb-LEC213:00
LEC3: 1.3 Propositional Equivalences
LEC3:PART140:00
LEC3: PART238:00
HW-LEC315:00
تجميعات محاضرة 1+2+3 (PROPOSITIONAL LOGIC)
تجميعات LOGIC116:00
تجميعات 2 LOGIC15:00
تجميعات 3 LOGIC19:00
تجميعات 4 LOGIC نموذج كويز04:00
تجميعات 5 LOGIC نموذج كويز04:00
تجميعات 6 LOGIC نموذج كويز10:00
تجميعات 7 LOGIC نموذج كويز12:00
تجميعات 8 LOGIC نموذج كويز*************************جديد08:00
LEC4: 1.4 Predicates and Quantifiers
LEC455:00
HW-LEC442:00
LEC5 : 1.5 NEASTED QUANTIFIER
LEC550:00
HW-LEC521:00
HW-LEC4+511:00
تجميعات محاضرة 4+5 (Predicates and Quantifiers)
تجميعات PRIDICATE LOGIC 125:00
جميعات 2 PRIDICATE LOGIC :كويز06:00
تجميعات 3 PRIDICATE LOGIC27:00
جميعات 4 PRIDICATE LOGIC :كويز07:00
جميعات 5 PRIDICATE LOGIC :كويز07:00
ملاحظة اضافية07:00
LEC6 : 1.6 Rules of Inference
LEC601:00:00
LEC6-HW45:00
LEC7: 1.7 Introduction to proof
LEC755:00
HW-LEC720:00
LEC8: 1.8 Proof Methods and Strategy
LEC833:00
HW-LEC803:00
تجميعات محاضرة 6+7+8 ( RULES OF INFERENCE +PROOF)
تجمبعات 1 RULES15:00
تجمبعات2 RULES09:00
تجمبعات 3 RULES10:00
تجمبعات 4 RULES : كويز30:00
تجمبعات 1 PROOF24:00
PROOF تجميعات 203:00
تجمبعات 4 RULES+PROOF : كويز11:00
تجميعات RULES+PREDICATE17:00
تجميعات ميد
نموذج ميد A12:00
نموذج ميد B25:00
نموذج ميد C04:00
نموذج ميد D22:00
نموذج ميد E22:00
نموذج ميد F15:00
نموذج ميد G09:00
نموذج اختبار H09:00
مراجعة ميد122:00
مراجعة ميد235:00
مراجعة ميد315:00
LEC1: PART2 مجاني
