stanford-oval/wikipedia huggingface dataset:
نساء مذكورات في القرآن
خديجة (ذكرت بزوجه سيدنا محمد صـ الاولى) > حفصة

المقالة الرئيسة: حفصة
حفصة أم المؤمنين، ورد ذكرها رضي الله عنها في الستة الآيات التالية:
قال تعالى: ﴿يَا أَيُّهَا النَّبِيُّ لِمَ تُحَرِّمُ مَا أَحَلَّ اللَّهُ لَكَ تَبْتَغِي مَرْضَاةَ أَزْوَاجِكَ وَاللَّهُ غَفُورٌ رَحِيمٌ ۝١ قَدْ فَرَضَ اللَّهُ لَكُمْ تَحِلَّةَ أَيْمَانِكُمْ وَاللَّهُ مَوْلَاكُمْ وَهُوَ الْعَلِيمُ الْحَكِيمُ ۝٢ وَإِذْ أَسَرَّ النَّبِيُّ إِلَى بَعْضِ أَزْوَاجِهِ حَدِيثًا فَلَمَّا نَبَّأَتْ بِهِ وَأَظْهَرَهُ اللَّهُ عَلَيْهِ عَرَّفَ بَعْضَهُ وَأَعْرَضَ عَنْ بَعْضٍ فَلَمَّا نَبَّأَهَا بِهِ قَالَتْ مَنْ أَنْبَأَكَ هَذَا قَالَ نَبَّأَنِيَ الْعَلِيمُ الْخَبِيرُ ۝٣ إِنْ تَتُوبَا إِلَى اللَّهِ فَقَدْ صَغَتْ قُلُوبُكُمَا وَإِنْ تَظَاهَرَا عَلَيْهِ فَإِنَّ اللَّهَ هُوَ مَوْلَاهُ وَجِبْرِيلُ وَصَالِحُ الْمُؤْمِنِينَ وَالْمَلَائِكَةُ بَعْدَ ذَلِكَ ظَهِيرٌ ۝٤ عَسَى رَبُّهُ إِنْ طَلَّقَكُنَّ أَنْ يُبْدِلَهُ أَزْوَاجًا خَيْرًا مِنْكُنَّ مُسْلِمَاتٍ مُؤْمِنَاتٍ قَانِتَاتٍ تَائِبَاتٍ عَابِدَاتٍ سَائِحَاتٍ ثَيِّبَاتٍ وَأَبْكَارًا ۝٥﴾
قال تعالى: ﴿يَا أَيُّهَا النَّبِيُّ إِذَا طَلَّقْتُمُ النِّسَاءَ فَطَلِّقُوهُنَّ لِعِدَّتِهِنَّ وَأَحْصُوا الْعِدَّةَ وَاتَّقُوا اللَّهَ رَبَّكُمْ لَا تُخْرِجُوهُنَّ مِنْ بُيُوتِهِنَّ وَلَا يَخْرُجْنَ إِلَّا أَنْ يَأْتِينَ بِفَاحِشَةٍ مُبَيِّنَةٍ وَتِلْكَ حُدُودُ اللَّهِ وَمَنْ يَتَعَدَّ حُدُودَ اللَّهِ فَقَدْ ظَلَمَ نَفْسَهُ لَا تَدْرِي لَعَلَّ اللَّهَ يُحْدِثُ بَعْدَ ذَلِكَ أَمْرًا ۝١﴾
خديجة (ذكرت بزوجه سيدنا محمد صـ الاولى) > أم حبيبة

المقالة الرئيسة: أم حبيبة
أم حبيبة أم المؤمنين أرسل المصطفى النبي محمد إلى النجاشي يخطبها، فأوكلت عنها خالد بن سعيد بن العاص وأصدقها النجاشي أربع مائة دينار وأولم لها وليمة فاخرة وجهزها وأرسلها إلى المدينة مع شرحبيل بن حسنة.
تزوجت الرسول محمد سنة 7 هـ، وكان عمرها يومئذٍ 36 سنة، وذكر في شأنها القرآن: ﴿عَسَى اللَّهُ أَنْ يَجْعَلَ بَيْنَكُمْ وَبَيْنَ الَّذِينَ عَادَيْتُمْ مِنْهُمْ مَوَدَّةً وَاللَّهُ قَدِيرٌ وَاللَّهُ غَفُورٌ رَحِيمٌ ۝٧﴾ (سورة الممتحنة، الآية 7).
خولة بنت ثعلبة

المقالة الرئيسة: خولة بنت ثعلبة
خولة بنت ثعلبة  هي الصحابية التي اشتكت أمر زوجها أوس بن الصامت  إلى النبي محمد ﷺ ونزل بشأنها أوائل سورة المجادلة.
تقول عائشة  " تبارك الذي وسع سمعه كل شيء، إني لأسمع كلام خولة بنت ثعلبة ويخفى على بعضه، وهي تشتكي زوجها إلى رسول الله - صلى الله عليه وسلم - وهي تقول: يا رسول الله أكل شبابي ونثرت له بطني، حتى إذا كبرت سني وانقطع ولدي ظاهر مني. اللهم إني أشكو إليك.. فما برحت حتى نزل جبرائيل بهؤلاء الآيات: ﴿قَدْ سَمِعَ اللَّهُ قَوْلَ الَّتِي تُجَادِلُكَ فِي زَوْجِهَا وَتَشْتَكِي إِلَى اللَّهِ وَاللَّهُ يَسْمَعُ تَحَاوُرَكُمَا إِنَّ اللَّهَ سَمِيعٌ بَصِيرٌ ۝١﴾.
ناقضة الغزل

