stanford-oval/wikipedia huggingface dataset:
فتى الكاراتيه (فيلم 2010)

فتى الكاراتيه
بوستر الفيلم
| 0 | 1 |
| --- | --- |
الصنف الفني:   القائمة ... كوميديا درامية — فيلم دراما — فيلم فنون قتالية — فيلم للأطفال — فيلم رياضة 
تاريخ الصدور:  11 يونيو، 2010
مدة العرض:  92 دقيقة
اللغة الأصلية:  الإنجليزية
البلد:   الولايات المتحدة
موقع التصوير:  بكين 
موقع الويب:  sonypictures.com… (الإنجليزية) 
| 0 | 1 |
| --- | --- |
المخرج:  هارلد زويرات
الكاتب:  مايكل كريشتون
السيناريو:  Christopher Murphey (en)  — روبرت مارك كامن 
البطولة:  جاكي شان جيدن سميث
التصوير:  روجر برات
الموسيقى:  جيمس هورنر
التركيب:  Joel Negron (en)  
| 0 | 1 |
| --- | --- |
الشركات المنتجة:  اوفربووك انترتينمت كولومبيا بيكتشرز شركة تشاينا فيلم غروب Jerry Weintraub Productions (en)  
المنتج:  ويل سميث
المنتج المنفذ:  Dany Wolf (en)   Han Sanping (en)  
التوزيع:  أفلام كولومبيا
نسق التوزيع:  فيديو حسب الطلب 
الميزانية:  40,000,000$
الإيرادات:  222,071,100 $
| 0 | 1 |
| --- | --- |
السلسلة:   The Karate Kid (en)   → ذا نيكست كاراتيه كيد 
تعديل - تعديل مصدري - تعديل ويكي بيانات
فتى الكاراتيه (بالإنجليزية: The Karate Kid)‏ فيلم أمريكي وهو نسخة جديدة من سلسلة أفلام فتى الكاراتيه التي صدرت بالثمانينات، وهو من بطولة جاكي شان وجيدن سميث.
تم تصوير الفيلم في مدينة بكين عاصمة الصين ،بدأ التصوير شهر يوليو 2009 وانتهى 16 أكتوبر من نفس السنة، تم إصدار الفيلم في أمريكا يوم 11 يونيو 2010، لكنه صدر قبل ذلك بيوم في سنغافورة.
القصة

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

1 2  مذكور في: تفريغات بيانات Freebase. الناشر: جوجل.
وصلات خارجية

الموقع الرسمي
فتى الكاراتيه على موقع IMDb (الإنجليزية)
فتى الكاراتيه على موقع ميتاكريتيك (الإنجليزية)
فتى الكاراتيه على موقع الموسوعة البريطانية (الإنجليزية)
فتى الكاراتيه على موقع روتن توميتوز (الإنجليزية)
فتى الكاراتيه على موقع نتفليكس (الإنجليزية)
فتى الكاراتيه على موقع قاعدة بيانات الأفلام العربية
فتى الكاراتيه على موقع ألو سيني (الفرنسية)
فتى الكاراتيه على موقع Turner Classic Movies (الإنجليزية)
فتى الكاراتيه على موقع أول موفي (الإنجليزية)
فتى الكاراتيه على موقع بوكس أوفيس موجو (الإنجليزية)
بوابة السينما الأمريكية
بوابة الصين
بوابة الولايات المتحدة
بوابة بكين
بوابة سينما
بوابة عقد 2010
بوابة فنون قتالية
| ضبط استنادي  | ضبط استنادي  |
| --- | --- |
دولية:  ملف الضبط الاستنادي الافتراضي الدَّولي (VIAF) 
وطنية:  المكتبة القومية الإسبانية (BNE)  المكتبة الوطنية الفرنسية (BnF)  مكتبة الكونغرس (LCNAF)
عاكس (بوابة منطقية)

