ope حلاليوم حضرتنا عن دسكبشن اللوجيك أخذنا في محاضرة في السابقام أخذنا بروبوزشن اللوجيك واخذنا كيف نعمل ريزينيك على الروبوزشن اللوجيك وخذنا بعدين الفيرستوردرلوجيك كيف نعمل سندكس بسما�كس دبقا وخذنا مكثيكنا عن ريزينيك حلاليوم going to my description video ووه وفلفت وبوعمل ريزينيك لما اننا نستطيع التحديد من خلال اللوجك؟ هذا لايجب لهذا اللجك، فهي مناسكة من اللجك، أقل؟ third-quarter is a very good logic. كثير من اللوجك،agerly good. فأتوقع لك أن تكون باستخدمان كتاب أمأش. فكتاب AAA. امام مش ناس كثير بذرسوله الوكهير جديد موهوه ابتديت الى بروبسيشن اللوجيك مهم جدا وكمان طبيعته بطريقة شوي انا بروبسيشن اللوجيك بارش حدر سطاية ليجهد شو تصاية بس هذا اللي نقل طول عنه المحاضرات محاضر طبيعته باريكا عن واي وطاان واي سوف نخطيت الوكهير جديد اسمو لم نخد نάهش بروبسيشن اللوجيك اسمو كدا ايروبسيشن أن اللوجيك اهوه ويخدنا الجه tú الكبره بارضا لم نخد ناهش بروبسيشن اللوجيك اوه ويخدنا كبره فهو مج روجيك واحد يأكثر من روجيك يسموه دسكريبشن روجيك حننركز احنا في محضورتنا عن ALC بعد ذلك حنوف نسمي ريزينيك سيرفيسيز مش نمترازم نتوز ريزينيك سيرفيسيز لدسكريبشن ريضينيك باتيريال كل اشيه مش من الكتاب كل اشيه بالصلاة وكل اشيه انا بحكي لانه وصلاة اشيها شغرها وانا بحكي كمان شغرها زائر هاي في كتاب هاي الليك علي انا بس من دي من خمد انصح خمسي لاربعاربي مقدمي اذا كتاب اسمه انتردكش دسكريبشن روجيك مقدمي صغيري بس طبعا طبعا من جزء من الاسلاليس انه هو من حد اسمه ان بيكو فرانكوري من اطالة بس معا تعدي لادف كتير جدا ومش كل الاسلاليس في هذا السكشين زي ما كنت لغو بس انا طبعا ما يكون سكشين 2.1 و2.3 هاي ريذين ماتيريا لنحنانا هالا وائي دسكريبشن روجيك كانت مشكلة نغاج رشوف كانت مشكلة الفيرس اوردر لوجيك البروزيشن للوجيك انه كان ضعيف مقدرش اقول عنه مقدرش اقول فيه اشيها كثير صعب فعشان اكون مور اكسبريسير فعملنا ايش يعملنا فيرس اوردر لوجيك ابكرا مش نحنش احنا اللي عملنا عظي اشي من مئات السنين فيرس اوردر لوجيك بالطبع ولكن هناك في مشكلة كل ريذين ماتير مثل اخطوها عن فيرس اوردر لوجيك كلها كانت مش كومبليد او سري مش مصبوة يعني انه قطيني ريذين ميكوط فيرس اوردر لوجيك ديسايدا شوانا ديسايدا باليان مصري شوانا ديسايدا باليان شوانا ديسايدا باليان مورا كم عمرها لا دواجك لا اذا فيه جواب رجالك نعم صحيح اذا فيه جواب كم رجالك يعني اذا فيه جواب بضمنش رجالك او اي رجالك بخضور فمن يعني بسمها The problem is far too complex او سيديسايدا بالاو او اندسايدا حلق فبتنا لوجيك اكون Decider ها شو يعني لوجيك وندسايدا انا دائما بضرب مثال الفرق بين اللي برموزيشينا اللوجيك والفيرس اوردر لوجيك كتب تحكولوا غاربا انت صح تعرفوا كواعد اللوعة العربية تقول تقدروا تعملوا برنامج اللي يعرف كل اي جميع اللوعة العربية لانوا الكواعد اللوعة العربية كثير جدا قتل محمد ونخالد ونخالد ونخالد يعني بتقدر تحكي الإشي بميت طريق بالتالي اي برنامج ليجن سوي حينكون تعقيدات وعاني جدا جدا جدا صبوة ليج انوا كواعد اللوعة العربية سنتك ستقال اللوعة العربية وهسع جدا بحيث انوا يمكنك تحكي الشغلي بأكثر من طريق بالتالي إذا عشان أنا أعمل برنامج يقدر يقدر يفهم جمال اللوعة العربية مش فقط انه أظل أطور برنامج أنا ممكن يساوي شديد ترشوا الفكرة أنا بديش اسمح في كل كواعد اللوعة العربية يعني بالدقاج أكول ممنوع يبدأ الفعل ممنوع يبدأ قتل محمد خالد لازم يبدأ ومش خالد قتل محمد حديت من الخواعد خففت خففت من الخواعد طليت خفف من الخواعد خفف من الخواعد لحين ما عميت برنامج بقدر يعمل بارسي لكل جمال كيف الحال بس مش عملي كثير مش عملي كثير أنا طبعا هنا أنا بحكي مجازن كل هذا كلام مجازن الكلام بالحد لما حدتي لازلت وبرنامج يعمل بارسي لكل شيء لازلت بتقدر يتكولي كل المدكية بالخواعد جديد تسعو تسعو تسعو تسعو تسعو تسعو تسعو تسعو تسعو تسعو طعم ربوزو ن Qiao بسكبر هو من interpol مش كرة مش كلئش صبف درينا سنى فبالتالي نعملنا وكأن كواعد جديد مشتقى من كواعد فيرسورد اللوجيك طلعنا اللوجيك جديد بسيط شوفتي شوفت هل هذا اللوجيك الجديد إذا مورا كتبت فيه بطلع ديسايدا بي شو يعني ديسايدا بي يعني هل هم ينظر نعمر ريزنين وإحنا مرتاح بروح لكم يدرع عليك وما يجب النار شندي جديد وضحت الصورة عام هنل طلع فيه اشي ثاني انا اعرفها نسكريبشا شو اسمه شو يعني ديسكريبشا واصف اه تبليه بشهد ببوزيشن اكي معمول هذا اللوجيك عشان يوصف الدومان بمعنى وصف نسمى التيرمولوجيك وعلى هل هم ينشوف اخذنا محاضركش فالسفطين المهماء ديسكريبشا اللوجيك وواي ديسكريبشا اللوجيك انه اوليشي اقدر اعملت انا كواعد جديدي وسهلي بحيث انه انا اقدر اعمل ديسايدا بي ريزنين واحد اثنية عشان اعمل ديسكريبشا اكتب كموس اجيب كموس المحيط وكورشت على اكتب اكتب تاب اي كولك بطمش باشه عام زي الفرص اوردولوجيك هذا ممكن هلان فمن كول اتسكريبشا اللوجيك اتسايدا بي فراجنينت وفرص اوردولوجيك يعني فراجنينتوني ايه من الفرص اوردولوجيك شوفنا هاتي سايدا بي سمينا هاتي سكريبشا اللوجيك طبعا دهما لما فيه اللوجيك فيه ريزنين بروسيجرس ده الباسيك الباسيك كونسترقس بالفرص اوردولوجيك اشي هي بروسيشنز والباسيك كونسترقس بالفرص اوردولوجيك بريدوكيس واشيق بينهم مصبونا طبعا الباسيك كونسترقس بالفرص اوردولوجيك شي هي كونسترقس ورلايشنز فهل لما نشوف كونسترقس ولكن من هل يمكنك عمل كمبليكس كونسترقس هل هل تشوف جوم لي مكتوبي بالفرص اوردولوجيك من يكون يوم المدر كان يكون سبسر يكون هناك مخصص بينهم كان يكون هناك كونسترقس وهذا ما اوردولوجيك نعم بالفرص اوردولوجيك وناسك لمجهود اووو اول مرة ترى اذا ولكن كنت بكله ليس خطوة يتشبع السبس أول مرة أرى بشكل الآن يعني بدل ما نعمل هنا عملنا هنا في الهن كورا مع زوائر آه بس الديرجزس أول مرة ليس خطوة بها نكتب الديرجزس مع ريويشن على فكرة أو فوق مع ريويشن شو يعني الهيو من مرة هيا نجيب كل إيش في الدنيا في مرة البس البقرة فرس وبعدين من كل مرة كل هنة دور معبعة إنس من في مرة مجموعة كل هؤلاء مرة تقارطوا مع في الدنيا اللي عند هؤلاء هلاء اللي عند هؤلاء هلاء هاي عبكة ليش اللي من مرة صارت مرة هلاء إذا لما بكون إيش في مرة وعند هؤلاء قد يكون البس أو فرس بس إذا كنت هذا الولد بيبسهم معنى كو صارت أكير هاي هيو من مرة مهلا بالتارية شباب في عنا هون هاي تقرأ الدومين تبع الرلايش مش كل الرلايش يشيب إلها دومين أوريانج مش إلها دومين أوريانج منقول هذا شال إكسوال ويل مرات منقول إكس هذا شال ويل كيف منك رأي ان هالك تسمع شلو جيد منقول منحبت الشيكس بشحطري الدومين فيش دومين لا أبو مع أخر الدومين بيجيوون بس أي شيء الرلايش يشيب اسمها هالشال الرلايش صغابها فنتوا علي دعونا نشوف مثال أخر تيجيون أسيستان هو تعرفه هو مط اندرجراجويت يعني جبو لي كل مط اندرجراجويت منذ العالم شالة تصبط على الكمكيوتر يسمي اندرجراجويت بس كل ما جموعة الأندرجراجويت في العالم نستخدمه تيجيون أسيستان هو كل واحد مش اندرجراجويت هذا يسميه تيجيون أسيستان هذا طبعا مط اندرجراجويت لا بمعنى بشوهر خلط مجموعة تيجيون أندرجراجويت ومجموعة كي بروفسور وليون انتبع وليون انتبع ويطلق مجموعة تيجيون أسيستان فيش رجل فيش رجل كنسيسة الكلام بالثيرس اوردر لوزك كي نكذبوا فلوزك ويطلق مجموعة او بروفسور وليون نحن نشوفها بيطلق مجموعة ويطلق او بروفسور ويطلق ماذا فرقه؟ هذا فكرة هي جبلة نفسها لا هذا فرق لا الثاني هو إيكوال اليوم فكرة أخرى حسنا هل فيه عندنا أكثر من نوع ربوشي شنان كان أكثر من نوع يعني فكرة المنكولة كتابة مش إحنا كلها أجور العلماء وكانوا هاك الفيرس وارضا اللوجيك جيبوا منه مجموعة صغيري جيبوا منه مجموعة صغيري ورد بيصايدة بال فأجأ أكثر من حدا وعمل أكثر من اللوجيك وانا أخذ اسمه إف ال وهاي ال ربيرس أو اللوجيك ثاني اللوجيك ثاني اسمه ولوجيك ثاني اسمه وعلى فكرة تلقى بالنوع إشي جديد اسمه ولوجيك ثاني اسمه وفي علمك ومش بس هذا أكثر من كثار اللوجيك نسكرفش اللوجيك طبعا روح سموحها شوفوا فرق بينها هاتوا بس نشوف شوفوا فرق بينها هالأول ماترية سلتك سبعه في عندي تخيل وكونسب وعنده F وعنده من المرات المبول مثل عن C أو D F A أو هاي كونسب اختصار هاي كونسب بصول أو هاي كونسب يعني كونسب A إشي جال من انترسيكشن بين شهرك أو هاي كونسب على تكره هاي كونسب كله بهي رلايشن هونسب صح؟ بكل ارجع لكم مصبوط هاي رلايشن بس كل هن أنا باع بعملين كونسب وعنده كونسب شوفوا هي الأشياء اللي عندها أولاد والأولاد هذون ناس هي الأشياء لا أنا بحكيش عن الأولاد يعطوني هاي بكل يعطوني الجائنات الحيل اللي عندها أولاد أولاد ها ناس بجوني الأبوي والأمها صح؟ بكل هاي الاناث فبتطعم كونسب فبالتالي عندها for all R dot C C هاي بكل there exist R ها وهي عندي اشي ثاني بلوجيك ثاني اسمه A L C فرق بابي باسمح في باسمح في اشا وها أو باسمها هي الطوم وهي مجموعة كل اشي مش تروه هي مجموعة اللي فيها كل اشي ها كبس يا بالآخرة نشوف ها كمجموعة فيها كل العناصر اللي في الدوم كل الأوبجيك هاي مجموعة هي المجموعة اللي فيش فيها ولا أوبجيك في الدوم يعني نسميها بطوم نسميها بطوم هل بطوم موجدات هو لا هاي شي نتموحدة هون لا عفكرة كمان ها شون هلول عفكرة A L C و اللوجيك صغير بل باسمحه مور كسبريسيب جو يعني مور كسبريسيب نقدر ان عببر في أكثر من الف قل واضحة هلا خلعوا كم بس ها برضوا بالواقع العاملين فهذا كان نقرح لن نظرش الأهداف تعليمي المستعمل بواقع ها هذا الشيء او سترويك البرجل الجديد من اسمها سترويك I'm very popular logic فيه أكثر من هلول بس ميش very exuberance فهناك بوصة ولاحتى الديرار بوصة ل the third order logic سنكون فهمين بس ها هو كل ما زد كل اكسبريسيبدي كل ما زدنا الكومبليو ديشنال كومبليكسيدي تعرف شو معه هلك كل ما زدنا الاكسبريسيبدي لن نلجب كل ما سمحنا في عقوة التعبية كل ما قلت ايش كل ما قلت الكومبليكسيدي كل ما زدت الكومبليكسيدي الكومبليكسيدي كل ما زدنا الاكسبريسيبدي بتزيد الكومبليكسيدي تعرف الكومبليكسيدي يعني طريق حسابه ها ها هو الوجد جال اكومب رومال بين الثانتين شو بينما الديرار ها اكومبليكسيدي بيتهم يوصل اكثر لوجيك ممكن يكون دي سايدة بغدا النظار اكومبليكسيدي احنا ندرس في المحادرة في الكورس ها ندرس بس لياليس اكومبليكسيدي اكومبليكسيدي اكومبليكسيدي مكانا حالا كل المتواجدة في تصميمية اسمها رول اسمها عيار رول اسوشياريشي رول وريليشين وريليشين شبه وبردكي كل لن نفس المعلم بس رول اعتوي باوتر دائم احفيش شو له طاينرين اعفيش شو يعني باينرينبردكي في تصميمية في شترا ايبردككي وذلك يوجد اشياء الايرانيسي في هذه الوصوليات و لكن يوجد فوق فشكل في هذه الوصوليات فمن اسمها هلها القطوم هلها كومجلنين طبعا مع السماعاتكسة كل واحدة هلها الكونجاوشن، دسجاوشن الوانديرس القوانتفاير مع بيجي بس كبل الرول والاكستمشيون اللي كنت أفضل بزيام بيلز شو هاي التعنيه؟ ووما سبسط و بيرسوان تعميل شو تعميل؟ فيه عنا مجموعة كل الأشخاص ومجموعة كل الفمير التقاطر بينهم بارتنا الووما بيرا بيرا ديان تسدو تأبوهم هم؟ بيرسوان مجموعة كل طبعا فكرة يا علي شو تعرف بأب أو أم باللغة العربي شو هاي؟ إيش؟ ها وأي حدا عندول بس مش أي حدا بلاش إطلع يعني حسام فرس فا مجموعة كل الأشخاص تفكرة عماء وا عذكرك بكرة كيم ها ايش؟ بطي طب يعني مجموعة كل اوجيكسي اللي بالدومي يعني عرفك؟ اه إذا بحقك ها نضوط بيرسوان كيم بيرسوان باكرة كيم ها نزبها أبدا سبهاية الحالة خلير نشو بالمثال ثاني مرجع عليك شو تعرف مام شو تعريت مان يا مام مش شو ماذا كل شخس مش مش مش طنفة كيم ماذا وما لو عندك تعايد لو عندك تعريف مان انه بي كان حطيت مان بيسوان نط في بي نط بي صح بلأ نط بيرا ها يعني ورجيكش مالفرق دا النط بيرا شو يعني النط بيرا ناس اللي اش عنده من ولا طب كيف تقول ها يعني يعني طب بالبوتن مش ها تحكي اللي إزاهي يعني هارز جايل نط حدس ومان ابوتن يعني يعني يعني يعني يعني يعني يعني يعني يعني يعني يعني يعني يعني يعني يعني يعني يعني يعني يعني يعني يعني يعني يعني يعني يعني يعني الكونجانكشن الآن فهي انتر بريتج as intersection of sets of individuals وهي yawlion of sets of individuals وهي complement of sets of individuals على ذكره تضع انه اقول شو الفرق بيضه هاي هاي عالي مهنو واشاكر اضع دودش اضع دورش فهي اضع دورش و activating بضض الاتر انalley اذا يتر اذا يتر انا بضض محدة اجل اذا فهي to be to be first intersection of but و إذا و هاي نفسي اللي بنتمية و هاي بالثير there exists و تطلع عائليا على هاي شو جمت يا أبو سادي شجدين كنت بكم أنا مش جادي شجدين أنا بس جاي أعمل restriction لل first order logic طيب اللي انتربريتاشة شو أنا الانتربريتاشة شو أنا الانتربريتاشة حبزين السمان شو الانتربريتاشة من كول آي شو يعني آي عن انتو مين و عم نمسمي انتربريتاشة فامشة فامشة شو بسادي انتربريتاشة شو تفسير بكولك فسر اللي جملي هاي شو معنى انتو توخل هاي جملي بيد و بتكول شو الانتربريتاشة طبعها يعني توخل الدمية الواركة و بتوخل فامشة مقطع للأبر طبعها آي شو يعني عنا أولي شهد خلين كول إفري هاي الفامشة بوخل كل اندفيت جوال بالدومية بل جملي كل اندفيت جوال بالجملي طبعها و أين يعملها على أوبجيكت في الدومة صبوض على الدومة بعدها بوخل كل كونسر يعني باريب كل كونسر و بعملها بعلوية عن سبس عن سبس بوخل كل الرول يعني بيكون بيكون لسبس و بيش الكارتيج نبرودك طبع كل الأوبجيك للدومة في سنة للفيرسط اردارلوجيك بس بيكلمات جديدة مختلف لشو لايش يعني المفود الخندرسية لفيرسط اردارلوجيك صبوض فأن انتربرتاشيين فامكشين يجنى المجلو is an extension an extension function if and only if it satisfies the semantic definition of the language and now we will look at the next things good come back so there is something new that we should learn that we should not know in the first order logic or in the description logic in the description logic sorry in the propositional logic and in the first order logic we we we put i.e. نشين و نجبس كنان كل شيء ما وضع شو نونج بيس سيجما كنان المزل و وضع نونج بيس انترس سيجما مش ذكريا انترس ألف بس نعرف نونج بيس في the description logic تذكير من جزئة يعني تخلق وضع تعلموا مع شيء نونج بيس نونج بيس نفس ذيش بس تذكير مكاسم وحد ينسميها كيبوكس وحد ينسميها كيبوكس شو فيه كيبوكس أكلكم باحتسائر زي زي ريليشنل داتا بيس مش كاسمين ريليشنل داتا بيس سكيمة لحاة الداتة لحاة بس بو بينما بال باللوجيك اللي تعلمنا قديمة كل ما بعضوا الداتة و وليسكيمة اللي اتجازت تابنية خطبا فيش يسكيمة يمينا اسمهاش يسكيمة الأكسيونس مع الأزيرشنز اللي هم يعني من كول بلسطينيا نعلم الدعم حيفة هذول فيه وكأنه داتا مسبوى حلو هذول من حبطهم في التيبوكس و هذول من حبطهم بالأيبوكس يعني هل ترشو ماذا رشو ممكن يكون في داخل الايبوكس التيبوكس شو فيه ذاك التيبوكس طبعا التيخ تيخ تصالتين من اللجيك شو شو اللي هبي فاضر شو تعلم اللي هبي فاضر يعني يعني هو تسعيد ها بالعكس بالإلفان كل ألمان كبير مجرد أسبوع فيه داتا مو فيه أزيرشنز نسمي هج داتا فيه أزيرشنز شو فيه كلب الايبوكس من كول جوان هبي فاضر جوان هبي فاضر من كول جوان وماري أو جوان هز شالد ماري مثلا ايش ده ايش شو بريديكس بريديكس بريديكس بريديكس آه أكي بس لبريديكس هاينا ما فيه شي فالي بس فيه كيل أتمك أو بريديكس يعني في معنى داتا يا عبد الحنز بس هم من حطش وكأنو داتا منكسم هن ما واضحا عا بيكرة ليش يسموه تي بوكس لانو افتسالة تيرمنونجي كالبوكس طب ليش يسموه تيرمنونجي كالبوكس إذا بطلق دي شغل يا نورا انو انو وكأنو هون كل ايش بحطو وكو شو تعريه في الانفان شو تعريه كل هبي فاضر شو تعريه كد وكأنو ههو هاضر اللوجيك معمول عشان شو وصفة عشان يعرف اتعريف وصفة مش عشان يحكي اشعام زي تيرس واضح اللوجيك شوفت الميزة التانية بان هم ها ها ها ها ها هذور مع بعض اصدن كده اكتب هذور هذور اكتبوكس تان شو تعريه تستويدان يا عليهم و بيرس هو مجموعة الى البرسون ي Dus' انتر سكشن مع كل بس to كل نشt وكل بس to انتر سكشن مع كل بس to كل نشt انتر سكشن مع كل发 طبuta شو تعريه التسديودة وهو انتر سكشن with هناك تقديم التقديم وكل أدريس طبعاً أرانج آيست ريفلس وكل إشيء له إنهولت على خلفه كبير هم شو تعريف تيس كورس أو شيهة شو همي الأشياء وكي أن يدكول شو الدومين لا تيس كورس شو اللي بنتدر يعمل تيس كورس همي الأشياء اللي نش اندريجراء انترسكشي النق مجموعة كل اللي بروفيسرس شفت كي بنتره هم هل ليجي لأ لأي بوبس شو ممكن كول لأي بوبس نمو كول عاني زا ستودا خلص هفجرة ما نتعالي بنتره لكلها انرول فعاني انرول في كورس هاي لازم تتكول هلأ آه بقدر أكول ستودا أرو بروفيسر وعمل انسانسي اشي يعني هان شو معنى ها ديما هي ستودا أو بقدر شعر كم شو الثمان تيكس أو شو معنى هاي الجملي في حاجة أو أمان حاجات بداية محاظرة انها سبسة مصبوة هلأ شو معنى هاي الجملي النسي اللي نسميها سبسة من دي إيه ومعنى هبل فرس باردولوجي إلى دي انو أو بالواقع بالسبانتكس انو انتربروتيشن تبع سيه سبسة ان انتربرتيشن تبع دي وهاي نرساليشن طيب هاي تفرور هاي كم مضى يعني أنا عالت الكبار بس انت اكرى هاي ها ها ها ها انتربرتيشن الآن ها تساوي الدمان ويفونشن وشي ستو بي أمودي انتربرتيشن وعطرو انتربرتيشن هو موديل للنولج بيس لان كنت أعرف شو موديل إيه إيه every action في النولج بيس is satisfied by the interpretation وبالتالي من قول النولج بيس is set to be satisfiable شعالي satisfiable لما كوني النولج بيس satisfiable يعني إيه إيه إيه إيه أموديل there exist one more there exist at least one more تا بس عشان أقول لكم إنه هاي نولج بيس هو مع بالضب نين هذو هل النولج بيس entails إنه رامي is a professor نفس إيه ليش يمكن أسأل سؤال هل النولج بيس هاي entails إنه رامي or رامي مش بروفيس في انتعلي بس هاي تفحصوا بعد وصلنا خلاص طا إذا بدكم إيه هل لابدنا نجع على إشي جديد على إشي من سامني الريزينين هناك زمن الريزينين ومن سامني الريزينين شو الفرق بينه هناك الريزينين ريزينين ريزينين صعب وانا الريزينين مش مهم أنا أقول ريزين بس بس لو جينا كل كالتاني أمان عملك برنامج منعطيها تي بوكس والكي بوكس بدن نسأل اس يعني منعطيها الريزينين بدن نسأل اس شي الأسئل اللي ممكن لا شي الأسئل اللي ممكن تسمحيننا بها هذولي نسميها ريزينين بنعم أول إيشي كونسب تسمحين نسأل هالريزين ريزين هالار كونسب تسألين سمحيننا سؤال هالكونسب عملك كونسب مش شرطة سكسكيودل ممكنك سكسكيودل آم ما بياخر ما بعض بدن سألين هل هي سكسفاية بالولا لا لازل تقدر الجاوبين شو يعني اللي هتطبني هاي كونسب وكي أنك ده قول الكونسب عشان الجاوبيني عشان الجاوبيني نكترو هتتبتي إنه هار الكونسب إنه اللي جميز بس ما تنتهي هاي سي تهتيكويل بوتر شو يعني شو يعني أيها يعني أيها يعني أيها يعني أنا عشان تتبتي إنه الكونسب ستسربي كونسب بس ما تنتهي إنه الكونسب فاض ده أرد ده أعطيكي هال بستيودة سرسيوم عفكرة هاي من كل بار تكون كومبليكس وهاي كومبليكس بس هاي هالك الان شو تقولي ده وكأنه هم تكول هاي ذي بتي إنه نورج بيز امتاز إنه سي سبسط ماندي طيب بس عالكسرائر هل كل هاي نورج بيز هاي بس فاض سيجما كل نورج بيز بيضوشي هاي با تطبق هاي با تطبق عفكرة هاي بيز تطبق كل شيء بيز وبعدها إذا الكيتي واحد من هاي واحد أي شيء في النورج بيز إيرو موديل أي شيء في النورج بيز إيرو موديل معنى تكون سيجما هاي نورج بيز ستسفاية انتبه مليح بكافة واحد في النورج بيز يكون ستسفاية بيز عشان تقول كل نورج بيز ستسفاية بيز بس إذا بحثيك جوب ني تفحص الجوب شو تخليب سؤال شو تخليب شو سؤال هاهه مهمة نسمحتي شو أنا عال وانا مخصوص جدا يلا أخفظilla في الصصة أخفظilla في الصصة صنعيون شو بتكليب هاي عنها و هاي منذ تحدثل من المشبهة وبالتحدث بيز وجموتين فتفات في الذيز وبيل هاي هاي كل النورج بيز هاي كل نولج بيس و هاي أعضير أنا كونسيب واحد كونسيب واحد أو جملي يعني كطع عصفه تعمل مع أن تطع عليك كونسيب كيف عصفه كل برأة راح أعمل شي أو راح أثبت أن نولج بيس يجب أن تكون كونسيب هو فضل أساوي هال شو بساوي حنزين و أيضا أمسك وحدي وحدي يكلب النولج بيس و حصل باستعمالها و بقدر أعمل أشي بيسمي instance checking هل جونيسة بروفسور ايسيب في النولج بيس هل النولج بيس انه ايسيب يعطيني كل اي شعر اي شعر هال بقول النولج بيس كسيب بيسم هك مرجع لكل ايسيب كل بروفسور كل سيب ريكسيب بعطيني اي و بقول الشو نوع ست ريزي من سيب بيسم على بجرى اللذي قوله نفسها كل هل برجع هالعام نعرفه افضل هاي شو بيساول فيها ايسيب بتقول صحيح if there exists x such that النولج بيس تحار cx هذا مودي x هو يعني معناته في موديل واحد بسيب يعني معناته في cx ستسفيل سبسمشن عشان افضل سؤال تلتان هل c سبسيومز دي في النولج بيسم عشان بتقضى نولج بيسم تحار في نولج بيسم تطاطع بيسم فرجع مع السبسيومز ستسفيل وهي الانستانسيكن اذا بتدفهم ان بتقول انستانسيكن بس هل ديما يسبب بيسم في النولج بيسم هاي شو بيسية كأنه بتدفح حاص هل النولج بيسم تحار بروفسور ديما برجع كل برجع المشكلة مشكلة ستس فرجعت المشكلة شوفتوكية تان هل نيجي لها بالنسبة بس دواجيكم شرالي زيادة مصبوة بمضيف عليها و هلنا نشوف امدي اشي بيسمي الكارديناليت و النينوريشي بقدرها كول شو تعريف البزيو منها و عنها اكثر من ثلاث اكثر من ثلاث هلنا اكثر من ثلاث كيف بزران بقيتش عليها كول هلنا كيف بقدرها حطها بس هاي تتيش مع فاقول هاي بس مع داريك زيزن بحوا و شو تعريف بيكون شانس و معا اكثر من خمسة اكثر من خمسة لحن انه احنا كن استعمل كمشوي هاي هاي شو كم عنها نفسه شوفت علي ها تشوف ندعى ازا و من و جو من ازا سو ازا كارل ازا ازا كمشا سوما ازا اعطى انا شو داريك موار روزا بحطك مانج بيس انا بس داريك مات كيف تسأل سؤال كيف تسأل سؤال فورمالي تارفو يعني اكلكم اجبلكم المتحام اعطيكم شغلي و اكتبوا السؤال تارفو او اجبلكم السؤال تارفو او اجبلكم روزا بحطك هلا تارفو في بعض الرلايشنز هي فانمشي اذا كان رلايشن هاي رلايشن بتويلت تكون فانمشي اذا كان وائي بتساوي اف of اكس اف of اكس اف of اكس ده ده شكلي كنسب يعني بيش بيردش في ماك نلت probably شو الويج day어가 على التجمع و على الإندشر و want the heaven شو الويج day سوري، انتربتج، انتعي لي في هذا الموضوع ومن انتربتج؟ كيف انتربتج؟ وين انتربتج؟ بقى، شو ستيزين؟ شو تعليف سيزين؟ هو بيرسون؟ و... بيرسون بيرسون في بلد بس بيرسينيا؟ بيرسون في بلد ورحمة ورحمة ورحمة ورحمة ولو لفس فلسطانس어� سيجب ان you only put Lipsn You can ولو لفس and you can put Lipsn and you can open this case and put Instances هل هل تعتبرتم؟ هل ترلتم؟ انتون المرحلة الاسهل من العكدات وسهل كثير ومورب راككم هل تلك؟ في سؤال ديجي طب هل يعجتها في برامج أعطيها الدسكريبسي اللوجيك و أسألها أسئلة كبير ما أسأل هذه السؤال هل فيه إشي هيك للفيرس والتلوجيك؟ شو؟ روضي okay بس okay لتقدر تقدر روضي طب بالدسكريبسي اللوجيك؟ أكيد من الأشهر إشي أقل بك إشي بيسمي ريزة هل لها بكة؟ جامعة الماني و هل صار بروضكت؟ بروضكت صار بروضكت إسمو ريزة و فيه كمان في هيرنب فهل ابتز هيرنب فهي يفق بلاس بلاس ويبيل بيل بيت الناس كي ما ناس بتحبه رائعه بيل بيت مش إشي مش برامج بتنزله و أجافة لأبراس بس بس هدول زي تحكو دعملوا دونلو دورامج كانجن فيه وفر ريزينيك سيربسيز و تقدروا تقط فيهم على يهرش كما أكثر من الورج بيس عاملوا معهم و لما تستعملهم بذيز زي تحكيوا دي رانون دي باكك رامض هل عشان أعطيهم الدعتة بقدر هاي ما بقدر هاي مش لغة برامج هاي لو قلت لجيك مزقوه تركي دقيهم دكتب هالطريقة دعمل يعني إشارات زي هيك هات الأنجا إشارات زي هيك هاي موجوهي بالكيبورد هاي ما عشان بساوي الله بذيها دول مش موجوه ده فنكتب هاي بطريقة XMN بس نفس المعنى ولا إيش هي يا شو هاي معنى يا أم بلايز أم بلايز كونسير كونسير أتون نايم ستو دان و كونسير تأتون نايم برسون ليها سنتكس صغير يعني إيش يتعبون بالكسير تحطوا لأي واحد حافتوا ها بس سنتكس سمو داك ها بس سنتكس مالو سمو داك كل إن بفهم ان داك تأتي ان داك تسأل سؤال دا باك نايم هلاء هاي بس وبساوي التبع داك يعني لأل مرضي تايل أنا مطمش منهم داك لانه تطلع إيش جديد اسمه أول اسمه أول أول هو رب لأنطولوجيا تطلع تسأل لنطولوجيا دي فنشينز مكتوبي ويهرش دي فنشينز مكتوبي في تسكب شلوجيك انت بأثبت انت بدي دا تعمل من عندك هالا بطبشو انكم مت داك بس بشن اخوك بيا اجرا انتراشتا يجننك تاريك شو داك اولا المبالا اكبك بك منكم شلوجي ها تنشون هاي تُودي إلى ريزة كله نوليج بيس رجع لك رسبونس رسبونس لما رجع لك يام رجع لك ايش هاين وكأنه نوليج بيس وكأنه من هون لها اس من نوليج بيس اللي هو بنا لك يام كله ابنيلي لنوليج بيس رجع لك بنيت لك النوليج بيس واسم هكذا تستعمل اسم ها عشان تشتين الابدكية فدائما في اشي تنكسم الأسئلة الشغل الابدية لنوعين يا انا انا انا انا انا انا انا انا انا انا انا انا انا انا انا انا يا انا انا انا انا انا انا انا انا انا انا انا انا انا انا انا انا انا انا انا انا انا انا انا انا انا انا انا انا انا مختلف إسموه نايم إسموه لدرب إكول سيند إكول إيش كونسب إسموه لدرب آن هو شخص صم ها يسمى صم صم دريفs ها يقلق الرول نايم وهي كونسب تايته فيه ها يكتب والعرفة ها يقلق الرول نايم وهي كونسب تايته فيه هاي كتب وعلى فكرة هاي فيه أكثر من شغلي يعني التل كأوامر التل ده هاي فأنتم ده بس انت بنيت النولج بيس عم ده هلأ شبكتك عن التل ودعتك مسج ده يعني المسج مكتوبه هاي المسج على فكرة بكتب في كلبه هاي نولج بيس بكل التل خذب حبت دي كلب النولج بيس المعلومات التالية حطيت اللي هاي هلأ تقولوا ان التل فيه أكثر من كمان عليه فيه أكثر من كمان للتل لانه مان وفيه على أس بدأس بيت بيس انتيلز فيكل يعني هل الفيكل السرسفاية بالكونسيا بس كيف بقول أس انه نتبيس هاي ها وحطيت أنا اللي بدية وبدأس أكثر من سؤال بنافس المسج اي او اعطيني كل اعطيني كل درائبات يعني كل درائبات اعطيني كل درائبات بس هالها بطريقة هاي اعطيني كل درائبات فهذا السؤال التبعي كتبتهم باللوجي مزموه ومترجمين الجواب اسؤال السؤال التعليف جونيسن او شو نو جونيسن هاي كل الكومانس طبعا شفتو ها مطلوب منكم تفهموها مش كفكران مش كاس فلسن تاكس اللي بجزر حالك سؤال معلش بالدي منكم خمسة دقائق جزر حالك سؤال وورا ليش كله هاكس شو بيدنا في اللوجي شو بيدنا في اللوجي لا ليش لن نلوك هالنا فيديو رجيفكم عابقا شو طاعتو تبا المحاضرة بيسكريمشن اللوجيك جوني بيسنس رولز هالي رجي هاللا حذك فاجبو انه ليش بيدنا يا وليش بيدنا وعطيكم متأمثلي كيف يستعموا بيسكريمشن اللوجيك رسمي ايه عالي سوت ايك ما سمعتش كيكشن كاميرا كلاس دايجرا كلاس دايجرا طب عموكم فكرتوا انهم بنعملوا اقلاط منطقية فيه طبعا نحن نحكيش على اجزام بززجير عندما نتعمل اشي كبير ممكن ان تعمل اقلاط منطقية فيه وانا لا وانا اقلاط منطقية وانا ما اعلم لشير خذا اقل كل سكيودا هو بيرسو كل بي اك تي وهو الانتراسيكشون او ان απο غدار انتظر ك issued حطRIGRA صح فaring هل يجب أن تسألوه؟ هل النورج بيساديس فايبير؟ هل الكلسر ديسلاني ساديس فايبير؟ هل هاي إبلايز هاي؟ يعني من يجب أن يعرف أنه هاي الخارب في شيء داعي؟ من هون؟ نعم في شيء داعي؟ حلقص مامو هاي جاي هور؟ بصبوط؟ فيش داعي حطور؟ وذلك كمان هاي ديس جور؟ ماذا؟ دا من أمريكي؟ هذا المثال؟ يلا يعني ونصف شو؟ أوليش ينعمله ماهب عنه نجميس كل سوبار بايزر هو أو تعليف السوبار بايزر شو هو هو الإشي اللي سوبار بايزر إمبلوي بس عنده بالضبط كدهش إمبلوي كدهش إمبلويه؟ نعم شو تعليف إمبلويه؟ هو صبطة من السوبار بايزر فيه رلاط مهم؟ كده تسير؟ شو تعليف السوبار بايزر؟ شو تعليف المشرف؟ كل واقعا بشرف بالضبط على كدهش إمبلويه؟ مين؟ كل إمبلويه هو سوبار بايزر كده تسير كمان كل إمبلويه هو سوبار بايزر لوك؟ لوك؟ لوك؟ كمان قول إمبلايزر ده كلاس إمبلويه؟ وان سوبار بايزر نسيسر لكونتين and infinite number of instances سنس ليكل ووووه دسكريبشين are finite مهم اقدرش فيششه مهم فيه ووووووووه ستسفين لكونتين and post by the conceptual schema نسكيمة ايس نسمنيها inconvista كيف ممكن في اليوم إلتحني هل زهبوا لأيها المهم؟ شو تمور؟ هل هذا المثال؟ هل يقرأ؟ اي عرض يقرأ؟ وهالتا؟ وعاراً؟ من الان؟ إلتبسه و كل ما تكتبو يوم إلا يغراء وكل ما تكتبو إي أسفبت اليوم يتساعدكم ماذا تفعل؟ هذا أعطة هو طلعوا عليمكم المدكية أن نفسك نفسك انت بسلل الشمعة فيش لغة فجد هذا لانه هذا عواق أو طبعا لكي زلع لهي أو موسيقى على الهواء أو فيها ما هو هاي شو لما طب مانجر هو مانجر او اي بلوين اسوأي لما طب مانجر هو كمان هو اي بلوين اسرق اسرق هاي انت بصميح فاني لا ابسقي هل هال مازال يطلب المنزل والذي يتكول for a project. فكذا يطلب مزل. وكذلك يطلب المزل المنزل. وكذلك يطلب المزل المنزل. حسنا, خلينا. ما يخطبناه؟ هذا يجب أن يطلب المزل. كما يجب أن يجلب من now, يضرب الانفاول المنزل. حتى تكون أمثلاً أمثلاً من هذه الأمثلة أنت now تدرسوهم دربوا حالكم قبل ما تشاهد هذه تحاول تكتبها بدسكريبشن لو جيب وقبل ما تشاهد كذلك كل الأمثلة التي تحاول تكتبها بدسكريبشن لو جيب وتبحث هل فيها كوندر ديكشن أو فيها يعني أنسات السيابلتز أو إمليكيشن تخيلوا بس هذا سؤال حمزي تخيل حمزي لو أنا متأتيك هل مشاكوك تخبرت تسموني ليك عارشو تباست تستعمل شؤونو برنامج تفتعمل اليوم الإيدرو والإيقع الإيدرو جميل لو أنا دخلين تتعمل تخيل الإيدرو تخيل خلي الناس ترسم يوب إيقع ودروح جيب ريزة خلطوا بالباكدرام تحاول رسمات الناس من رسمات إيقع وهاتروح دوديها عرزة تسألو تروح تروح جيبا وتعلموا الخلق عندما أماني ترسم تقول إيقع أو طلع إشحية مرورة ليش هاي هالا ليش هاي صح ليش هاي كذا طلعا لدينا كنمشو عناتو نخلل كل الناس ترسموا صح هالا هاذا ليش مش موجودة حتى إيقع الإيدرو لانو هضا علمش كمش قديل هضا علمش جديد جدا كمان إشتتان إشحية جوار مش عندها بيزنس رولس أو رطانية وشفت تسأل كل مثلا طلعاشوا كل وكل كستمار يتصل ساعة من 2 إلى 4 صباح ويتصل على الدولة اللي فلالية ويكون عنده كابت ويكون عارف كده وكده وكده اعطي كده فعديه لما الكستمار ضدات يساوي كده ويضعه بعمل كده يساوي كده وكده اوووووو كده يساوي عنده هلاف هلا فكركم بغلطوش فيهم كده يحطه بعض الروولس مش شبه بس تبكى امبلائنج ايش اده ايه كنترديكتنج ايش اده ممكن تكون امبلائنج ايش اده ايش أنا امبلائنج ايش اده يعني زيني بقول كل واحد دابس جكاية تسوى دي اطلع برنام كل واحد دابس جكاية يطلع برنام اني امبلائنج ايش اني لازم احذفها لازم جكاية تسوى لازم او زي اكور كل واحد دابس جكاية ابيض او جكاية ازراد بعدين كل واحد دابس جكاية اسواد تكاك بدعمل متاحة كده دي من التركار فتخيلوا انك اعملت مابين لكل الروولس لا في دستروبش الوديكو سأل تريزار شو بسير انه نقدر نعرف انك ترديكشن اللي يبسرني هانا بادس في السستم مجال ونقدر نعرف انبليكيشن الانبليكيشن لازم اردت وطبكوا لازم انبليكيشن اذا ضلت الانبليكيشن بسير السستم عالو بطي بسرور فيش اللي داعي فيش ايرو داعي كيف يعمل فيش اللي داعي ليش اكور كل واحد دابس جكاية تسوى دي اطلع برنام من يكور كل واحد دابس جكاية تطلع برنام فيش شلو داعي عشان نفذو بكل وقت مظموه ففيش شلو داعي هل انا خلص المحاضر تانا انا وبقى من انكم استبتعتوا استبتعتوا من الديس بيبسرنوجيك بديش ولا ايش منكم لشاوز بيبسرنوجيك لا تالا دا سأل عليك بكل فكي كثير بطيب اللي يعمل دايجرم في سبعة ثماني كلاسس ترسوهم وبعدها اشوان موين بكل فكي بيسير بس ما يطلعش نفسكم انا نفسكم بيبسرنوجيك ممتازل دا انا دا بجيب المشروع التخرج انا ابا حب احسن جيب المشروع التخرج عشان تروح دا راجع المشروع التخرج دا باك بعد هاي المحاضر بجيب بجيب يومن اويق اوه عشرة كلاسس تهوط تكتب اللي يعمل بيبسرنوجيك بديش منك بديهم عايز بس كتب اللي يعمل وحبطي عم دا اشي في امبلكاسي وشي بيكود ردجش بديد علي امبلكاسي وكود ردجش ويسرتف وتيلي سو على زيها اسألليك 3 اربع اسن زي الجب where i'm the ss هل كدا جهها هاي زان جهها بس هاي اصادي منتها هاي أسعين أنت يعني صراحة خلينا بعمل هبوة ناس على أعلى ما أعرفكم و وتكمل لك ماشي؟ تيكم العافة