المقالة الرئيسة: ريطة بنت عمرو(ناقضة الغزل)
(ناقضة الغزل) هي ريطة بنت عمرو بن سعد بن زيد، ورد ذكرها في قوله تعالى: ﴿وَلَا تَكُونُوا كَالَّتِي نَقَضَتْ غَزْلَهَا مِنْ بَعْدِ قُوَّةٍ أَنْكَاثًا تَتَّخِذُونَ أَيْمَانَكُمْ دَخَلًا بَيْنَكُمْ أَنْ تَكُونَ أُمَّةٌ هِيَ أَرْبَى مِنْ أُمَّةٍ إِنَّمَا يَبْلُوكُمُ اللَّهُ بِهِ وَلَيُبَيِّنَنَّ لَكُمْ يَوْمَ الْقِيَامَةِ مَا كُنْتُمْ فِيهِ تَخْتَلِفُونَ ۝٩٢﴾ (سورة النحل، الآية 92).
وكانت خرقاء تغزل هي وجواريها من الغداة إلى نصف النهار، ثم تأمرهن فينقضن جميعاً ما غزلن، فكان هذا دأبها لاتكف عن الغَزل، ولاتبقي ما غزلت.
زوجة أبي لهب

المقالة الرئيسة: أم جميل
أم جميل بنت حرب بن أمية، حمّآلة الحطب، زوجة أبي لهب بن عبد المطلب، ﴿وَامْرَأَتُهُ حَمَّالَةَ الْحَطَبِ ۝٤﴾ (سورة المسد، الآيتين 4). غضبت عندما نزلت سورة المسد وازداد كرهها لرسول الله رغم أن ولديها عتبة وعتيبة تزوجا بنتي الرسول وهما أم كلثوم ورقية اللتان تزوجهما عثمان بن عفان تباعا بعدهما.
ذكرت في القرأن الكريم في سورة المسد بوصفها امرأة أبي لهب ولم يذكرها باسمها صراحة فقال عز وجل: ﴿وَامْرَأَتُهُ حَمَّالَةَ الْحَطَبِ ۝٤ فِي جِيدِهَا حَبْلٌ مِنْ مَسَدٍ ۝٥﴾ (سورة المسد، الآيتين 4-5). من نار. وأخرج ابن جرير والبيهقي في الدلائل وابن عساكر عن ابن عباس في قوله: ﴿وَامْرَأَتُهُ حَمَّالَةَ الْحَطَبِ ۝٤﴾ (سورة المسد، الآيتين 4). قال: كانت تحمل الشوك فتطرحه على طريق النبي ليعقره وأصحابه.
فقد كانت تحمل الشوك، فتضعه في طريق النبي صلى الله عليه وسلم، وزوجها أبو لهب: عبد العزى، كني بذلك لتلهّب وجنتيه وإشراقهما، أو في النار مناسبة لحاله فيه والنساء منهم من ذكر اسمها بشكل صريح أو ضمني..
انظر أيضاً

قائمة:أسماء ورد ذكرها في القرآن
المرأة في الإسلام
المرأة في القرآن
المراة والافتاء
دوري أبطال أوروبا 2000–01

| 0 | 1 |
| --- | --- |
ملعب سان سيرو، الملعب الذي استضاف النهائي.: ملعب سان سيرو، الملعب الذي استضاف النهائي.
تفاصيل المسابقة: تفاصيل المسابقة
التواريخ: 12 يوليو – 9 سبتمبر 2000 (الأدوار التمهيدية)  12 سبتمبر 2000 – 23 مايو 2001 (دور المجموعات وخروج مغلوب)
الفرق: 32 (دور المجموعات) 72 (المجموع)
المراكز النهائية: المراكز النهائية
البطل:  بايرن ميونيخ
الوصيف:  فالنسيا
إحصائيات المسابقة: إحصائيات المسابقة
المباريات الملعوبة: 237
الأهداف المسجلة: 662 (2٫79 لكل مباراة)
أفضل هداف:  راؤول غونزاليس (7 أهداف)
→ 1999–2000 2001–02 ← : → 1999–2000 2001–02 ← 
دوري أبطال أوروبا 2000–2001 هو الموسم السادس والأربعون من بطولة دوري أبطال أوروبا والموسم التاسع في نظامها الحديث. فاز بهذه النسخة نادي بايرن ميونخ الألماني على فالنسيا الإسباني بركلات الجزاء الترجيحية بعد انتهاء الوقتين الاصلي والإضافي بالتعادل بنتيجة 1-1. ليفوز النادي الألماني بلقبه الرابع في تاريخه في النهائي الذي أقيم على ملعب سان سيرو في ميلانو في إيطاليا.
الأدوار التمهيدية > الدور التمهيدي الأول

