stanford-oval/wikipedia huggingface dataset:
التحقق الشكلي
المنهجيات > برمجة

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

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

يتم إصلاح البرنامج فيما يتعلق بـ المستشار ، بما في ذلك الوظيفة المطلوبة للبرنامج والتي يتم استخدامها للتحقق من الإصلاح الذي تم إنشاؤه. مثال بسيط هو منصة الاختبار — تحدد أزواج الإدخال / الإخراج وظائف البرنامج. يتم استخدام مجموعة متنوعة من التقنيات ، وعلى الأخص استخدام حلّالّات نظريات الإمكانية والبرمجة الجينية ،  باستخدام الحوسبة التطورية لتوليد وتقييم المرشحين المحتملين للإصلاحات. الطريقة الأولى حتمية ، بينما الطريقة الأخيرة عشوائية.
يجمع إصلاح البرنامج بين تقنيات التحقق الشكلي وتكوين البرنامج . تُستخدم تقنيات تحديد موقع الأخطاء في التحقق الشكلي لحساب نقاط البرنامج التي قد تكون مواقع أخطاء محتملة ، والتي يمكن استهدافها بواسطة وحدات التجميع. غالبًا ما تركز أنظمة الإصلاح على فئة صغيرة محددة مسبقًا من الأخطاء من أجل تقليل مساحة البحث. الاستخدام الصناعي محدود بسبب التكلفة الحسابية للتقنيات الحالية.
الاستخدام الصناعي

يزيد النمو في تعقيد التصاميم من أهمية تقنيات التحقق الشكلية في صناعة العتاد . في الوقت الحاضر ، يتم استخدام التحقق الشكلي من قبل معظم أو كل شركات الأجهزة الرائدة ،  ولكن استخدامها في صناعة البرمجيات لا يزال ضعيفًا.  هذا يمكن أن يعزى إلى الحاجة المتزايدة في صناعة العتاد، حيث الأخطاء لها أهمية تجارية أكبر.  بسبب التفاعلات الدقيقة المحتملة بين المكونات ، من الصعب بشكل متزايد ممارسة مجموعة واقعية من الاحتمالات عن طريق المحاكاة. تخضع الجوانب المهمة لتصميم الأجهزة لطرق الإثبات الآلي ، مما يجعل التحقق الشكلي أسهل وأكثر إنتاجية.
اعتبارًا من 2011, تم التحقق شكليًا من: نواة نسيتا المحمية ونظام أوسيك فدكس الفوري وأيضًا نظام انتجرتي
اعتبارًا من عام 2017 ، تم تطبيق التحقق الشكلي على تصميم شبكات الكمبيوتر الكبيرة من خلال نموذج رياضي للشبكة ،  وكجزء من فئة تكنولوجيا الشبكة الجديدة ، الشبكات القائمة على النوايا. بائعي برامج الشبكات الذين يقدمون حلول تحقق شكلية يشملون سيسكو و شبكات فوروارد  وأنظمة فيريفلو.
توفر لغة البرمجة سبارك مجموعة أدوات تمكن من تطوير البرامج مع التحقق الشكلي وتستخدم في العديد من الأنظمة عالية التكامل .
مترجم CompCert C هو مترجم C تم التحقق منه شكليًا وينفذ غالبية ISO C.
أنظر أيضا

المبرهن الآلي
فحص النموذج
قائمة أدوات فحص النموذج
فحص التكافؤ الشكلي
مدقق إثبات
لغة مواصفات الخاصية
تحليل الكود الثابت
المنطق الزمني في التحقق من الحالة المحدودة
التحقق من صحة ما بعد التصنيع
التحقق الذكي
التحقق من وقت التشغيل
مراجع