لمعانٍ أخرى، طالع عاكس (توضيح).
| 0 | 1 |
| --- | --- |
الدخل أ: الخرج   ليس أ
0: 1
1: 0
رمز بوابة ليس
بوابة ليس المنطقية أو العاكس المنطقي أو البوابة لا هي بوابة منطقية وظيفتها عكس القيمة الرقمية(المنطقية) للمتغير الرقمي المدخل، إن دخول متغير رقمي بقيمة 0 ينتج القيمة 1 على الطرف الآخر من البوابة، توضح بوابة «ليس» بمثلث رأسه متبوع بدائرة بحيث رأس المثلث المتبوع بدائرة يكون في طرف القيمة الناتجة.
التصميم الإلكتروني

NMOS عاكس
PMOS عاكس
Static CMOS عاكس
مخطط عاكس رقمي الحمل المشبع
مراجع

↑  "معلومات عن عاكس (بوابة منطقية) على موقع babelnet.org". babelnet.org. مؤرشف من الأصل في 2020-07-11.
↑  "معلومات عن عاكس (بوابة منطقية) على موقع zthiztegia.elhuyar.eus". zthiztegia.elhuyar.eus. مؤرشف من الأصل في 2021-05-09.
| ع ن روابط منطقية شهيرة | ع ن روابط منطقية شهيرة | ع ن روابط منطقية شهيرة |
| --- | --- | --- |
|  تحصيل حاصل/صواب  \top   |  تحصيل حاصل/صواب  \top   |  |
|  عطف منفي  ‏ بوابة عطف منفي  \uparrow   معكوس الاقتضاء  \leftarrow   الاقتضاء المنطقي بوابة اقتضاء  ‏  \rightarrow   الفصل المنطقي (بوابة فصل)  \lor   |  عطف منفي  ‏ بوابة عطف منفي  \uparrow   معكوس الاقتضاء  \leftarrow   الاقتضاء المنطقي بوابة اقتضاء  ‏  \rightarrow   الفصل المنطقي (بوابة فصل)  \lor   |  |
|  النفي (بوابة النفي  \neg   فصل منطقي إقصائي  ‏ (بوابة فصل إقصائي)  \not \leftrightarrow   اقتضاء منطقي ثنائي  ‏ بوابة فصل إقصائي منفي  \leftrightarrow   عبارة منطقية صوان رقمي   |  النفي (بوابة النفي  \neg   فصل منطقي إقصائي  ‏ (بوابة فصل إقصائي)  \not \leftrightarrow   اقتضاء منطقي ثنائي  ‏ بوابة فصل إقصائي منفي  \leftrightarrow   عبارة منطقية صوان رقمي   |  |
|  فصل منطقي منفي بوابة فصل منطقي منفي  \downarrow   اقتضاء منفي  ‏ بوابة اقتضاء منفي  ‏  \nrightarrow   معكوس اقتضاء منفي  ‏  \nleftarrow   العطف المنطقي بوابة عطف  \land   |  فصل منطقي منفي بوابة فصل منطقي منفي  \downarrow   اقتضاء منفي  ‏ بوابة اقتضاء منفي  ‏  \nrightarrow   معكوس اقتضاء منفي  ‏  \nleftarrow   العطف المنطقي بوابة عطف  \land   |  |
|  التناقض/باطل  \bot   |  التناقض/باطل  \bot   |  |
 بوابة فلسفة:  بوابة فلسفة
بوابة إلكترونيات
بوابة رياضيات
بوابة علم الحاسوب
بوابة منطق
قائمة السلطات

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

فيما يلي أهم أنواع الصلصات والتتبيلات التي تستخدم للسلطات:
صلصة الجبن الأزرق
سلطة سيزر
زيت زيتون
صلصة فرنسية
ديجون العسل
حمص بطحينة
صلصة إيطالية
صلصة لويس
صلصة الرانش
خل الأرز
صلصة روسية
طحينة
صلصة الألف جزيرة
صلصة وافو
طالع أيضاً

قائمة الأطعمة
مطبخ (أسلوب)
قائمة أطباق محضرة من الخضراوات
مقبلات
وصلات خارجية

وصفات سلطات
قالب:أطعمة محضرة
في كومنز مواد ذات صلة بـ قائمة السلطات.
بوابة مطاعم وطعام
سلطة باستا
برقة (رام الله)

هذه المقالة عن قرية برقة الفلسطينية في قضاء رام الله. لمعانٍ أخرى، طالع برقة (توضيح).
برقة هي قرية فلسطينية تقع قرب دير دبوان بمحافظة رام الله والبيرة وقعت تحت الاحتلال الإسرائيلي في حرب 1967. وهي غير قربة برقة في محافظة نابلس.
طقس سرياني شرقي
مراجع

↑  راجع، مقدمة كتاب القداس، مرجع سابق، ص.9
↑  Mazza 1999، صفحات 74
1 2 3  Taft 1986، صفحات 226
↑  Taft 1986، صفحات 225
↑  Chupungco 2000، صفحات 38
1 2  Jasper & Cuming 1986، صفحات 39
↑  Jasper & Cuming 1986، صفحات 40
↑  Mazza 1999، صفحات 72
↑  Jasper & Cuming 1986، صفحات 45
↑  Jasper & Cuming 1986، صفحات 41
↑  Jasper & Cuming 1986، صفحات 42
جورج ميريت

لمعانٍ أخرى، طالع جورج ميريت (توضيح).
| جورج ميريت | جورج ميريت |
| --- | --- |
 معلومات شخصية :  معلومات شخصية 
الميلاد: 10 ديسمبر 1890     لندن  
الوفاة: 27 سبتمبر 1977 (86 سنة)       لندن  
مواطنة:  المملكة المتحدة  المملكة المتحدة لبريطانيا العظمى وأيرلندا (–12 أبريل 1927)  
 الحياة العملية  :  الحياة العملية  
المهنة: ممثل، وممثل مسرحي  
اللغات: الإنجليزية  
المواقع : المواقع 
IMDB: صفحته على IMDB  
تعديل مصدري - تعديل  : تعديل مصدري - تعديل  
جورج ميريت (بالإنجليزية: George Merritt)‏ هو ممثل بريطاني (وحمل سابقاً جنسية المملكة المتحدة لبريطانيا العظمى وأيرلندا)، ولد في 10 ديسمبر 1890 بلندن في المملكة المتحدة، وتوفي بنفس المكان في 27 سبتمبر 1977.
أعمال > أفلام

(1937) شابة بريئة
هذه القائمة تُستورد من ويكي بيانات بصفة دورية بواسطة بوت.
مراجع

↑   https://www.mymovies.it/persone/-/24863. {{استشهاد ويب}}: |url= بحاجة لعنوان (مساعدة) والوسيط |title= غير موجود أو فارغ (من ويكي بيانات) (مساعدة)
↑  "George Merritt". aveleyman.com. مؤرشف من الأصل في 2018-11-05.
↑  "George Merritt – Biography, Movie Highlights and Photos". AllMovie. مؤرشف من الأصل في 2018-02-18.
↑  "gb206-liddlecollectionruh34 – George Merritt Papers  – Archives Hub". archiveshub.ac.uk. مؤرشف من الأصل في 2016-03-04.
وصلات خارجية

جورج ميريت على موقع IMDb (الإنجليزية)
جورج ميريت على موقع ألو سيني (الفرنسية)
جورج ميريت على موقع ميوزك برينز (الإنجليزية)
جورج ميريت على موقع أول موفي (الإنجليزية)
جورج ميريت على موقع قاعدة بيانات الأفلام السويدية (السويدية)
جورج ميريت على موقع قاعدة بيانات الفيلم (الإنجليزية)
جورج ميريت على موقع كينوبويسك (الروسية)
بوابة مسرح
بوابة المملكة المتحدة
بوابة تمثيل
بوابة أعلام
| ضبط استنادي  | ضبط استنادي  |
| --- | --- |
دولية:  ملف الضبط الاستنادي الافتراضي الدَّولي (VIAF)  مركز المكتبة الرقمية على الإنترنت (WC Entities) 
وطنية:  المكتبة القومية الإسرائيلية (J9U)  مكتبة الكونغرس (LCNAF) 
فنية:  موسوعة ميوزيك برينز (MBA)
كريستيان غوميز (لاعب كرة قدم)

لمعانٍ أخرى، طالع كريستيان غوميز (توضيح).
| كريستيان غوميز>  معلومات شخصية   | كريستيان غوميز>  معلومات شخصية   | كريستيان غوميز>  معلومات شخصية   | كريستيان غوميز>  معلومات شخصية   | كريستيان غوميز>  معلومات شخصية   |  |
| --- | --- | --- | --- | --- | --- |
الميلاد: 27 يوليو 1989 (العمر 35 سنة)   لوسبيتاليت دي يوبريغات  
الطول: 1.86 م (6 قدم 1 بوصة)
مركز اللعب: وسط
الجنسية:  إسبانيا  
|   معلومات النادي   |   معلومات النادي   |   معلومات النادي   |   معلومات النادي   |   معلومات النادي   |  |
النادي الحالي: أوسبيتاليت
الرقم: 5
|  مسيرة الشباب   |  مسيرة الشباب   |  مسيرة الشباب   |  مسيرة الشباب   |  مسيرة الشباب   |  |
| سنوات | فريق |  |  |  |  |
 2006–2008 : أوسبيتاليت
| المسيرة الاحترافية1  | المسيرة الاحترافية1  | المسيرة الاحترافية1  | المسيرة الاحترافية1  | المسيرة الاحترافية1  |  |
| سنوات | فريق | م. | (هـ.) |  |  |
| 2008–2011 | أوسبيتاليت  | 70 | (3) |  |  |
| 2011–2012 | إسبانيول ب | 14 | (1) |  |  |
| 2011–2015 | إسبانيول | 36 | (1) |  |  |
| 2013–2014 | ← ريال مدريد كاستيا (إعارة) | 11 | (0) |  |  |
| 2014–2015 | ← جيرونا (إعارة) | 8 | (0) |  |  |
| 2016 | أوسبيتاليت | 13 | (0) |  |  |
| 2016–2017 | نادي ليدا | 26 | (2) |  |  |
| 2017– | أوسبيتاليت | 137 | (8) |  |  |
| 1 عدد مرات الظهور مع الأندية وعدد الأهداف تحسب للدوري المحلي فقط  وهو محدث في 6 يوليو 2022. | 1 عدد مرات الظهور مع الأندية وعدد الأهداف تحسب للدوري المحلي فقط  وهو محدث في 6 يوليو 2022. | 1 عدد مرات الظهور مع الأندية وعدد الأهداف تحسب للدوري المحلي فقط  وهو محدث في 6 يوليو 2022. | 1 عدد مرات الظهور مع الأندية وعدد الأهداف تحسب للدوري المحلي فقط  وهو محدث في 6 يوليو 2022. | 1 عدد مرات الظهور مع الأندية وعدد الأهداف تحسب للدوري المحلي فقط  وهو محدث في 6 يوليو 2022. |  |
كريستيان غوميز (بالإسبانية: Cristian Gómez García)‏ (27 يوليو 1989 بلوسبيتاليت دي يوبريغات في إسبانيا - ) هو لاعب كرة قدم إسباني في مركز الوسط. لعب مع إسبانيول وريال مدريد كاستيا ونادي أوسبيتاليت ونادي جيرونا وإسبانيول ب.
مراجع

↑  Cristian Gómez; El Blog de L'Hospi, 30 November 2010 (in Catalan) نسخة محفوظة 21 ديسمبر 2016 على موقع واي باك مشين.
وصلات خارجية

كريستيان غوميز على موقع قاعدة بيانات كرة القدم.إي يو (الإنجليزية)
كريستيان غوميز على موقع Soccerway.com (الإنجليزية)
كريستيان غوميز على موقع AS.com (الإسبانية)
بوابة أعلام
بوابة إسبانيا
بوابة كرة القدم
ورقة 100 دولار أسترالي

| ورقة 100 دولار أسترالي> البلد  | ورقة 100 دولار أسترالي> البلد  |
| --- | --- |
القيمة: 100 دولار أسترالي
العرض: 158 ملم
الارتفاع: 65 ملم
ميزات  أمنية: نافذة شفافة وطباعة الأشعة فوق البنفسجية ورقم تسلسلي موحد وخطوط مختلفة وعلامة مائية
المواد المستخدمة: مبلمر
سنوات الطباعة: 1996، 1998–99، 2008، 2010–11، 2013–14، 2017، 2019-20 
 وجه العملة :  وجه العملة 
التصميم: نيلي ميلبا
المصمم: emerystudios
تاريخ التصميم: 29 أكتوبر 2020
ظهر العملة : ظهر العملة 
التصميم: جون موناش
المصمم: emerystudios
تاريخ التصميم: 29 أكتوبر 2020
تعديل مصدري - تعديل  : تعديل مصدري - تعديل  
ورقة 100 دولار أسترالي هي أعلى فئة من الدولار الأسترالي أصدرت أول مرة في عام 1984. كان هناك إصداران مختلفان من هذه الورقة: الأولى ورقة فيروزية فاتحة للغاية ثم مايو 1996 ورقة بوليمر خضراء.
التصميم

أصدرت ورقة 100 دولار يوم الاثنين 31 مارس 1984 على وجه الورقة صورة السير دوغلاس ماوسون مستكشف المنطقة القطبية الجنوبية وفي خلفيتها جبال. وعلى ظهر الورقة عالم الفلك جون تيبوت مع خلفية للمرصد الذي بناه وكنيسة محلية. أصدرت سلسلة البوليمر يوم الأربعاء 15 مايو 1996 وهي من تصميم بروس ستيوارت، على وجه الورقة السيدة نيلي ميلبا والمهندس وعلى ظهرها جنرال الحرب العالمية الأول السير جون موناش وفي الخلفية صور من الحرب العالمية الأولى.
طرح تصميم جديد للأوراق النقدية يوم الخميس 29 أكتوبر 2020 وهو جزء من برنامج الجيل القادم من الأوراق النقدية للبنك الاحتياطي.
التداول

بلغت عدد أوراق 100 دولار المتداولة في يونيو 2005 وفقًا لإحصائيات بنك الاحتياطي الأسترالي 149 مليونًا، أي 18.5% من إجمالي الأوراق النقدية المتداولة أي ما قيمته 14.924 مليون دولار، أي 41.9% من القيمة الإجمالية لجميع الفئات. ورقة 50 دولار هي الوحيدة التي كان تداولها أكبر من ورقة 100 دولار. تم تداول 337 مليون ورقة نقدية من فئة 100 دولار في يونيو 2017، أي 22% من إجمالي الأوراق النقدية المتداولة؛ بقيمة 33,689 مليون دولار، أي 46% من القيمة الإجمالية لجميع الفئات.
للاستزادة

Ian W. Pitt، المحرر (2000). Renniks Australian Coin and Banknote Values (ط. 19th). Chippendale, NSW  ‏: Renniks Publications. ص. 171–172. ISBN:0-9585574-4-6.{{استشهاد بكتاب}}:  صيانة الاستشهاد: علامات ترقيم زائدة (link) صيانة الاستشهاد: مكان (link)
بوابة أستراليا
بوابة علم العملات
طريقة شكلية

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

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

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

Jean François Monin and Michael G. Hinchey, Understanding formal methods, سبرنجر, 2003, ISBN 1-85233-247-6.
جوناثان بوين and Michael G. Hinchey, Formal Methods. In Allen B. Tucker, Jr. (ed.), Computer Science Handbook, 2nd edition, Section XI, Software Engineering,Chapter 106, pages 106-1&nbsp;– 106-25, Chapman & Hall / سي آر سي بريس، رابطة مكائن الحوسبة, 2004.
Michael G. Hinchey, Jonathan P. Bowen, and Emil Vassev, Formal Methods. In Philip A. Laplante (ed.), Encyclopedia of Software Engineering, تايلور وفرانسيس, 2010, pages 308–320.
وصلات خارجية

Formal Methods Europe (FME)
Formal method keyword on Microsoft Academic Search
Foldoc:formal methods
Evidence on Formal Methods uses and impact on Industry Supported by the DEPLOY project (EU FP7)
| ع ن علم الحاسوب | ع ن علم الحاسوب |
| --- | --- |
يعتمد هذا القالب على تصنيف أنظمة الحوسبة ‏ الذي أنجزته جمعية آلات الحوسبة  في عام 2012: يعتمد هذا القالب على تصنيف أنظمة الحوسبة ‏ الذي أنجزته جمعية آلات الحوسبة  في عام 2012
العتاد:  اللوحات المطبوعة  الطرفيات  الدارات المُتكاملة  تكامل وسيع النطاق  نظام على رقاقة  الحوسبة الخضراء  أتمتة التصميم الإلكتروني  تسريع العتاد 
بنية الأنظمة:  المعماريَّة  الأنظمة المُضمَّنة  الحوسبة في الزمن الحقيقي  الاعتمادية ‏ 
الشبكات:  المعماريَّة  البروتوكولات  العتاد  الجدولة  الأداء  الخدمات 
بنية البرمجيات:  المُفسِّرات  برمجيات وسيطة  آلة افتراضية  أنظمة التشغيل  جودة البرمجيات 
نظرية لغات البرمجة وأدواتها:  الأنماط  اللغات البرمجة  النمذجة  مخصصة النطاق  المُصرِّفات  أُطُر العمل بيئة التطوير المتكاملة  المكتبات  المُستودعات 
تطوير البرمجيات:  المتغيرات  عملية التطوير  تحليل المتطلبات  التصميم  البناء  النشر  الصيانة  فريق البرمجة  البرمجيات حُرَّة المصدر 
نظرية الحوسبة:  نموذج حوسبة  لغة متصرفة  نظريات التشغيل الذاتي  الحسوبية  التعقيد الحسابي  المنطق  علم الدلالة الشكلي 
الخوارزميات:  التحليل  الكفاءة  خوارزمية عشوائية  هندسة مُحوسبة 
رياضيات الحوسبة:  رياضيات مُتقطِّعة  الاحتمالات  الإحصاء  برمجية رياضية  نظرية المعلومات  التحليل الرياضي  العددي  علم الحاسوب النظري 
نظم المعلومات:  أنواع التخزين قواعد البيانات  الوسائط المتعددة  اقتصادية  اجتماعية  جغرافية  دعم القرارات  التحكُّم في العمليات  تنقيب في البيانات  مكتبة رقمية  منصة حوسبة  التسويق الرقمي  شبكة عالمية المجال  استرجاع المعلومات 
الأمن:  أنواع العتاد ‏  الشبكات  المعلومات  التطبيقات  الخدمات  علم التعمية  طريقة شكلية  أنظمة كشف التسلسل 
التفاعل الإنساني الحاسويبي:  حوسبة اجتماعية  سائدة  تصميم التفاعل  تمثيل مرئي  إمكانية الوصول ‏ 
تزامن:  أنواع  مُتزامِنة  مُتوازيَّة  مُوزَّعة  تشعب مُتعدِّد ‏  مُعالَجة مُتعدِّدة 
الذكاء الاصطناعي:  معالجة اللغة الطبيعية  تمثيل المعرفة  رؤية حاسوبية  التخطيط الآلي والجدولة  الاستمثال  نظرية التَّحكُّم  الفلسفة  ذكاء اصطناعي مُوزَّع ‏ 
تعلم الآلة:  أنواع التَّعلُّم مُراقَب  غير مُراقَب  مَدعُوم  مُتعدِّد المهام ‏  التحقق  المُتقاطِع 
رسوميَّات:  التحريك  تصيير  صور التَّلاعُب  الضَّغط  وحدة معالجة الرسوميَّات  وُقُع افتراضي  مُعزَّز  مُختلَط  نمذجة المُجسَّمات ‏ 
الحوسبة التطبيقيَّة:  اختصاصات محوسبة رياضيات  كيمياء  فيزياء  علم الأحياء  هندسة  العلوم الاجتماعية  معلوماتية صحية  التجارة الرقميَّة  الفن الرقمي  النشر الرقمي  حرب رقمية عبر الشبكة  التصويت الإلكتروني  ألعاب الفيديو  مُعالِجات النصوص  بحوث العمليات  تقنيات التعليم 
  تصنيف   مُختصَر موجز   مشروع   كُومُنز :   تصنيف   مُختصَر موجز   مشروع   كُومُنز 
بوابة تقانة المعلومات
بوابة رياضيات
بوابة علم الحاسوب
برشلونة بوتسو دي غوتو

برشلونة بوتسو دي غوتو (بالإيطالية: Barcellona Pozzo di Gotto)‏ مدينة إيطالية في شمال شرق جزيرة صقلية ضمن مقاطعة ميسينا وتبعد عن مدينة ميسينا 40 كم غربا، أسست مدينة بوتسو دي غوتو 1463 م على يد نبيل ميسينا نيكولو غوتو وأسست مدينة برشلونة في عام 1522 م إبان سيطرة الأسبان على الجزيرة، وفي عام 1836 م تم توحيد المدينتين فأصبحت تعرف باسمها الحالي، عدد سكانها 41.569 نسمة.
السكان

في سنة 1861 بلغ عدد السكان 20٬257 نسمة، وتطور العدد ليصل في سنة 2011 لـ 41٬632 نسمة.
يظهر هذا المخطط البياني تطور النمو السكاني لـ برشلونة بوتسو دي غوتو
توأمة

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

فابيو أفاني
نفخ الروح

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

الروح الأرسطية
اعتقد أبقراط (c.460 - c.370 قبل الميلاد)، من بين العلماء اليونانيين، أن الجنين هو نتاج السائل المنوي والعامل الأنثوي. إلا أن أرسطو (384 - 322 قبل الميلاد) رأى أن السائل المنوي فقط هو الذي يؤدي إلى تكون الجنين، أما الأنثى فهي فقط توفر مكانًا لتطور الجنين (الرحم)، واعتقد أرسطو أن الجنين في المراحل المبكرة من الحمل يكون لديه روح الخضروات (الروح النمائية)، ثم الروح الحيوانية، ثم لاحقا يصبح «متحركاً» بالروح الإنسانية من خلال «نفخ الروح»، والذي يحدث، بالنسبة لأرسطو، بعد أربعين 40 يومًا من الحمل في حالة الجنين الذكر، وتسعين يومًا من الحمل في حالة الجنين الأنثى، وبحدوث نفخ الروح تشعر الأم الارتكاض الجنين لأول مرة داخل الرحم ويُصبح الحمل مؤكدًا.
يسمى نفخ الروح بالتخلق المتوالي، وهي «النظرية القائلة بأن الخلايا تُجلب إلى الوجود (عن طريق التراكمات المتتالية)، وليس فقط مجرد التطور الحادث خلال عملية التكاثر». على النقيض من ذلك نظرية سبق التكوين، التي تؤكد على «الوجود البدائي المفترض لجميع أجزاء الكائن الحي في البويضة أو البذرة؛» فيما يرى علم الأجنة الحديث أن الكائن الحي يبدأ برمز جيني موروث، وأن الخلايا الجذعية الجنينية يمكن أن تتطور بالتخلق المتوالي إلى أنواع الخلايا المتنوعة، وبذلك فإن علم الأجنة يُعتبر وسط بين وجهتي النظر السابقتين.
حافظت الرواقية على الرأي القائل بأن الروح الحيوانية تدخل الجسد فقط عند الولادة، من خلال التلامس مع الهواء الخارجي، وتتحول إلى عقل منطقي فقط في سن الرابعة عشرة.
اعتبرت الإبيقورية أن أصل الروح (والتي اعتبرتها متكونة فقط من عدد صغير من الذرات، حتى في البالغين) متزامن مع الحمل، واعتبر فيثاغورس أيضاً أن نفخ الروح يحدث عند الحمل.
اليهودية

ووفقاً لـسفر التكوين 2:7 «لم يصنع الله جسدًا ووضع روحًا فيه، ؛ بل شكل جسد الإنسان من الغبار، ثم نفخ فيه النفس الإلهي فأحيا جسد الغبار. أي أن الغبار لم يجسد الروح، لكنه أصبح روحا - أصبح مخلوق كامل.»