| الفريق الأول | إجم>  | الفريق الثاني | مباراة الذهاب | مباراة الإياب |
| --- | --- | --- | --- | --- |
| بيركيركارا  | 2–6 |  ناتدبيرنوفيلاغ ريكيافيكور | 1–2 | 1–4 |
| إف.91 دوديلانغ  | 0–6 |  ليفسكي صوفيا | 0–4 | 0–2 |
| هكا  | 2–2 (ق.خ.د) |  لينفيلد | 1–0 | 1–2 |
| كلاكسفيك  | 0–5 |  النجم الأحمر بلغراد | 0–3 | 0–2 |
| نيو سانتس  | 2–6 |  ليفاديا تالين | 2–2 | 0–4 |
| شيراك  | 2–3 |  باتي بوريسوف | 1–1 | 1–2 |
| سكونتو  | 3–5 |  شامكير | 2–1 | 1–4 (و.إ) |
| سلوغا يوغوماغنات  | 1–2 |  شيلبورن | 0–1 | 1–1 |
| تيرانا  | 4–6 |  زمبرو تشيسيناو | 2–3 | 2–3 |
| كاوناس  | 4–3 |  بورتنيو | 4–0 | 0–3 |
الأدوار التمهيدية > الدور التمهيدي الثاني

| الفريق الأول | إجم>  | الفريق الثاني | مباراة الذهاب | مباراة الإياب |
| --- | --- | --- | --- | --- |
| رويال أندرلخت  | 4–2 |  أنورثوسيس فاماغوستا | 4–2 | 0–0 |
| بشكتاش  | 2–1 |  ليفسكي صوفيا | 1–0 | 1–1 |
| بروندبي  | 3–1 |  ناتدبيرنوفيلاغ ريكيافيكور | 3–1 | 0–0 |
| دينامو بوخارست  | 4–7 |  بولونيا وارسو | 3–4 | 1–3 |
| رينجرز  | 4–1 |  كاوناس | 4–1 | 0–0 |
| هكا  | 0–1 |  إنتر براتيسلافا | 0–0 | 0–1 (و.إ) |
| هلسينغبورغ  | 3–0 |  باتي بوريسوف | 0–0 | 3–0 |
| النجم الأحمر بلغراد  | 4–2 |  توربيدو كوتيسي | 4–0 | 0–2 |
| شاختار دونيتسك  | 9–2 |  ليفاديا تالين | 4–1 | 5–1 |
| سلافيا براغ  | 5–1 |  شامكير | 1–0 | 4–1 |
| شيلبورن  | 2–4 |  روزنبورغ | 1–3 | 1–1 |
| شتورم غراتس  | 5–1 |  هبوعيل تل أبيب | 3–0 | 2–1 |
| زمبرو تشيسيناو  | 2–1 |  ماريبور | 2–0 | 0–1 |
| هايدوك سبليت  | 2–4 |  دوناوجفاروس | 0–2 | 2–2 |
الأدوار التمهيدية > الدور التمهيدي الثالث

| الفريق الأول | إجم>  | الفريق الثاني | مباراة الذهاب | مباراة الإياب |
| --- | --- | --- | --- | --- |
| تيرول إنسبروك  | 1–4 |  فالنسيا | 0–0 | 1–4 |
| زمبرو تشيسيناو  | 0–2 |  سبارتا براغ | 0–1 | 0–1 |
| بروندبي  | 0–2 |  هامبورغ | 0–2 | 0–0 |
| هلسينغبورغ  | 1–0 |  إنتر ميلان | 1–0 | 0–0 |
| بشكتاش  | 6–1 |  لوكوموتيف موسكو | 3–0 | 3–1 |
| إنتر براتيسلافا  | 2–4 |  أولمبيك ليون | 1–2 | 1–2 |
| رويال أندرلخت  | 1–0 |  بورتو | 1–0 | 0–0 |
| هرفوليه  | 0–6 |  رينجرز | 0–3 | 0–3 |
| دينامو كييف  | 1–1 (ق.خ.د) |  النجم الأحمر بلغراد | 0–0 | 1–1 |
| بولونيا وارسو  | 3–4 |  باناثينايكوس | 2–2 | 1–2 |
| ليدز يونايتد  | 3–1 |  ميونخ 1860 | 2–1 | 1–0 |
| شتورم غراتس  | 3–2 |  فاينورد | 2–1 | 1–1 |
| دوناوجفاروس  | 3–4 |  روزنبورغ | 2–2 | 1–2 |
| سانت جالين  | 3–4 |  غلطة سراي | 1–2 | 2–2 |
| إيه سي ميلان  | 6–1 |  دينامو زغرب | 3–1 | 3–0 |
| شاختار دونيتسك  | 2–1 |  سلافيا براغ | 0–1 | 2–0 (و.إ) |
دور المجموعات الأول

المقالة الرئيسة: مرحلة المجموعات في دوري أبطال أوروبا 2000–01
مواقع الأندية في  في دور المجموعات الأول.
 بني: المجموعة A;  أحمر: المجموعة B;  برتقالي: المجموعة C;  أصفر: المجموعة D;
  أخضر: المجموعة E;  أزرق: المجموعة F;  بنفسجي: المجموعة G;  زهري: المجموعة H.
