 محاضرتنا اليوم عن الفيرس اردار لوجيك ننخذ سيناتكس و سمانتكس فتحديدا تركيسنا على السمانتكس محاضر الماضي اخذنا لبرو بوزيشنان لوجيك طريقة الإنفرانس ميلادس اليوم محاضر عن فيرس اردار لوجيك و محاضرة تحديك عن الإنفرانس ميلادس تعالى الفيرس اردار لوجيك محاضر هاي زي كل مغرم يقول انها توجدوها على الباوكة حاضة من صورة هاي المحاضر بتاكس شبتر ثمانك الكتاب كتاب التكسبوك طبعا النادي زي ايه اذا الماتي ريار جبتها من هون انا الفتها و جبتها من هون تحديدا اخذت بعض the slides من بروفسو تنركو فرانكوني من فيرس اردار لوجيك في ايطارن هذا السب extended ٢ اول شيء شكي يضعفون فيرس اردار لوجيك احنا اخذ كمان سلايل عن سناك لاذا يضعفون فيرس اردار لوجيك نارف انو التعرفون تلحك الان بروبوزيش العلوجيك و خذت فيرس اردار لوجيك في مادة الاداكسيت الدكريت في سنه داني نارف انو احنا هناك ثلاث جولان ماري is female جولان is male ماري and جولان are siblings عندما نقول في البروزيشينا اللوجيك نقول ماري is في ماري كيف نقولها احنا يعملها هي البروزيشينا اللوجيك نعطيها نقول بس بي كو ببروزيشي كلها ببروزيشي ماري is female ببروزيشينا اللوجيك نقدرشك أكثر من هيك هاي تنقولها احنا كيو مثل تبوهارها لا هاي نشل يعني كيو هاي تقول ماري is male جولان is female ببروزيشي ناديها بس ببروزيشي يعني بمعنى اخر ببروزيشينا اللوجيك احنا نحط ونشوفها كلها ككتعة رحدي تحت ميل ونشوفها ونشوفها ونشوفها فيشيشي تاني ها هو ببروزيشينا اللوجيك ببروزيشيشيز و بينهم واند ور فيشيشي تاني باي لو بيدينا نحكيها هاي احنا ببروزيشي كيو نقول هاي ماري is female كيو نحكيها فينار ماري فينار هاي على كونسر وإيو أارجمن اسم هاي ماري بسر افتر خلاص بس هاي بجوش تكول ماري is female نور is a person ماري is a student فمكول a student انت حمسي بس فنشوفها في ككبروزيشي وجون is male بارضو ماري جون ها وسيب لينس ايو بري ايو بري ايو بري ايو بري ايو بري ايو بري ايو بري ايو بري ايو بري ايو بري ايو recommendations بوضب ماري راع ماري راع يجب أن يدك يجب أن يريد For everyone وعن اين يجب ان يكون الفكرة ويجب ان ي planets congress نبروزيشن اللوجيك بقدرس بقدرس أحكي جمال زي هير بقدرس أقول أفريبادي يعني في متغييراته كل واحد أنه واحد هاي كل هاتفقة واحدة بشوفها بكبروزيشن ولا لا وهي أمير إزناتة في مير أمير إزناتة في مير ولا تقدر تحكي هذا الكلام في نبروزيشن اللوجيك ليه ها في نبروزيشن اللوجيك بكول فر all x ماي x or في مير x كل x سياه يعني هاي في مير و الثاني فر all x if x is a man then not a man x is not a female هايك بحكي في نبروزيشن اللوجيك ليه بكبروزيشن اللوجيك ها هذا الكلام أنا لأيش بدي أقوله أشان أعمل deduction شو يعني deduction أو inference أتبدي حالة واحدة ها أتبدي حالة واحدة بدي بك عشان يتحطط من جون بدي كل deduction يعني بدي أعمل reasoning يعني inference يعني استنتاج من حال واحدة أنا مش فيهش اسمه function شو الفرق بين function و relation أماني يعني إشي لإن صاح شيئ إشي إشي الفرقش يعني هو علاقة عامة أم يعني ليه مش لأحد جديد و انتبه بوضع شنسة هاتفوا بوضع شنسة بتكونوا إيه وصيف لأيش وشيئ وشيئ هل الفرقشن relation أكيد هل الفرقشن function هو لا يعني حا بعض أنواع relation نسميها function طيب brother of function relation relation طيب لما تقول brother of كم واحد ترجع كم نتيجي أكثر من واحد أكثر من واحد إذا رجع أكثر من واحد بانات هاي relation مش function طيب father of كم واحد mother of كم واحد ترجع relation حسن حسن في الدين الإسلام ملاليش مش function نعم نعم هذا فهي بعض ذاك بس أشان أرجيكم إنه في بعض البدر بردو أحكي إنه for all x بقول مين مين father of x هو مين هذا اللي كسي أقول بدر أحطم جمع بعض بالطريقة إذا كانوا function إذا كانوا function إذا كانوا function بس إذا كانوا function بس إذا كانوا means Olha بحكي بس در داشنة الآن سنذهبéًا to found some text فإرس هو الدر اللوجيك خرير kardeşim و which one فهكون حسن liberties اللي بدر بي لجيب دل بان ما이랑 شو في عنا برو بوزيشنز زي ألفة و إبسدو لأخيرية فهي ها رباق يقول زي فاظر of x أو مثلان براظر of x أو مثلان سيبلينت x y ممكن يكونوا وحدة أو ثنتين أو ثلاث أو لأن بريد كد من ثلاث زي يقول 설جاتاملاح حامزی كوما أعوظ من بس او ال obrigة و بس حامز prends فكس هذا لم يكن بالاض athlete بعديرا و ش就是 او بس لا لديا هالم هناك نتنقل مرضا و لديه العقل اموا الوث Block هناك نتنقل مرضا و لديه عقل بيانا اموا وردا كاتب اموا و اموا و اموا و اموا من فتح هذا الأمر انا كنت بريديك غلط وهي غلط بلسطاية وانا متأسف انا متأسف وبسحب بالكلام اذكرت لاني جانب ايضا ايضا هاي بروبوزيشي ايدسو هاي بيديد ايدسو هاي مهون لهم ففي عنا هدوه لا تو سيم بونز خذوه كبرو بوزيشي ديون ريوم الدنيا مطر بكرا في الدرار بروبوزيشي خذنا هدوه بروبوزيشي انا قلت بروبوزيشي هدوه ايش بروبوزيشي هدوه العبار عن بروبوزيشي ففيه في عنا نقدر كل مطر بروبوزيشي نقدر محط اور اف هدوه كواعي بروبوزيشي هاي غلط بروبوزيشي انا مجلس شوفوا هدوه لك بروبوزيشي وطلعوا عليها يمكن البيت لا لا مهون كاله فبالتالي شبابه احنا عنا بروبوزيشي وفيه بينهم وقاف وقاف هذا هو مكونام لغات شوف اضيف عليها لكي يصبح فيرس فورده اضيف عليها فرشة اول شكل هاي هاي بطلت بروبوزيشي سارة بطلت بطعن بطلت بطلت بطلت سونا نشوفك اير كبرط كير كفاه الدفان حدا براشبك هذا فرق ب لبروبوزيشيوم ولفيرس تردى لاحظي ايد هاي بطلت بروبوزيشي ايه المثال بيوفر الياه في دايمان هيد في دايمان ها يقول سمارت اكس ولكن بعض الناس الفرنسيين بس هم الثاني ليه؟ هلا نرجع على السلايب دي اول واحد عشان بس يمكون هذا هلا لبروزيشن وإذا تأتينا كونستانس ممكن نقدر يكون في داخل لبروزيشن مش شفل كما تغييلها ممكن نتحطوا ايهاش ثابت كونستانس مصبوط ففي عنا ثواربين في عنا فاريابين في عنا بريدي كيتس في عنا فانكشين بس تكون تكون دامل دامل تنمشن هو كنام ومن أسبري ليش؟ ليه؟ فا اتأتي اذا يابكون فاريابين يار كونستانس يار فانكش هذا بس دي بديا أقول في حالة إن كان ما فيش فاريابين هو كلين كونستانس زي بقول مثلا هل أنا في فاريابين؟ لا ها ينسميها لبحارة ها ينسميها جرون تاب فبتقول التاب يكونوا ولي بريدي كيتس إذا بكونوا كل اللي فيهم كونستانس فيش يوم بعريه بيس يسميها جرون طيب هذا هو السلطات ستبق الفيرس اوردارولوجيك بس فيش تعمل كاية سؤال حد الآن ها طيب هلا بيجي نحكي في الجد شو السمان تكس تبق شو يعني شو السمان تكس شو يعني معنى ها يعني ها دعى أرجح هوا ها يجب لي في فيرس اوردارولوجيك فهو oh it's X X اسمها شو ستش مقول ها يجب لي فبيتريك بالتسمان تكس شو يعني تغالبوني دي بتاريس ما شو يعني حتى لسا هاي هاين مجتوم بلغة الانجليزية هي تغالبونتgers ما يطلقونه على إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إ المنطقي المكتوب بالفيرس او داكور ها و انتبريك فيرس او داك لوجيك ستاديس ناية ها تنشوف كبل ما ندخل انشوف هذا المثال كبل ما ندخل كي من فس هل ها نشوف يتعرف و رج شرب قرب الاسد تسمعوا فيه رج شرب قرب الاسد رج شرب قرب الاسد بريد تعني أخو بك هو الاحتل الكوتس يعني هو الجازي أخو شو اسموه أخو بك ملك فهي رج شرب حمل سيف ها يا أخوه اجوه أخو اسمه جون ومالك طبع لما نفتلت رج شرب و جون تخيرت اندي دومير معي تخيرت ترفي تخيرت انوها شو هو إنسان نقجر الشمال خذها على جنب ها كمان هذا أخو او هذا شخص ثاني جوه وهي جروه الثاني بنيه وفي قرار سوكاج شو الدومير الأوب جيفت اللي احنا من نشوف يعني شوفنا شوفنا كله شخص بغض النهار بحامل سيف ونهار كيك مثال مثال شوفنا إيضروه شوفنا هي هيدان يوجد و هوующ الأوبج شوفنا الأوبج و شوفنا أوهدج� هاي أوبج movie يضع حطة으�نا عن تاجن επستازول وحدة شوفه بنيه screaming يắnد حنين كمان شو دومير ماذا يسمى ميل؟ دل. دوميك يسمى ستة أبوجيكس ورلايشين بين الأبوجيكس أو فاكسين بين الأبوجيكس في حديث كلية لحظة أبوجيكس خلاص ونقول يسمى ستة أبوجيكس ورلايشين في المساعدة حسنا شفت هذا الزرم؟ هم؟ وهذا للرجل؟ وهذا إجروا؟ وهذا إجروا في ثاني ولازم أحبيتها للتاج؟ مليا؟ شو رلايشين؟ أخوها أو ها؟ أخوها وجوز الشو غاية شفتها؟ شو فاكسين أولا هي مردو رلايشين زمها فاكسين أبوجيكس عشان بس نقول إنها رلايشين إنها ها إجروا وها ها إجروا في ثاني ماذا؟ مين؟ خذوا هذا المتابع خذوا عليكم هذا المتابع نجبتم الكتاب المتابع لدس كرينو ماذا يسمى ستة أبوجيكس ذا كرينو؟ شو هم شاكية؟ ماشور هذا المثال أعملوا التارسك واحد يسمى تارسك عندنا دائرة ودائرة ودائرة هاي ألوانه أعرف شكيف طريقنا الكاميرا جريو جريو جريو جريو جريو هاي بلاد بلاد بلو بلو بلو ليه؟ شو هم الأبوجيكس اللي هو تركب المنقول شو من أبوجيكس ناشس على هذا السؤال وللسأ له لسأ له شو من الأبوجيكس عندي بلو أنا اكشأت دينا طرق لبلوك شو هم عندي بي سي دي اي اي اف جي اي اش اي جي هدو لبلوكس وعندي سيفر اي بي سي اي بي سي هدو لسيفر ليه؟ وعندي سكوية شو هم اي واش وجي وعندي كرياني اللي هم ووا وعندي بلو سولي بلو شو يعني بلو كبا بلو لهم اي سي وجي وعندي بلو لهم اي ودي وانظلو ما جربا هل اكتين ده كبير وكتين دلشو بشاوك شو شايت كمان دي كانوا رام مدو ده شفك بلو ده اشي اتان بلاشو طلع هل اعطر ببنشو ريشي بلاشو ده شوف سيف كبا اي اي اي وصي مصبوح اي وجي وجي وصي وجي وبي واش ويف فعن اخططو اللي نايم بشفاهم بعض حطيتهم انا شي هاي بلو بلو سولي سكوير هاي بعدين حطيت اي وان واش حطيته الاليمنز يعني الاليمنز ده سي عذب رونوش لازم بلو وانا لازم جيب هاي وحطيتهم جيب هاي حطيتهم جيب هاي حطيتهم ليا هاد الدومين يعني طلع السفود ده مشو شايف كراسن اجزة كبيوتر طلع نااس كنادر جاكتات لازم يهم بقدر شوف ريب دي دواو بالسك بقدر هاد هاي كنشاك بعدين واشو هوف الاليشنز بين شو مي الاليشنز وان سامكة حطيت السامكة حطيت الرايت قوف اي سوف اي رايت قوف بي يعني اي على شمال عليانين بي مصبوه او اي عليانين سي او او او او الاخر او الافطوف بالعكس من طب كمان بقدر شوف قباف ايش يفوق ايش ايش يتعيش مصبوه عادينا شو كالبش انا شو شايف انا ايام كونسبوحلائزي اداو ميم هذا الدوم شاذكيا انا شو عمال كونسبوحلائزيش انا عميل كونسبوحلائزيش مش تحليل انا مي حللتش انا عميل كونسبوحلائزيش انا هذا الدوم هلا بقدر اشوف كمان أشيك اخرى عليكات انت بقدر شوف عليان في تلاتي ام لدى القطع لدى코 أضدمهاbagation if you see it it's very believing that تصميمم يعني بمعنى افراد شدوش الكير انو ساتش شي لهم ايه لا ايه نظرت ما اختصار مليه؟ لحده المفهوم انا كيل باتشو بالدومية هاي ست اوب جيس وعلاقات بيب هاي ست اوب جيس كمان مرة اوب جيس وكي انه اوب جيس هيك وكمان العلاقات ههضر بكتبن بالطريقة هاي ههذا نجي مكول علاب انتو كادي بحط السيودان وحط اسمك طبا مردين علاقات بينكم ماذا من قوة انسامة كلاس بحط كل واحد وغيره بجوز حدا من قوم صاحب ثاني طب شو احضت فرنتو اوب شو حط طوام ماذا انا بحط نور نور شو يعني يعني بالواقع شو موجود يعني بالواقع لازم تبك حقيقة بالواقع انا عكاس للواقع اللي انا شايفه لا بعمله كونسوشلال زيشة واذا هاي باس مكول هلها هاتو مشوف ها دويت انتر بريك انا الكوشو موضوعنا كي مفسر او نعرف معنى الجمال المنطقي المكتوب الفيرس واتارلوجك مصبوع بيكس ساقف ساقف اكس اذا ساقل ذين اكس ازقباف اف فسريها يا امام فسري لازم تكون فوكا فسريها شو يعني يعني اذا بتقدروا عدائلة انه بطلع فوكا شو معنى الكرام كيف فسريها طيب خليطنا مش معنى كيف فسريها انا كيف بتعرف انه هذا الكرام صحولا انا او يعني انه مستحيل اتلاف دائرة ما تكون فوكا يعني تكون نحت اف او على يمين او عشانان ها فا ها تهو ساقل اكس شو احب مضرحا اكس او سي ساقل اكس اذا اف اف ساقل اكس اف اذا ساقل مضرحا اف ساقل من او اخبار اف او اخبار اف مضرحا اعبار اف احب تهل ايكمل او انا يجب ان يكملوا كل هؤلاء او اي ساقل او اي اباف صح سي and C is above F E is a circle no E is a circle if if is a circle no G G is a circle no it's شو بساوك عيب إذا مجرب هم كل هم طبتنا هلا هلا that exists ليش يجربون كلها for all circles يعني كل الدوائق نجربون كل الدوائق بشكل الشيء يعني بشكل شيء يعني خير حرك انت تعرفش خير حرك انت ما شا أسهل أسهل بس أنا عشان مرجيكم ان بخصاة ها يسحول لغرب عشان عارفس كما جميون عشان عارفن ها يسحول لغرب عا طلع شو تساوك ها تلعب طلع for all X is a circle بروح a circle A B او اشيه ها يسحول موجودي في الدوائق طلع أنا لازم اطلع هون بس مراتنا طلع هون للتسخير عشان عارفس عشان عارفس كما جميون الكونس بشواليزيشن تعرفش بشوالي حبط هون أنا معين فا أول اشيه ها ها يسحول موجودي في الكونس بشواليزيشن ده معين موجودي لا أسهل بروح a circle أباف موجودي موجودة هاي بعد شو سويت أنا وكأنني روحة اعمل ما من اسماء لبريدك سلن عندي شو موجودي بالواقع ولا مش موجودي بالواقع ليه يعني المعنى آفا لما بدفسر جولي بالfirst order logic لازم شو أساوية لازم شو أساوية اوخ اول اشيه اسماء مش شرح اول اشيه او تادي اشيه يعني مقصور بوخ لبريدك اشو كنو موجودات اولا بعد بوخ كل variable وباك سو بطلع حال موجود بعود وكأنني بدعود كل الكونستنس محلل variable بلها بعد هانل بريدك الموجود آه وكي هاي موجود بعد x بوخد كل لبلوكان او circle اللي هي الvariable بعد فب if شو أساو فيها بالتأكيد لما افست بعمل عملية ما بي من من بريدك لدومي صح بشو بفحصها موجودة لها بعدين كل variable بروح الواقع وبفحص انو موجود ولمش موجود الكونستنس بفحصها موجودة ولمش موجودة بعملك كهول بفحص بعد سعيدها لدومي فساو بمعنى عفا كنتزرش لأ كنتزرش بلوكان ده ده ده ده لا لا هاي مش هاي مش هاي خليكش هاي الراحظ بلي بروبوسوشن اللو جاي احنا شو كن نساو ما كن نعشن يوحاص variable لانه فيش variable ولا constant في ايش بروبوسوشن yes or no هلأ الانترابريدتيشن format semantics من سمين format semantics format عشان logic عشان يكتوب بالlogic اللي من فسي للجمع مكتوب في first order logic كتابريد انو انا مع الانترابريدتيشن نساو reference to كل constant بعملو ماب على وين كل constant كل constant بعملو ماب على على out بعدين كل predicate بعملو ماب على relation طعهو اسمها predicate اسم اسمها relation يعني ما جاء اسم يعني هاي مرات آه في الدمية في الواقع ما اسمها few relation بس لما نجري friend of ما اسمها predicate مرحبا لما اقتموا predicate لما نجري لما نسميها predicate وبالواقع ما اسمها relation بس هاي مش شرط برضو يعني ما كل ما يستعمل هاي بل كل functions بعملو ماب على functions طعهو فانأتو بيك سمتانس إذا فيه عندي أنا predicate فبالي بحطتش functions اوه اوه اللي برجع من وضع من وحد هاي هاي انأتو بيك سمتانس إذا فيه عندي زي مثل friend of نور نور is true in a given interpretation من كل true ما شو عاربني أنا نور نورة المساحة ما صبر مش صف بي أنا كاستاذ بعاربكو مش عاربكو بس بس أنا واحد كار أجرب friend of نور نورة هالوأية تكون true the audience refer to by واحد واحد يعني نور ا في الواقع انه في الواقع فعلا هاي موجودة يعني واحد كار جملي friend of نور نورة جمد كاش طح تفسيرها المعنى الدلالي سمان تكستبعها فبروح الواقع بفحس انه هل في علم هم صحبي ولا مش صحب هم أصدقاء ولا لا فليك تقولوا انه هاي جايني محالة التفسير يعني هذا هو an interpretation an interpretation in which a foreigner is a a school إلا كان تفسيري صح انه انه نور نورة صحبي هم معاناته حالة هاي هم من موديل لمين for the friend of موديل نمشو صراح نشو موديل تعال more formally هل ابتحكي more formally اضبك ام formal the first order interpretation انه هم كلوك اتبشر حكيف انت شو انتربلوتاش تعال first order logic او نسمي formal semantics او the first order semantics انتربلوتاش من سبي هاي انتربلوتاش ما مش موكيف يا هنالك المانس اي انتربلوتاش اي شو فيم كالبالانتربلوتاش الدوميان او دوميان او هاي function شو يعني function زي انتعرفو من البرمج function من اشي من اشي من اشي شو اشي من the individual the consistency to the elements so logic سات الدوميان طبعا لما بقول اي لما بحط هاي اعي فوق اي معانا شو الانتربلوتاش انتربلوتاش اي شو function المانس شو الانتربلوتاش هاي كلها انك اصنع اي انت انت اي شو تحوط يعني انتربلوتاش انتربلوتاش انتربلوتاش انتربلوتاش انتربلوتاش اي او حكا تاتن مهر فوقها قاعد شو يعني شو الانتربرتاشين تبعى نو شو موجود بلاد ينتمي إلى الدمية نحن ينتمي إلى الدمية يعني أرجع هم شو الانتربرتاشين تبعى قاعد ايه تبع ايه هل الانتربرتاشين تبعى هل انت من الدمية ايه الابلوكسي و ايه صح بسبوه يعني بسبوه حتى اللي هونا دغيو إذا وحتى دغيو شو بعرفني اهه فبقول دغيو الآر لا تنتمي إلى دومي دومي رحيا لا تنتمي إلى دومي فإذا شو الانتربرتاشين هو فامشين بعمل هذا من من من الكونستانس لا دومي يعني لازم يبكى موجودة في الدومي وبعدين لبريد كتس ل ريشين في الدومي وفامشين لا فامشين ريشين في الدومي كنتوا علي نعم هلك الكيك يا باك نخطيشن ها انتربرتاشين ها شو كم هذا الانتربرتاشين اذا كنا ها انتربها كل الكل اله خير هوني فرينت اورو نور اورو كل الانتربرتاشين ده باك شو تفسيرها من وقى شو معنى ها ده لالي طلق هو كل الانتربرتاشين او بريد كت اسم بريد كت اسم بس ولا ها فا يعني انتربرتاشين ده كل ها هو يساوي الانتربرتاشين لا اسم الفامشين ولا كل حالي ايو ده باك سيمك ايو ذا업 كلها ذاب كلها الانتربرتاشين و اليان اين تن美國 اين اين تن أنت قوى لو فيا기 انتربرتاشة معينComment لو فياك انتربرتاشة معين هل اللي فصّروا حنزي إنه friend of murmura صحيح؟ إذا كان فعلا إذا كان فعلا نوع كتبل كتبل أو ريشي كلها موزوديوية شري ليش يعني دو ها تنشوف هال الإنتر بريتيشي المثل طبعا حنزي إنه A سيم كلا مع جي هذا يكون صحيح إذا أول جي الأول جي إنه طبعا هذول أول جي إنتر بريتيشي ما هو ينتمو إلى الإنتر بريتيشي طبعا سيم يعني نرجع الأباف xf هالأباف xf إكستفع إذا Af يعني لديه أباف Af صح؟ وده ده نقول هل حمزي يقول إنتر بريتيشي إنه طبعا حمزي ها يكون صح؟ إذا إذا كان أول جي AF وجدك وجدت فيها ويأباف نقول إنتر بريتيشي نطبع أباف موجودة مضمو مضموى سام كالر ايو جي كما شاهدونا سام كالر في السام كالر هل فيه ان ايو جي اهيه فلازم تقول موجودي يعني باختصار التفسير الجمال المنطقي لما انفست الجمال المنطقي بالفيرس بوردار روجي نجي بنوخير اول اشي بكونستنس نشوف نمفعل الموجودات الواقع يعني واحد يقول كل ذي فيه يعني هنالي هنالي نقروا على سيدة فيه سكوير بلاك بلاك اكس طبعا انسان لكل اكس هل اذا اكس is a circle اذا اذا اكس is a circle فيه سكوير سكوير واحد من نفس لوحة كل سكوير فيه سكوير واحد من نفس لوحة من نفس لوحة هلا اخدتوا بっぱ من الواقع خدو A خدو B صح اخدنا فاعملنا ما على الواقع صح بعدلك بعدها ماذا يفعلون؟ كمان ها يباريبز فحسنا بعدين كلنا هل x إذا سيركير؟ هل فيه y سكويرس؟ بعدين انهم تصير كالر فعملنا ماب كلما نعمل ماب هل موجود لقرارا؟ هذا متبسير معنى الاندار بريتش لن يشرف انتايل هل سيركير؟ انتايل انتايل هل الانتايل بزمط انتايل أنتايل فبكتب هذا الطريقة هل الآي انتايل انتايل جي و اتش سيركير هل إي أبغ بي اي بزمط انتايل هل انتايل ماذا هو؟ ماذا هذا المثال؟ دومانتاني طاري و علي أبغ عذابه على فكرة العام يعمل برضه هو لعمل حماك ففيه اندي بلوك شو الانترافتاش دبع بلوك شو الانترافتاش دبع آي اي دبع أبغ كل دي شي و أبغ فيشي كل شي بدو بي شو الانترافتاش دبع كلير يعني انه شو الانترافتاش دبع اي بي بسيلانة مُلام سرح التاولي مُلام سرح التاولي سي و اي هل الانترافتاش اندي بزمط انه اي بي بي ليس أبغ فمنطبها نظمات انت انت عليك كيف الفكرة نعم نحن نوخل الشبلي انه لما فيه شيء نسمي الواريو الأصايم اي شعب اي شعب اي شعب اي شعب اي شعب اي شعب اي شعب اي شعب اي شعب اي شعب اي شعب اي شعب اي شعب اي شعب اي شعب اي شعب اي شعب اي شعب اي شعب اي شعب اي شعب اي شعب إذا كنا نعوى كيف نتبعه نكتب ألفة x على d شو يعني يعني برنامج ألفة عوض عوض d2x هل انتربريتاج هل تعكيب يعني ننزيل شوية هل لنكون مش لست نقول شو الانتربريتاج انتبع x هلا شو الانتربريتاج انتبع x والألفة هاري برنامج اللي عوض القيام مترفع الساني يجي ألفة الكبرنامج دعوض مثلا قيمة x قيمة x وبعدين نعمل انتربريتاج نهرين فلما مقول إذا كانت كونستان فيش تعوى ألفة برجة حين نصبوه تاك هلا نفسي كلها بالسابل السادي الساديو لو في عيني هلا هي بيزي نقول مش بس نقول ألفة انتبع نقول ألفة باستعمال لبرنامج التعويد هار إبديل لبرديل التعويد هار ماذا إنو سام كلا أو إنو فرنك او نور نورة إذا كانت نحوط على كل فارياب الإنتربريتاج باستعمال برنامج التعويد هار يعني وكي أنه من عوض بطرح كل فارياب بعدين نعمل نهشش تحكي والفاريب حصايمان تهي بسنة الآخر اللي هو ستيسفاية بلد تحكي بفرنك شو عن ستيسفاية بلد يعني إلها على أقل مذلوعة بحكك ليس هناك ما يمنع تحكيك الضكور مثل بي اجديس تيودا وين وين وين وين وين وين وين وين وين وين وين وين وين وين وين وين وين وين وين وين وين وين وين وين وين وين وين وين وين وين وين وين وين وين وهاي انتايلس مضفعه هذا شو يعني هتبي لوه بالوضعه؟ أو ايه ده مكون صح؟ انه هذا البنامي مع التعويل ضد مضفع انتايلس معا ما لما بتقولها هاي انتايلس الفاك كما انت بوارفس الوقت انتايلس ابسي ده ابسو دهي ده والأور لما بتقوله هاي اور مقول انتايلس اعطيششش مع برنامز التعويل والفاكش انتايلب اور انتايلس فالأور مثل انسير كال ليكس فالأور كل شيء وكل الموجود فالأور إذا فالأور تنتمي شاعة دي تنتمي لمايا للدومان وفي عنا الانترابتاش مع برنامج التعوير باعوير رو باعوير x دي مطرح x انتانز هاي رالك وذلك زيط وفق فور قول فور قول دي في كل الحلق اسمعوا هنا ما فيش شي مجيك فيش سحالة مش اشي دي دي ده بتاني بس انا كنت شو عاديش والتعلم كنت كنت تعرفوه ان فور ماني انا بس نعكين فور ماني اوه ده كلا كله في المدرس كما نتعرف في المدرس اعرفوه معنى بل لا لأ احنا نذكروه نمصفو بطريقة برسائس على اخر فور تا احنا مفهود شو عادين خبز ستسفيب لك انفالي شو عادين انفالي ده في سيرا في كل الانترابتاش ده لزمو ده لأ ايه سوري فاي تا شو انا ستسفيب انو في انترابتاش في انترابتاش ستسفيف يعنو فيه على اقل تفسير وعحا تفسير وعحا ده لرواكب انترابتاش يعنو اكثر انترابتاش مش يعنو انترابتاش مش ربك فنكشن سوري فنكشن بس مش شرف يبكى مراتي الدومان منغيب يعنو طلعو افرذنو بدلت احنا اتبديلات معنى افرذنو بدلت اتبديلات معنى كد اقتتها وانا دي اقتتها وانا لاخرية احنا منحكى بالوضحة ها انترابتاش انت بحض بسي في انترابتاش يستاني من كل ها يجملى ستسفيب منكل فالك اذا ستسفيب وانتا لما بكون في انترابتاش معين بحقك منكل انترابتاش لما نقدرسن احكاها انتربوتشن نحققها ونقول فولسبيل is some انتربوتشن يعني فيها الأكل انتربوتشن does not إذا فيه some تكون فولسبيل إذا فيه شخص أحد يعني نقول يكتب لو عندي أنا جملة بتقول كل الطلاب كل طلاب جامعة بيرزير لازم يكون معهوية should be under 10 years old كل طلاب جامعة بيرزير لازم يكون معهوية ولازم يكون معهوية تقدر تلكين همودي الحقك هالي not satisfied اهس أنا لبداس تقدر تلكين همودي الحقك هالي تقدر تلكين همودي الحقك هالي no في كل الحلقة it's unsatisfiable there is sorry if I is not satisfied يعني في شوالها همودي بحب در حقك مش ممكن لما بقول satisfiable معنى تقول في مودي الواحد در حقك كل سبيل لما بقول انه كل طلاب جامعة بيرزير من جينين قد يكون او قد يكون لا ففي على أكل حالة وحدي this side قد يكون على أكل حالة وحدي false I false I false I false all of them كل طلاب جامعة بيرزير من جينين هل هاي satisfied it's unsatisfiable لانه إنه أجواء إنه أجواء طالب واعن من جينين تحكي صح بينما فول سبيل شو يعني فول سبيل يعني فيه ولا حالة وحالة وحالة sorry there exist لما بقول okay واحد طلاب كل طلاب جامعة بيرزير من جينين معنى تقول إذا أنا جيت على حالة وحدي مش من جينين معنى تقول كل طلاب جامعة بيرزير humans صح هاي طبعا بالواقع تنسوش إنه حالة تعلمتوش يعني عال شو يعني عال interpretation هاي function طاوي هاي ايش هاي function طاوي طاوي okay so so so so so so so so so so so so so so so so so so so so so so so so so so yes بالفما تساوي شو الفرق بين ها يوم ها ورأيش هبس الحلات يمكن ان فيه نايم كومبنانس طيب هلا في عدة أكمنة سلاعي دهو لتكرمهم أذو العادة أنا ويسنحهم مش بس هاي أمثلي لكرأتكم انتو تكرمهم هاي مثلا كل xy بيرن x كما y if and only if شاعة xy إذا بيقول x bear of y إذا كان y شاعة x والعكب يعني if and only if الفضل for all xy إذا كان x فضل y if and only if أن x bear of y و x is main و x is main هلا لن ام دعني ام بس هاي كظبتشلاتية هافة زي برولو كيف برولو تعلمون برولو يتكمسونا حلكم حدا رجARR يكمس شواتي برولو بدوش جهه شافكين إنتم اكتبهم اللي يمكننا عملي كوير زي الطريقة تلو عليها الحالكم هاي مثال أخر لذي دو مطلوب هذا طاعم بكم بس عادة لن من زمش لن أشرح للتفسي و في أي سؤال؟ و what is your........ سيمانتجيه و السمانتجي و السمانتجيه، سيمانتجيه و سمانتجيه و سيمانتجيه، سيمانتجيه، كيف يعمل سيمانتجيه؟ ما عنه؟ معانا كيف أعماله؟ معانا هذا الحقيقة يعني كيف أفسه؟ كيف أفسه؟ محمد محمد من أعمل مابيه انترنتيشيه هو فاكشن هذا مابيه كونستانس لأوضيز وفاريوبيل لأوضيز وبريديكس لرليشين هذا لا تقدمين وفاكشن لا فاكشن رليشين سبب تقدمون بس وبتكون الجملي سدسفايبل إذا كان إلها بحصا على الأكل فيه إلها موديل بحقك وبتكون أنسدسفايبل إذا وولها موديل بحقك وبتكون فولسبايبل إذا واحد محبك فاكشن فولسبايبل كون فالد محضر الجائب وقد كيه نعمل استنتاج أو الإنفرنسيك أو ريزينيك بين فاكشن فاكشن