↑  Sanghavi، Alok (21 مايو 2010). "What is formal verification?". EE Times Asia.
↑  Introduction to Formal Verification, Berkeley University of California, Retrieved November 6, 2013 نسخة محفوظة 2022-06-21 على موقع واي باك مشين.
↑  Cohen، Ben؛ Venkataramanan، Srinivasan؛ Kumari، Ajeetha؛ Piper، Lisa (2015). SystemVerilog Assertions Handbook (ط. 4th). CreateSpace Independent Publishing Platform. ISBN:978-1518681448.
↑  Le Goues، Claire؛ Nguyen، ThanhVu؛ Forrest، Stephanie؛ Weimer، Westley (يناير 2012). "GenProg: A Generic Method for Automatic Software Repair". IEEE Transactions on Software Engineering. ج. 38 ع. 1: 54–72. DOI:10.1109/TSE.2011.104. مؤرشف من الأصل في 2020-03-16.
↑  Harrison، J. (2003). "Formal verification at Intel". 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings. ص. 45–54. DOI:10.1109/LICS.2003.1210044. ISBN:978-0-7695-1884-8.
↑  Formal verification of a real-time hardware design. Portal.acm.org (June 27, 1983). Retrieved on April 30, 2011. نسخة محفوظة 2023-03-26 على موقع واي باك مشين.
↑  "Formal Verification: An Essential Tool for Modern VLSI Design by Erik Seligman, Tom Schubert, and M V Achutha Kirankumar". 2015. مؤرشف من الأصل في 2021-12-04.
↑  "Formal Verification in Industry" (PDF). مؤرشف من الأصل (PDF) في 2022-02-01. اطلع عليه بتاريخ 2012-09-20.
↑  Scroxton، Alex. "For Cisco, intent-based networking heralds future tech demands". Computer Weekly. مؤرشف من الأصل في 2022-12-09. اطلع عليه بتاريخ 2018-02-12.
↑  Lerner، Andrew. "Intent-based networking". Gartner. مؤرشف من الأصل في 2023-03-31. اطلع عليه بتاريخ 2018-02-12.
↑  "Forward Networks: Accelerating and De-risking Network Operations". Insights Success. مؤرشف من الأصل في 2022-12-08. اطلع عليه بتاريخ 2018-02-12.
↑  "Getting Grounded in Intent=based Networking" (PDF). NetworkWorld. مؤرشف من الأصل (PDF) في 2022-01-07. اطلع عليه بتاريخ 2018-02-12.
↑  "Veriflow Systems". Bloomberg. مؤرشف من الأصل في 2020-03-31. اطلع عليه بتاريخ 2018-02-12.
↑  "CompCert - The CompCert C compiler". compcert.org. مؤرشف من الأصل في 2023-01-10. اطلع عليه بتاريخ 2023-02-22.
↑  Barrière، Aurèle؛ Blazy، Sandrine؛ Pichardie، David (9 يناير 2023). "Formally Verified Native Code Generation in an Effectful JIT: Turning the CompCert Backend into a Formally Verified JIT Compiler". Proceedings of the ACM on Programming Languages. ج. 7 ع. POPL: 249–277. DOI:10.1145/3571202. ISSN:2475-1421. مؤرشف من الأصل في 2023-02-22.
| 0 | 1 |
| --- | --- |
ضبط استنادي: وطنية :  قاعدة البيانات الوطنية التشيكية (NLCR AUT) 
بوابة تقانة المعلومات
بوابة علم الحاسوب
بوابة منطق
مينوسينسك

مينوسينسك (بالروسية: Минусинск) هي إحدى مدن روسيا في الكيان الفدرالي الروسي كراسنويارسك كراي.
يبلغ عدد سكانها 71,170 نسمة (حسب إحصاء عام 2010).
المناخ