يلعب 16 فريقاً من الفائزين في الدور التمهيدي الثالث و10 فائزين بدورياتهم في الاتحادات المُصنفة من 1-10 وأصحاب المركز الثاني في دورياتهم في الاتحادات المُصنفة من 1-6 ما مجموعه 32 نادياً من 17 دولة يخوضون دوري المجموعات الأول في دوري أبطال أوروبا 2000–01 في ثمانية مجموعات. لُعبت ما بين 12 سبتمبر و8 نوفمبر 2000. لُعبت في ثمانية مجموعات وكل مجموعة تضم أربعة أندية. يتأهل المتصدر والوصيف من كل مجموعة إلى الدور القادم. بينما يتأهل صاحب المركز الثالث إلى الدور الثالث من كأس الاتحاد الأوروبي 2000-01. يخوض كلاً ديبورتيفو لا كورونيا، هامبورغ، هيرنفين، هلسنجبورج، ليدز يونايتد وليون وشاختار دونيتسك دور المجموعات للمرة الأولى في تاريخهم.
دور المجموعات الثاني

المقالة الرئيسة: مرحلة المجموعات الثانية في دوري أبطال أوروبا 2000–01
لُعبت مرحلة المجموعات الثانية في دوري أبطال أوروبا 2000–01 ما بين 21 نوفمبر 2000 و14 مارس 2001. 16 فريقاً متأهلين من دور المجموعات الأول يتنافسون في أربعة مجموعات بحيث تضم كل مجموعة أربعة فرق. لا يمكن لناديين من نفس البلد أن يتواجدان في نفس المجموعة. يتأهل المتصدر والوصيف من كل مجموعة إلى دور ربع النهائي.
مرحلة خروج المغلوب

المقالة الرئيسة: مرحلة خروج المغلوب في دوري أبطال أوروبا 2000–01
مرحلة خروج المغلوب > الرسم البياني

| 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
|   | ربع النهائي | ربع النهائي | ربع النهائي | ربع النهائي |  |  | نصف النهائي | نصف النهائي | نصف النهائي | نصف النهائي |  |  | النهائي | النهائي |
 :  
|  |   غلطة سراي | 3 | 0 | 3 |   |  |  |  |  |  |  |  |  |  |
|  |   ريال مدريد | 2 | 3 | 5 |   |  |  |  |  |  |  |  |  |  |
|  |   ريال مدريد | 2 | 3 | 5 |   |   |   ريال مدريد | 0 | 1 | 1 |   |  |  |  |
|  |  |  |  |  |  |   |   ريال مدريد | 0 | 1 | 1 |   |  |  |  |
|  |  |  |  |  |  |   |   بايرن ميونخ | 1 | 2 | 3 |   |  |  |  |
|  |   مانشستر يونايتد | 0 | 1 | 1 |   |   |   بايرن ميونخ | 1 | 2 | 3 |   |  |  |  |
|  |   مانشستر يونايتد | 0 | 1 | 1 |   |  |  |  |  |  |   |  |  |  |
|   |   بايرن ميونخ | 1 | 2 | 3 |   |  |  |  |  |  |   |  |  |  |
|  |  |   |   |   |   |   |   |   |   |   |   |   |   بايرن ميونخ (ر.ت) | 1 (5) |
|  |  |   |   |   |   |   |   |   |   |   |   |   |   فالنسيا | 1 (4) |
|   |   ليدز يونايتد | 3 | 0 | 3 |   |  |  |  |  |  |   |  |  |  |
|  |   ديبورتيفو لاكورونيا | 0 | 2 | 2 |   |  |  |  |  |  |   |  |  |  |
|  |   ديبورتيفو لاكورونيا | 0 | 2 | 2 |   |   |   ليدز يونايتد | 0 | 0 | 0 |   |  |  |  |
|  |  |  |  |  |  |   |   ليدز يونايتد | 0 | 0 | 0 |   |  |  |  |
|  |  |  |  |  |  |   |   فالنسيا | 0 | 3 | 3 |   |  |  |  |
|  |   آرسنال | 2 | 0 | 2 |   |   |   فالنسيا | 0 | 3 | 3 |   |  |  |  |
|  |   آرسنال | 2 | 0 | 2 |   |  |  |  |  |  |  |  |  |  |
|   |   فالنسيا (ق.خ.د) | 1 | 1 | 2 |   |  |  |  |  |  |  |  |  |  |
مرحلة خروج المغلوب > ربع النهائي

| الفريق الأول | إجم>  | الفريق الثاني | مباراة الذهاب | مباراة الإياب |
| --- | --- | --- | --- | --- |
| ليدز يونايتد  | 3–2 |  ديبورتيفو لاكورونيا | 3–0 | 0–2 |
| آرسنال  | 2–2 (ق.خ.د) |  فالنسيا | 2–1 | 0–1 |
| غلطة سراي  | 3–5 |  ريال مدريد | 3–2 | 0–3 |
| مانشستر يونايتد  | 1–3 |  بايرن ميونخ | 0–1 | 1–2 |
مرحلة خروج المغلوب > نصف النهائي

