LEC1: 1.1 Propositional Logic

HW-LEC128:00
طرق اخرى للتعبير عن الدالة الشرطية09:00

Assignments

LEC2: 1.2 Application of Propositional Logic

LEC3: 1.3 Propositional Equivalences

تجميعات محاضرة 1+2+3 (PROPOSITIONAL LOGIC)

LEC4: 1.4 Predicates and Quantifiers

LEC5 : 1.5 NEASTED QUANTIFIER

تجميعات محاضرة 4+5 (Predicates and Quantifiers)

LEC6 : 1.6 Rules of Inference

LEC7: 1.7 Introduction to proof

LEC8: 1.8 Proof Methods and Strategy

تجميعات محاضرة 6+7+8 ( RULES OF INFERENCE +PROOF)

تجميعات ميد
ملاحظة مهمة : نماذج الاختبارات السابقة معظمها يركز على المحاضرات من 1 الى 5 وعدد قليل يركز على المحاضرات 6 و7 و8 في حال اختبارك يشمل محاضرة 9 و 10 يوجد فيديوهات مخصصة لها

دقيقة 11تعديل فرع c خلال الشرح كتبت -r  خطا كتابي الحل تحت السوال مباشرة وفي الملف المرفق

HW1.1 NEW.pdf
حجم: 643.14 كيلوبايت