يظهر الجدول التالي التغييرات المناخية على مدار السنة لمينوسينسك:
| البيانات المناخية لـمينوسينسك> الشهر | البيانات المناخية لـمينوسينسك> يناير | البيانات المناخية لـمينوسينسك> فبراير | البيانات المناخية لـمينوسينسك> مارس | البيانات المناخية لـمينوسينسك> أبريل | البيانات المناخية لـمينوسينسك> مايو | البيانات المناخية لـمينوسينسك> يونيو | البيانات المناخية لـمينوسينسك> يوليو | البيانات المناخية لـمينوسينسك> أغسطس | البيانات المناخية لـمينوسينسك> سبتمبر | البيانات المناخية لـمينوسينسك> أكتوبر | البيانات المناخية لـمينوسينسك> نوفمبر | البيانات المناخية لـمينوسينسك> ديسمبر | البيانات المناخية لـمينوسينسك> المعدل السنوي |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| الدرجة القصوى °م (°ف) | 6.7 (44.1) | 9.6 (49.3) | 24.2 (75.6) | 33.0 (91.4) | 37.7 (99.9) | 38.2 (100.8) | 39.3 (102.7) | 37.7 (99.9) | 32.6 (90.7) | 25.8 (78.4) | 16.1 (61.0) | 6.7 (44.1) | 39.3 (102.7) |
| متوسط درجة الحرارة الكبرى °م (°ف) | −12.9 (8.8) | −9.4 (15.1) | −0.5 (31.1) | 10.5 (50.9) | 18.8 (65.8) | 24.7 (76.5) | 26.8 (80.2) | 24.0 (75.2) | 17.2 (63.0) | 8.4 (47.1) | −3.0 (26.6) | −10.8 (12.6) | 7.8 (46.1) |
| المتوسط اليومي °م (°ف) | −19.5 (−3.1) | −17.7 (0.1) | −8.0 (17.6) | 3.3 (37.9) | 11.1 (52.0) | 17.5 (63.5) | 20.1 (68.2) | 17.0 (62.6) | 10.0 (50.0) | 2.0 (35.6) | −8.4 (16.9) | −16.7 (1.9) | 0.9 (33.6) |
| متوسط درجة الحرارة الصغرى °م (°ف) | −25.3 (−13.5) | −24.4 (−11.9) | −14.6 (5.7) | −3.2 (26.2) | 3.5 (38.3) | 10.1 (50.2) | 13.2 (55.8) | 10.3 (50.5) | 3.8 (38.8) | −3.1 (26.4) | −13.3 (8.1) | −22.2 (−8.0) | −5.4 (22.2) |
| أدنى درجة حرارة °م (°ف) | −52.2 (−62.0) | −50.3 (−58.5) | −46.7 (−52.1) | −32.3 (−26.1) | −10.9 (12.4) | −3.5 (25.7) | 2.7 (36.9) | −2.8 (27.0) | −11.5 (11.3) | −24.0 (−11.2) | −42.9 (−45.2) | −49.4 (−56.9) | −52.2 (−62.0) |
| الهطول مم (إنش) | 8.6 (0.34) | 6.9 (0.27) | 7.1 (0.28) | 15.3 (0.60) | 33.7 (1.33) | 56.4 (2.22) | 66.0 (2.60) | 62.5 (2.46) | 43.8 (1.72) | 23.4 (0.92) | 14.2 (0.56) | 11.5 (0.45) | 349.4 (13.75) |
| متوسط أيام هطول الأمطار (≥ 0.1 mm) | 11.7 | 7.6 | 7.4 | 11.0 | 10.0 | 10.7 | 12.7 | 12.1 | 10.0 | 12.7 | 11.3 | 14.8 | 132 |
| متوسط الرطوبة النسبية (%) | 79.5 | 74.9 | 70.5 | 60.6 | 56.5 | 64.4 | 71.2 | 71.9 | 69.1 | 75.6 | 73.4 | 76.9 | 70.4 |
| ساعات سطوع الشمس الشهرية | 74.4 | 96.7 | 189.1 | 216.0 | 254.2 | 276.0 | 272.8 | 232.5 | 165.0 | 105.4 | 84.0 | 49.6 | 2٬015٫7 |
المصدر: climatebase.ru (1927-2008): المصدر: climatebase.ru (1927-2008)
توأمة