| الفريق الأول | إجم>  | الفريق الثاني | مباراة الذهاب | مباراة الإياب |
| --- | --- | --- | --- | --- |
| ليدز يونايتد  | 0–3 |  فالنسيا | 0–0 | 0–3 |
| ريال مدريد  | 1–3 |  بايرن ميونخ | 0–1 | 1–2 |
مرحلة خروج المغلوب > النهائي

المقالة الرئيسة: نهائي دوري أبطال أوروبا 2001
23 مايو 2001
20:45
| بايرن ميونخ  | 1–1 |  فالنسيا |
| --- | --- | --- |
| شتيفان إيفنبرغ  50' (ركلة.) | تقرير | غازيكا مندييتا  3' (ركلة.) |
الحضور: 71,500
الحكم: ديك يول (هولندا)
قائمة الهدافين

هذه قائمة هدافين بطولة دوري أبطال أوروبا 2000–01 مع استثناء الأدوار التمهيدية:
بيدرو إيمانويل

| بيدرو إيمانويل | بيدرو إيمانويل | بيدرو إيمانويل | بيدرو إيمانويل | بيدرو إيمانويل |  |
| --- | --- | --- | --- | --- | --- |
| معلومات شخصية   | معلومات شخصية   | معلومات شخصية   | معلومات شخصية   | معلومات شخصية   |  |
الميلاد: 11 فبراير 1975 (العمر 50 سنة)   لواندا  
مواطنة:  البرتغال 
مركز اللعب: مدافع
الطول: 1.80 م (5 قدم 11 بوصة)
|  معلومات النادي   |  معلومات النادي   |  معلومات النادي   |  معلومات النادي   |  معلومات النادي   |  |
النادي الحالي: الخليج (مدرب)
|  مسيرة الشباب   |  مسيرة الشباب   |  مسيرة الشباب   |  مسيرة الشباب   |  مسيرة الشباب   |  |
سنوات: فريق
 1986–1993 : بوافيشتا
| المسيرة الاحترافية1  | المسيرة الاحترافية1  | المسيرة الاحترافية1  | المسيرة الاحترافية1  | المسيرة الاحترافية1  |  |
| سنوات | فريق | م. | (هـ.) |  |  |
| 1993–1994 | F.C. Marco ‏  | 29 | (2) |  |  |
| 1994–1995 | أوفارينسه ديبورتيفا ‏ | 31 | (2) |  |  |
| 1995–1996 | نادي بينفايل ‏ | 28 | (2) |  |  |
| 1996–2002 | بوافيشتا | 149 | (1) |  |  |
| 2002–2009 | بورتو | 119 | (1) |  |  |
|  | مجموع | 356 | (8) |  |  |
| المنتخب الوطني    | المنتخب الوطني    | المنتخب الوطني    | المنتخب الوطني    | المنتخب الوطني    |  |
| 1995–1996 | البرتغال تحت 21 | 4 | (0) |  |  |
| الفرق التي دربها   | الفرق التي دربها   | الفرق التي دربها   | الفرق التي دربها   | الفرق التي دربها   |  |
2010–2011 : بورتو (مساعد)
2011–2013: أكاديميكا كويمبرا
2013–2015: أروكا
2015–2016: أبولون ليماسول
2017: إشتوريل برايا
2018–2019: التعاون
2019: ألميريا
2020–2021: العين
2021: النصر
2022–: الخليج
| 1 عدد مرات الظهور مع الأندية وعدد الأهداف تحسب للدوري المحلي فقط  2 عدد مرات الظهور مع المنتخب وعدد الأهداف  . | 1 عدد مرات الظهور مع الأندية وعدد الأهداف تحسب للدوري المحلي فقط  2 عدد مرات الظهور مع المنتخب وعدد الأهداف  . | 1 عدد مرات الظهور مع الأندية وعدد الأهداف تحسب للدوري المحلي فقط  2 عدد مرات الظهور مع المنتخب وعدد الأهداف  . | 1 عدد مرات الظهور مع الأندية وعدد الأهداف تحسب للدوري المحلي فقط  2 عدد مرات الظهور مع المنتخب وعدد الأهداف  . | 1 عدد مرات الظهور مع الأندية وعدد الأهداف تحسب للدوري المحلي فقط  2 عدد مرات الظهور مع المنتخب وعدد الأهداف  . |  |
بيدرو ايمانويل (بالبرتغالية: Pedro Emanuel‏) (11 فبراير 1975 بلواندا في أنغولا - ) هو مدرب كرة قدم ولاعب كرة قدم برتغالي في مركز الدفاع. شارك مع منتخب البرتغال تحت 21 سنة لكرة القدم. أما مع النوادي، فقد لعب مع نادي بوافيشتا ونادي بورتو وF.C. Marco ‏ ونادي بينفايل ‏ وأوفارينسه ديبورتيفا ‏.
نهائي كأس الاتحاد الأوروبي 1973

