Lesson List

LEC1: 1.1 Propositional Logic

Assignments

Assignment 130:00
Assignment 1 -B PART127:00
Assignment 1 -B PART206:00
Assignment 1 -B PART311:00

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 يوجد فيديوهات مخصصة لها

Go to course home
Assignment 1

ملاحظة مهمة جدا %%%%%%%%%%
في النظام الثاني

الجملة الأصلية:
“A payment method is needed only when checkout is on.”

الصحيح بالمنطق:

x→w

(إذا كانت طريقة الدفع مطلوبة ⇒ الدفع مفعّل)

لكن في الحل مكتوبة:

w→x

وهذي معناها شيء آخر:
(إذا الدفع مفعّل ⇒ طريقة الدفع مطلوبة).

Assignment_111.pdf
حجم: 2.30 ميغابايت
Previous
Next