لمينوسينسك اتفاقيات توأمة مع:
نوريلسك
أعلام

ميخائيل بيتراشيفسكي
إنريكي خوان ميدينا رودريغيز

| إنريكي خوان ميدينا رودريغيز>  معلومات شخصية   | إنريكي خوان ميدينا رودريغيز>  معلومات شخصية   | إنريكي خوان ميدينا رودريغيز>  معلومات شخصية   | إنريكي خوان ميدينا رودريغيز>  معلومات شخصية   | إنريكي خوان ميدينا رودريغيز>  معلومات شخصية   |  |
| --- | --- | --- | --- | --- | --- |
الميلاد: 25 سبتمبر 1967 (العمر 57 سنة)   سانتا كروث دي تنريفه  
مركز اللعب: مدافع
الجنسية:  إسبانيا  
|  مسيرة الشباب   |  مسيرة الشباب   |  مسيرة الشباب   |  مسيرة الشباب   |  مسيرة الشباب   |  |
| سنوات | فريق |  |  |  |  |
: تينيريفي
| المسيرة الاحترافية1  | المسيرة الاحترافية1  | المسيرة الاحترافية1  | المسيرة الاحترافية1  | المسيرة الاحترافية1  |  |
| سنوات | فريق | م. | (هـ.) |  |  |
| 1984–1991 | تينيريفي  | 182 | (3) |  |  |
| 1991–1992 | ساباديل | 15 | (0) |  |  |
| 1992–1993 | غرناطة | 7 | (1) |  |  |
| 1993–1995 | إيركوليس | 49 | (2) |  |  |
| 1995–1997 | نادي أتلتيكو ماربيا ‏ | 18 | (1) |  |  |
|  | مجموع | 271 | (7) |  |  |
| 1985 | إسبانيا تحت 18 | 3 | (0) |  |  |
| الفرق التي دربها   | الفرق التي دربها   | الفرق التي دربها   | الفرق التي دربها   | الفرق التي دربها   |  |
2000–2002 : إيركوليس (مساعد)
2001: إيركوليس (مؤقت)
2003: نادي إيركوليس ب ‏
2003–2004: CD Laguna de Tenerife ‏
2005–2006: تينيريفي (مساعد)
2005: تينيريفي (مؤقت)
2010–2011: تينيريفي (مساعد)
2011–2012: تينيريفي ب
2012: تينيريفي
| 1 عدد مرات الظهور مع الأندية وعدد الأهداف تحسب للدوري المحلي فقط  2 عدد مرات الظهور مع المنتخب وعدد الأهداف  . | 1 عدد مرات الظهور مع الأندية وعدد الأهداف تحسب للدوري المحلي فقط  2 عدد مرات الظهور مع المنتخب وعدد الأهداف  . | 1 عدد مرات الظهور مع الأندية وعدد الأهداف تحسب للدوري المحلي فقط  2 عدد مرات الظهور مع المنتخب وعدد الأهداف  . | 1 عدد مرات الظهور مع الأندية وعدد الأهداف تحسب للدوري المحلي فقط  2 عدد مرات الظهور مع المنتخب وعدد الأهداف  . | 1 عدد مرات الظهور مع الأندية وعدد الأهداف تحسب للدوري المحلي فقط  2 عدد مرات الظهور مع المنتخب وعدد الأهداف  . |  |
إنريكي خوان ميدينا رودريغيز (بالإسبانية: Enrique Juan Medina Rodríguez)‏ (25 سبتمبر 1967 بسانتا كروث دي تينيريفه في إسبانيا - ) هو مدرب كرة قدم ولاعب كرة قدم إسباني في مركز الدفاع. شارك مع منتخب إسبانيا تحت 18 سنة لكرة القدم. أما مع النوادي، فقد لعب مع نادي إيركوليس ونادي تينيريفي ونادي ساباديل ونادي غرناطة ونادي أتلتيكو ماربيا ‏.
مراجع