نهائي كأس الاتحاد الأوروبي 1973 جرى بين فريقي ليفربول، وبوروسيا مونشنغلادباخ. وكعادة المسابقات الأوروبية سابقاً لعب نهائي الدوري الأوروبي من مباراتين:الأولى كانت على استاد انفيلد رود الملعب الخاص بنادي ليفربول وانتصر الفريق حينها في لقاء الذهاب ضد ضيفه الصعب بوروسيا مونشنغلادباخ بثلاثية بيضاء، سجلها كل من كيفن كيغان هدفان، لويد كيغان افتتح التسجيل عند الدقيقة 21 ثم عاد مجدداً ليضاعف النتيجة عند الدقيقة 32، لينهي ليفربول الشوط الأول متقدماً بهدفين، وبعد 15 دقيقة من بداية الشوط الثاني سجل الدولي الإنجليزي لويد هدف ليفربول الثالث ليقضي على آمال مونشنغلادباخ ولو بتقليص النتيجة، وبهذه النتيجة 0-3 انتهى الذهاب.
لقاء الإياب في ألمانيا وقاد اللقاء الحكم السوفيتي السابق بافيل كوزاكوف
يوب هاينكس يسجل الهدف الأول للنادي الألماني عند الدقيقة 29، مرة أخرى هاينكس يسجل! الدقيقة 40 والنتيجة 0-2، حاول المدرب نادي ليفربول بيل شانكلي تدارك الأمور بإشراك بعض اللاعبين الذين بإمكانهم قلب النتيجة لمصلحة ليفربول خلال الشوط الثاني، لكن ذلك لم يحصل إلا أنهم في المقابل حافظوا على نظافة شباكهم خلال الحصة الثانية وبذلك ينتهي اللقاء بنتيجة 0-2 لنادي بوروسيا مونشنغلادباخ الذي كان مطالبا بتحقيق الفوز بنتيجة 0-4 أو على الأقل معادلة النتيجة بتسجيل 3 أهداف وعدم استقبال أي هدف، في نهاية المطاف توج ليفربول بلقب البطولة بقيادة مدربه شانكلي.
أونلي أب

| أونلي أب> (بالإنجليزية: Only Up!)    | أونلي أب> (بالإنجليزية: Only Up!)    |
| --- | --- |
المطور: SCKR Games
الناشر: SCKR Games
الموزع: ستيم  
محرك اللعبة: أنريل إنجن
النظام: Windows
تاریخ الإصدار: May 24, 2023
نوع اللعبة: Platform
النمط: لعبة فيديو فردية
الوسائط: توزيع رقمي  
تعديل مصدري - تعديل  : تعديل مصدري - تعديل  
فقط حتى! هي لعبة منصة تم تطويرها بواسطة SCKR Games. تم إصدارها على Steam في 24 مايو 2023، ولكن تم إزالتها نهائيًا بعد الجدل حول استخدام أصول محمية بحقوق الطبع والنشر.
تمت الإشادة بلعبة Only Up! بسبب صعوبتها، ولكن تم انتقادها بسبب رسوماتها وتصميم مستوياتها. وقد تمت مقارنتها بألعاب التسلق الصعبة مثل Getting Over It with Bennett Foddy و Jump King. أصبحت لعبة Only Up! واحدة من أكثر الألعاب شعبية على Twitch و Kick بعد فترة وجيزة من إصدارها.
طريقة اللعب

تبدأ اللعبة في مكان خردة، حيث يجب على الشخصية الرئيسية، جاكي، الجري والتسلق والقفز والتجاوز عبر سلسلة من الأشياء والمنصات المتنوعة. حول الخريطة، توجد أسرة يمكن للاعب استخدامها كعزف لتخطي أجزاء كبيرة من مسار العقبات. يمكن للاعب إبطاء الوقت للتحكم في حركات الشخصية. لا توجد نقاط تفتيش على مدار اللعبة بأكملها، مما يعني أن اللاعب لا يمكنه حفظ تقدمه.
الاصدار > الإزالة من ستيم

تمت إزالة لعبة Only Up! من Steam في 30 يونيو 2023، بعد العثور على العديد من انتهاكات حقوق الطبع والنشر المرتبطة بأصول اللعبة. كان أحد انتهاكات حقوق الطبع والنشر نموذجًا ثلاثي الأبعاد لفتاة عملاقة، من صنع الفنان Aboulicious، بعنوان "Blanket In The Wind". كان النموذج مرخصًا غير تجاريًا ومنشأه من Sketchfab، وهو موقع ويب للنمذجة ثلاثية الأبعاد. كما تم العثور على وسائط أخرى محمية بحقوق الطبع والنشر في اللعبة، بما في ذلك المؤثرات الصوتية من Final Fantasy VII و Minecraft.
أنظر أيضا

التغلب على الأمر مع بينيت فودي
مراجع

↑  Kawase، Ayuo (15 يونيو 2023). "Frustrating climbing game Only Up! grows popular among Japanese streamers". Automaton Media. Translated by Marco Farinaccia. مؤرشف من الأصل في 2023-07-24. اطلع عليه بتاريخ 2023-07-23.
بني عايش