↑  "معلومات عن إنريكي خوان ميدينا رودريغيز على موقع bdfutbol.com". bdfutbol.com. مؤرشف من الأصل في 2017-07-20.
وارين غرانادوس

| وارين غرانادوس> معلومات شخصية   | وارين غرانادوس> معلومات شخصية   | وارين غرانادوس> معلومات شخصية   | وارين غرانادوس> معلومات شخصية   | وارين غرانادوس> معلومات شخصية   |  |
| --- | --- | --- | --- | --- | --- |
تاريخ الميلاد: 6 ديسمبر 1981 (العمر 43 سنة)  
مواطنة:  كوستاريكا  
مركز اللعب: وسط
الطول: 1.76 م (5 قدم 9 بوصة)
| المسيرة الاحترافية1  | المسيرة الاحترافية1  | المسيرة الاحترافية1  | المسيرة الاحترافية1  | المسيرة الاحترافية1  |  |
| سنوات | فريق | م. | (هـ.) |  |  |
| 1998–2001 | رامونينسي  |  |  |  |  |
| 2002–2004 | ألاجولينسي |  |  |  |  |
| 2004 | ← بونتاريناس (إعارة) |  |  |  |  |
| 2005 | ← كارتاهينيس (إعارة) |  |  |  |  |
| 2005 | ← رامونينسي (إعارة) | 17 | (0) |  |  |
| 2008–2012 | رامونينسي |  |  |  |  |
| المنتخب الوطني 2  | المنتخب الوطني 2  | المنتخب الوطني 2  | المنتخب الوطني 2  | المنتخب الوطني 2  |  |
| 2009 | كوستاريكا | 6 | (2) |  |  |
| 1 عدد مرات الظهور مع الأندية وعدد الأهداف تحسب للدوري المحلي فقط  2 عدد مرات الظهور مع المنتخب وعدد الأهداف    محدث في 1 يونيو 2014. | 1 عدد مرات الظهور مع الأندية وعدد الأهداف تحسب للدوري المحلي فقط  2 عدد مرات الظهور مع المنتخب وعدد الأهداف    محدث في 1 يونيو 2014. | 1 عدد مرات الظهور مع الأندية وعدد الأهداف تحسب للدوري المحلي فقط  2 عدد مرات الظهور مع المنتخب وعدد الأهداف    محدث في 1 يونيو 2014. | 1 عدد مرات الظهور مع الأندية وعدد الأهداف تحسب للدوري المحلي فقط  2 عدد مرات الظهور مع المنتخب وعدد الأهداف    محدث في 1 يونيو 2014. | 1 عدد مرات الظهور مع الأندية وعدد الأهداف تحسب للدوري المحلي فقط  2 عدد مرات الظهور مع المنتخب وعدد الأهداف    محدث في 1 يونيو 2014. |  |
وارين غرانادوس (بالإسبانية: Warren Granados)‏ (6 ديسمبر 1981 كوستاريكا - ) هو لاعب كرة قدم كوستاريكي، يلعب كلاعب وسط.
مراجع