بني عايش (بالعبرية: בְּנֵי עַיִ"שׁ) هي مجلس محلي في المنطقة الوسطى في إسرائيل. تقع على بعد حوالي 10 كم من أسدود وبالقرب من غديرا، وبلغ عدد سكانها 6,978 نسمة في 2019.
التاريخ

أنشئت البلدة في 1957. قبل 1948، كانت المنطقة بمثابة قاعدة عسكرية لقوات الجيش البريطاني خلال فترة الانتداب البريطاني على فلسطين. تم تسميتها على اسم الحاخام عكيفا يوسف شليزنغر، الذي اختصر اسمه إلى عايش.
مراجع

1 2  "عدد السكان في المحليات 2019" (XLS). دائرة الإحصاء المركزية الإسرائيلية. اطلع عليه بتاريخ 2020-08-16.
| ع ن المنطقة الوسطى في إسرائيل | ع ن المنطقة الوسطى في إسرائيل | ع ن المنطقة الوسطى في إسرائيل |
| --- | --- | --- |
| مدن |  إلعاد  جفعات شموئيل  هود هشارون  كفر قاسم  كفار سابا  كفار يونا  اللد  موديعين-مكابيم-ريعوت  نيس زيونا  نتانيا  بتاح تكفا  قلنسوة  رعنانا  الرملة  رحوفوت  ريشون لتسيون  روش هاعين  الطيبة  الطيرة  يفنه  يهود-مونوسون  |  |
| المجالس المحلية |  بئر يعقوب  بيت داجان  بني عايش (ياصور المحتلة)  إلياخين (خربة زلفة المحتلة)  إيبين يهودا  جان يبنا  جني تكفا  جديرا (قطرة المحتلة)  جلجولية  كفر برا  كريات عكرون  كوكب يائير  مزكيريت بتيا  فرديسيا (فرديسيا المحتلة)  سبيون  شوهام  تل موند  كاديما صوران  زيمر  |  |
| المجالس الإقليمية |  برينر  مجلس غان رافيه الإقليمي  ‏  جديروت  جيزير  جنوب شارون  وادي حيفير  حيبيل موديئين  حيبيل يبنا  ساحل شارون  لبّ شارون  حقول دان  ناحل سوريك  |  |
| أقسام إدارية  ‏ |  نوي مونوسون  موديعين-مكابيم-ريعوت  |  |
| أنظر أيضًا |  غوش دان  سهل شارون  |  |
باقي مناطق إسرئيل: المنطقة الشمالية · منطقة حيفا · منطقة تل أبيب · لواء القدس · المنطقة الجنوبية: باقي مناطق إسرئيل: المنطقة الشمالية · منطقة حيفا · منطقة تل أبيب · لواء القدس · المنطقة الجنوبية
| ضبط استنادي  | ضبط استنادي  |
| --- | --- |
دولية: ملف الضبط الاستنادي الافتراضي الدَّولي (VIAF) مركز المكتبة الرقمية على الإنترنت (WC Entities)
وطنية: المكتبة القومية الإسرائيلية (J9U)
في كومنز مواد ذات صلة بـ بني عايش.
بوابة إسرائيل
بوابة تجمعات سكانية
التحقق الوظيفي

التحقق الوظيفي هو التحقق من أن التصميم الرقمي يتوافق مع المواصفات. يحاول التحقق الوظيفي الإجابة على السؤال "هل هذا التصميم المقترح يفعل الوظيفة المطلوبة منه؟"  يستغرق التحقق معظم الوقت والجهد حيث يصل إلى 70٪ من وقت التصميم والتطوير  في معظم مشاريع تصميم الأنظمة الإلكترونية الكبيرة. يعد التحقق الوظيفي أحد أنواع التحقق المختلفة فعلى سبيل المثال يوجد التحقق المادي الذي يأخذ في اعتباره الجوانب غير الوظيفية التي تدخل في التصنيع مثل التوقيت والتخطيط والطاقة.
خلفية

على الرغم من زيادة عدد المقاحل بشكل كبير وفقًا لقانون مور ، إلا أن زيادة عدد المهندسين والوقت الذي يستغرقه إنتاج التصميمات يزيد بشكل خطي فقط، بينما يزداد أيضًا عدد الأخطاء البرمجية. تأتي معظم الأخطاء في البرمجة من الإهمال (12.7٪) ، وسوء التواصل (11.4٪) ، وتحديات المعماريات الدقيقة (9.3٪). وبالتالي ، يتم إنتاج أدوات التصميم الإلكتروني الآلية لمواكبة تعقيد تصميم المقاحل عبر استخدام لغات توصيف العتاد مثل فيريلوج و في إتش دي إل لتسهيل عملية التطوير وتحويلها إلى عملية آلية وليست يدوية.
تكمن صعوبة التحقق الوظيفي في كمية الاحتمالات الاختبارات الموجودة حتى في تصميم بسيط. غالبًا ما يكون هناك أكثر من 10 ^ 80 اختبارًا محتملاً للتحقق بشكل شامل من التصميم، وهو رقم يستحيل تحقيقه في العمر! هذا الجهد يعادل التحقق من البرنامج ، وهو صعب NP أو حتى أسوأ، وحتي الآن لم يتم العثور على حل يعمل بشكل جيد في جميع الحالات. ومع ذلك، يمكن التحقق بعدة طرق. لا يوجد أي منها مثالي ، ولكن يمكن أن يكون كل منها مفيدًا في ظروف معينة:
محاكاة التصميم تحاكي التصميم قبل أن يتم بناؤه.
تسريع المحاكاة عبر عتاد متخصص للمحاكاة.
يوجد نوع آخر من المحاكاة (المماثلة أو المضاهاة) وهو عن طريق استخدام مصفوفة مُبرمجة ولكن هذا عادة ما يكون مكلفًا ولكن هو أسرع كثيرًا من محاكاة التصميم باستخدام برنامج
يحاول التحقق الشكلي أن يثبت رياضيًا أن بعض المتطلبات قد تم الوفاء بها ، أو أن السلوكيات غير المرغوب فيها لا يمكن أن تحدث وهذا عن طريق خورازميات رياضية لا تعتمد علي محاكاة التصميم ولكن عن طريق استكشاف فضاء الحالات الممكنة.
يستخدم التحقق الذكي الآلية لملاءمة منصة الاختبار مع التغييرات في طبقة تبادل المسجلات.
تُستخدم الإصدارات الخاصة بـ لغات توصيف العتاد من النسالة وغيرها من الأساليب البحثية للعثور على المشكلات الشائعة.
أنواع

هناك ثلاثة أنواع من التحقق الوظيفي ، وهي: التحقق الوظيفي الحركي، والتحقق الوظيفي الهجين ، والتحقق الثابت.
يستخدم التحقق المحاكي (ويسمى أيضًا " التحقق الحركي ") على نطاق واسع "لمحاكاة" التصميم ، نظرًا لأن هذه الطريقة يمكنها التوسع بسهولة شديدة عند زيادة حجم التصميم. يتم توفير الحث المناسب لاستعمال كل سطر في رمز توصيف العتاد وذلك عن طريق تطوير منصة الاختبار للتحقق وظيفيًا من التصميم من خلال توفير احتمالات اختبارات مختلفة للتأكد من أن التصميم يعمل وفقًا للمواصفات والوظائف المطلوبة في ضوء مدخلات معينة.
تتكون بيئة المحاكاة عادةً من عدة أنواع من المكونات:
يولد المولد مدخلات رقمية تُستخدم لاختبار الحالات الموجودة بين المتطلبات ورد فعل التصميم. تخلق المولدات الحديثة حث عشوائي وعشوائي محدد للتحقق من أجزاء عشوائية من التصميم. الغرض من العشوائية هو تحقيق توزيع عالٍ على فضاء الحث المتاح للمدخلات والذي عادة ما يكون كبيرًا جدًا.
دور المولد هو ملء هذه الفجوة بشكل عشوائي. تسمح هذه الآلية للمولد بإنشاء مدخلات تكشف عن الأخطاء التي لا يتم البحث عنها مباشرة من قبل المستخدم. هذه المولدات أيضًا تكون محددة العشوائية نحو حالات التصميم المهمة لزيادة التأكيد على المنطق. نظرًا لأن مدخلات التصميم يجب أن تكون صحيحة ويجب الحفاظ على العديد من الأهداف (مثل العشوائية المحددة) ، فإن العديد من المولدات تستخدم تقنية مشكلة إرضاء القيود لحل متطلبات الاختبار المعقدة.
يقوم المسيِّر بترجمة الحث الذي ينتجه المولد إلى مدخلات فعلية للمنافذ كما هو محدد في مواصفات واجهة التصميم.. تقوم المولدات بإنشاء مدخلات على مستوى عالٍ من التجريد ، أي كلغة معاملات أو لغة تجميع.
ينتج المحاكي مخرجات التصميم ، بناءً على الحالة الحالية للتصميم والمدخلات. يحتوي جهاز المحاكاة على وصف لقائمة شبكة التصميم. يتم إنشاء هذا الوصف عن طريق توليف HDL إلى قائمة شبكة مستوى بوابة منخفضة.
يقوم المراقب بتحويل حالة التصميم ومخرجاته إلى مستوى تجريد المعاملة بحيث يمكن تخزينها في قاعدة بيانات "شاشة النتائج" ليتم التحقق منها لاحقًا.
يتحقق المدقق من أن محتويات "شاشة النتائج" صحيحة حيث يجب على المدقق التحقق من تطابق النتائج الفعلية مع النتائج المتوقعة.
يتم استخدام التغطية لتقييم محفزات التصميم وأن التصميم قد تم استعماله بشكل مناسب. وتشمل:
التغطية الوظيفية (هل تم ممارسة كل وظائف التصميم؟)
وتغطية البيان (هل تم ممارسة كل سطر من التصميم؟)
وتغطية التفرعات (هل تم ممارسة كل اتجاه في كل فرع؟ ).
أدوات المحاكاة والتحقق

ألديك
أنظمة أيفري
نظام التحقق من Breker: Trek (أداة إنشاء اختبار قائمة على النموذج ل SoCs المعقدة)
كيدانس لأنظمة التصميم
مينتور جرافيكس
تقنية نوسيم
برنامج أوبيسديان
حلول وان سبين
سينوبسيس
أنظر أيضا

التحقق الشكلي
التحقق الفوقي