↑  Warren a punto de estrenar equipo– Nación (بالإسبانية) نسخة محفوظة 4 مارس 2016 على موقع واي باك مشين.
↑  Lugo, Erik Francisco (12 أغسطس 2009). "CONCACAF Championship, Gold Cup 2009 - Full Details". مؤسسة إحصاءات وثيقة لرياضة كرة القدم. مؤرشف من الأصل في 2018-10-04.
↑  "Warren Granados Biography and Statistics". Sports Reference. مؤرشف من الأصل في 2017-07-09. اطلع عليه بتاريخ 2009-12-10.
| ع ن منتخب كوستاريكا لكرة القدم  –  كأس الكونكاكاف الذهبية 2009 semi-finalists | ع ن منتخب كوستاريكا لكرة القدم  –  كأس الكونكاكاف الذهبية 2009 semi-finalists | ع ن منتخب كوستاريكا لكرة القدم  –  كأس الكونكاكاف الذهبية 2009 semi-finalists |
| --- | --- | --- |
|  1 كيلور نافاس  2 داريو ديلغادو  3 فريدي فيرنانديز  4 بابلو سالازار  5 سيلسو بورخيس  6 كريستيان أوفييدو كالفو  7 Pablo Brenes  8 استيبان غرانادوس  9 ألفارو سابوريو  10 والتر سينتينو (c)  11 أندي هيرون  12 ليوناردو غونزاليس  13 غونزالو ساغيرس  14 أرماندو ألونسو  15 هارولد والاس  16 Esteban Sirias  17 بابلو هيريرا بارانتيس  18 ريكاردو غونزاليس فونسيكا  19 وارين غرانادوس  20 دينيس مارشال  21 فرويلان يديزما  22 Yosimar Arias  23 دانيال كامبرونيرو  المدرب: رودريغو كينتون  |  1 كيلور نافاس  2 داريو ديلغادو  3 فريدي فيرنانديز  4 بابلو سالازار  5 سيلسو بورخيس  6 كريستيان أوفييدو كالفو  7 Pablo Brenes  8 استيبان غرانادوس  9 ألفارو سابوريو  10 والتر سينتينو (c)  11 أندي هيرون  12 ليوناردو غونزاليس  13 غونزالو ساغيرس  14 أرماندو ألونسو  15 هارولد والاس  16 Esteban Sirias  17 بابلو هيريرا بارانتيس  18 ريكاردو غونزاليس فونسيكا  19 وارين غرانادوس  20 دينيس مارشال  21 فرويلان يديزما  22 Yosimar Arias  23 دانيال كامبرونيرو  المدرب: رودريغو كينتون  |  |
| ع ن Costa Rica men's football squad  –  الألعاب الأولمبية الصيفية 2004 | ع ن Costa Rica men's football squad  –  الألعاب الأولمبية الصيفية 2004 | ع ن Costa Rica men's football squad  –  الألعاب الأولمبية الصيفية 2004 |
| --- | --- | --- |
|  1 فيكتور بوليفار  2 مايكل رودريغيز  3 بابلو سالازار  4 مايكل أومانيا  5 روي ميري  6 واين ويلسون  7 إريك سكوت  8 José Luis López Ramírez (c)  9 Pablo Brenes  10 وارين غرانادوس  11 ألفارو سابوريو  12 ليوناردو أرايا  13 دانيال فاييخوس  14 خوسيه فيلالوبوس  15 جونيور دياز  16 كارلوس هرنانديز (لاعب كرة قدم)  17 خايرو أرياتا  18 Neighel Drummond  المدرب: رودريغو كينتون  |  1 فيكتور بوليفار  2 مايكل رودريغيز  3 بابلو سالازار  4 مايكل أومانيا  5 روي ميري  6 واين ويلسون  7 إريك سكوت  8 José Luis López Ramírez (c)  9 Pablo Brenes  10 وارين غرانادوس  11 ألفارو سابوريو  12 ليوناردو أرايا  13 دانيال فاييخوس  14 خوسيه فيلالوبوس  15 جونيور دياز  16 كارلوس هرنانديز (لاعب كرة قدم)  17 خايرو أرياتا  18 Neighel Drummond  المدرب: رودريغو كينتون  |  |
بوابة أعلام
بوابة ألعاب أولمبية
بوابة كرة القدم
بوابة كوستاريكا
الأبجدية مقابل الآلهة

| الأبجدية مقابل الآلهة> (بالإنجليزية: The Alphabet Versus the Goddess)‏    | الأبجدية مقابل الآلهة> (بالإنجليزية: The Alphabet Versus the Goddess)‏    |
| --- | --- |
اللغة: الإنجليزية  
تاريخ النشر: 1998  
الموضوع: لغويات عصبية  
تعديل مصدري - تعديل  : تعديل مصدري - تعديل  
الأبجدية مقابل الآلهة(بالإنجليزية: The Alphabet Versus the Goddess)‏ الصراع بين الكلمة والصورة هو عمل النظرية النقدية من قبل الجراح الأمريكي ليونارد شلاين، التي نشرتها صحيفة فايكنغ في عام 1998. ليونارد يقول إن تعلم اللغة المكتوبة، وخاصة الألفبائية، من وظيفة الدماغ البشري التي تؤكد تقدم التفكير الخطي على التفكير الشمولي.
وزارة التعليم العالي والبحث العلمي (مصر)

لمعانٍ أخرى، طالع وزارة التعليم العالي والبحث العلمي (توضيح).
لمعانٍ أخرى، طالع وزارة التعليم العالي (توضيح).
| جمهورية مصر العربية وزارة التعليم العالي والبحث العلمي | جمهورية مصر العربية وزارة التعليم العالي والبحث العلمي |
| --- | --- |
وزارة التعليم العالي والبحث العلمي (مصر)الشعار : وزارة التعليم العالي والبحث العلمي (مصر)الشعار 
البلد:  مصر
المقر الرئيسي: العاصمة الإدارية الجديدة
تاريخ التأسيس: 1961؛ منذ 64 سنوات (1961)
النوع: وزارة
العضوية: مجلس الوزراء المصري
اللغات الرسمية: العربية
الوزير: محمد أيمن عاشور
نائب الوزير: حسام الدين صالح عثمان
الموقع الرسمي: mohesr.gov.eg
ar: ar
الإحداثيات: 30°00′55″N 31°44′33″E﻿ / ﻿30.01525°N 31.7425°E﻿ / 30.01525; 31.7425   
تعديل مصدري - تعديل  : تعديل مصدري - تعديل  
وزارة التعليم العالي والبحث العلمي هي الوزارة المصرية المسؤولة عن التعليم العالي وفوق المتوسط في المرحلة التعليمية التي تلي الثانوية العامة أو ما يعادلها (الثانوية الأزهرية أو الدبلومات الفنية أو غيرها). وكذلك هي المسؤولة عن البحث العلمي.
الجهات التابعة > التعليم العالي

المجلس الأعلى للجامعات.
المجلس الأعلى لشؤون التعليم والطلاب.
المجلس الأعلى لشؤون الدراسات العليا والبحوث.
المجلس الأعلى لشؤون خدمة المجتمع وتنمية البيئة.
مجلس الجامعات الخاصة والأهلية.
مجلس شؤون المعاهد العالية الخاصة.
المجلس الأعلى للتعليم التكنولوجي.
مجلس شؤون فروع الجامعات الأجنبية.
المجلس الأعلى للمستشفيات الجامعية.
هيئة دعم وتطوير الجامعات.( حلت محل الهيئة القومية للجامعات الأهلية والتكنولوجية).
الجهات التابعة > البحث العلمي

صندوق الاستشارات والدراسات والبحوث الفنية والتكنولوجية.
هيئة تمويل العلوم والتكنولوجيا والابتكار (حلت محل صندوق العلوم والتنمية التكنولوجية).
أكاديمية البحث العلمي والتكنولوجيا.
مجلس المراكز والمعاهد والهيئات البحثية:
الهيئة القومية للاستشعار عن بعد وعلوم الفضاء.
المركز القومي للبحوث.
مركز بحوث وتطوير الفلزات.
المعهد القومي لعلوم البحار والمصايد.
المعهد القومي للمعايرة.
المعهد القومي للبحوث الفلكية والجيوفيزيقية.
معهد تيودور بلهارس للأبحاث.
معهد بحوث أمراض العيون.
معهد بحوث البترول.
معهد بحوث الإلكترونيات.
مدينة الأبحاث العلمية والتطبيقات التكنولوجية:
معهد بحوث الهندسة الوراثية.
معهد بحوث زراعة الأراضي القاحلة.
معهد المعلوماتية.
معهد الليزر.
معهد بحوث التكنولوجيا المتقدمة والمواد الجديدة.
معهد بحوث البيئة والمواد الطبيعية.
معهد بحوث الطاقات الجديدة والمتجددة.
معهد بحوث الكيماويات الدقيقـة.
مركز تنمية القدرات العلمية والتكنووجية.
مركز تنمية الصناعات الصغيرة.
مركز تطوير الصناعات الهندسية.
مركز تطوير الصناعات الدوائية والصيدلية والتخميرية.
المنطقة الاستثمارية.
مراكز بحثية أخرى غير تابعة للوزارة

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

تولى وزارة التعليم العالي من إنشائها كل من:
أمجد الطرابلسي (7 أكتوبر 1961 ـ 17 أكتوبر 1961)
عبد العزيز السيد (18 أكتوبر 1961 ـ 10 أكتوبر 1965)
حسين سعيد (11 أكتوبر 1965 ـ 9 سبتمبر 1966)
عزت سلامة (10 سبتمبر 1966 ـ 18 يونيو 1967)
محمد لبيب شقير (19 يونيو 1967 ـ 27 أكتوبر 1968)
عبد الوهاب البرلسي (28 أكتوبر 1968 ـ 13 مايو 1971)
محمد مرسي أحمد (14 مايو 1971 ـ 17 يناير 1972)
شمس الوكيل (18 يناير 1972 ـ 26 مارس 1973)
كامل ليلة (27 مارس 1973 ـ 25 أبريل 1974)
إسماعيل غانم (26 أبريل 1974 ـ 15 أبريل 1975)
حافظ غانم (16 أبريل 1975 ـ 18 مارس 1976)
مصطفى كمال حلمي (19 مارس 1976 ـ 4 أكتوبر 1978)
محمد إسماعيل (5 أكتوبر 1978 ـ 18 يونيو 1979)
مصطفى كمال حلمي (للمرة الثانية: 19 يونيو 1979 ـ 8 سبتمبر 1985)
محمد فتحي محمد علي (9 سبتمبر 1985 ـ 9 نوفمبر 1986)
أحمد فتحي سرور (11 نوفمبر 1986 ـ 12 ديسمبر 1990)
عادل عبد الحميد عز (15 فبراير 1991 ـ 19 مايو 1991)
حسين كامل بهاء الدين (20 مايو 1991 ـ 7 يوليو 1997)
مفيد شهاب (8 يوليو 1997 ـ 11 يوليو 2004)
عمرو عزت سلامة (12 يوليو 2004 ـ 27 ديسمبر 2005)
هاني محفوظ هلال (31 ديسمبر 2005 ـ 23 فبراير 2011)
أحمد جمال الدين موسى (23 فبراير 2011 ـ 3 مارس 2011)
عمرو عزت سلامة (للمرة الثانية: 7 مارس 2011 ـ 21 يوليو 2011)
معتز محمد حسني خورشيد (21 يوليو 2011 ـ 1 ديسمبر 2011)
حسين خالد (2 ديسمبر 2011 – 11 مايو 2012)
محمد عبد الحميد النشار (11 مايو 2012 - 2 أغسطس 2012)
مصطفى السيد مسعد (2 أغسطس 2012 - 3 يوليو 2013)
حسام عيسى (16 يوليو 2013 - 24 فبراير 2014)
وائل الدجوي (1 مارس 2014 - 9 يونيو 2014)
السيد أحمد عبد الخالق (17 يونيو 2014 - 12 سبتمبر 2015)
أشرف الشيحي (19 سبتمبر 2015 - 16 فبراير 2017)
خالد عاطف عبد الغفار (16 فبراير 2017 - 13 أغسطس 2022 ).
محمد أيمن عاشور
انظر أيضاً

قائمة وزارات مصر
المجلس الأعلى للجامعات (مصر)
مكتب تنسيق القبول في الجامعات المصرية
قائمة جامعات مصر
إحصائيات القبول بالجامعات المصرية
بنك المعرفة المصري