stanford-oval/wikipedia huggingface dataset:
كأس العالم لسباق الدراجات على الطريق للسيدات 2015

| كأس العالم لسباق الدراجات على الطريق للسيدات 2015> تفاصيل  | كأس العالم لسباق الدراجات على الطريق للسيدات 2015> تفاصيل  |
| --- | --- |
النسخة: 18  
التاريخ: بداية:14 مارس 2015  نهاية:29 أغسطس 2015  
المنظم: الاتحاد الدولي للدراجات  
البطل: ليزي ديجنان،  وأنا فان دير بريغين،  وجولين ديهور،  وكاتارزينا نيفيادوما  
  كأس العالم لسباق الدراجات على الطريق للسيدات 2014       :   كأس العالم لسباق الدراجات على الطريق للسيدات 2014       
تعديل مصدري - تعديل  : تعديل مصدري - تعديل  
كأس العالم لسباق الدراجات على الطريق للسيدات 2015 هو الموسم 18 من  كأس العالم لسباق الدراجات على الطريق للنساء. أشرف على تنظيمه الاتحاد الدولي للدراجات، وفاز فيه ليزي ديجنان، وأنا فان دير بريغين، وجولين ديهور، وفاز بالمركز الثاني  أنا فان دير بريغين، وفاز بالمركز الثالث  جولين ديهور.
نتائج الموسم

|  كأس العالم لسباق الدراجات على الطريق للسيدات 2015> التاريخ |  كأس العالم لسباق الدراجات على الطريق للسيدات 2015> السباق |  كأس العالم لسباق الدراجات على الطريق للسيدات 2015> الصنف |  كأس العالم لسباق الدراجات على الطريق للسيدات 2015> الفائز |  كأس العالم لسباق الدراجات على الطريق للسيدات 2015> الثاني |  كأس العالم لسباق الدراجات على الطريق للسيدات 2015> الثالث |  كأس العالم لسباق الدراجات على الطريق للسيدات 2015>  |  كأس العالم لسباق الدراجات على الطريق للسيدات 2015>  |
| --- | --- | --- | --- | --- | --- | --- | --- |
| 14 مارس |  روند فان درينثي كأس العالم |  |  جولين ديهور |  ايمي بيترز |  Ellen van Dijk |  |  |
| 29 مارس |  تروفيو ألفريدو بيندا كومون دي سيتيجليو |  |  Lizzie Armitstead |  بولين فيرون-برفوت |  أنا فان دير بريغين |  |  |
| 5 أبريل |  طواف فلاندرز للسيدات |  |  إليسا ونغو بورغيني |  جولين ديهور |  أنا فان دير بريغين |  |  |
| 22 أبريل |  فليش والون للسيدات |  أنا فان دير بريغين |  أنيميك فان فليوتن |  ميغان غوارنير |  |  |  |
| 17 مايو |  طواف جزيرة تشونغ مينغ كأس العالم |  |  جورجيا برونزيني |  كيرستن وايلد |  Fanny Riberot ‏ |  |  |
| 7 يونيو |  دراجات فيلادلفيا الكلاسيكية |  |  Lizzie Armitstead |  إليسا ونغو بورغيني |  ألينا أمياليوسيك |  |  |
| 2 أغسطس |  Tour de Bochum Women |  |  باربرا جوارشي |  لوسيندا براند |  إميلي موبيرج |  |  |
| 21 أغسطس |  أوبن دي سويد فارجاردا - سباق الزمن للفرق |  |  Rabo Liv Women |  Velocio-SRAM |  Boels Dolmans |  |  |
| 23 أغسطس |  أوبن دي سويد فارجاردا - سباق الطريق |  |  جولين ديهور |  جورجيا برونزيني |  ليزا برينور |  |  |
| 29 أغسطس |  جي بي دي بلواي |  |  Lizzie Armitstead |  إيما جوهانسون |  بولين فيرون-برفوت |  |  |
مراجع

↑  "World Cup – Results – Cycling – Road 2015". الاتحاد الدولي للدراجات. مؤرشف من الأصل في 2016-03-04. اطلع عليه بتاريخ 2015-11-25.
↑  "2015 Boels Rental Ronde van Drenthe: Result". ProCyclingStats. مؤرشف من الأصل في 2017-12-30. اطلع عليه بتاريخ 2015-11-25.
↑  "Races  »  CDM  »  2015". Procyclingstats.com. مؤرشف من الأصل في 2014-12-01. اطلع عليه بتاريخ 2014-12-20.
| 0 | 1 | 2 |
| --- | --- | --- |
| سبقه كأس العالم لسباق الدراجات على الطريق للسيدات 2014 | كأس العالم لسباق الدراجات على الطريق للنساء 2015 | تبعه  |
| ع ن كأس العالم لسباق الدراجات على الطريق للسيدات | ع ن كأس العالم لسباق الدراجات على الطريق للسيدات |
| --- | --- |
 1998  1999  2000  2001  2002  2003  2004  2005  2006  2007  2008  2009  2010  2011  2012  2013  2014  2015  2016  2017  2018  2019  2020 :  1998  1999  2000  2001  2002  2003  2004  2005  2006  2007  2008  2009  2010  2011  2012  2013  2014  2015  2016  2017  2018  2019  2020 
| ع ن كأس العالم لسباق الدراجات على الطريق للسيدات | ع ن كأس العالم لسباق الدراجات على الطريق للسيدات |
| --- | --- |
 1998  1999  2000  2001  2002  2003  2004  2005  2006  2007  2008  2009  2010  2011  2012  2013  2014  2015  2016  2017  2018  2019  2020 :  1998  1999  2000  2001  2002  2003  2004  2005  2006  2007  2008  2009  2010  2011  2012  2013  2014  2015  2016  2017  2018  2019  2020 
بوابة سباق الدراجات الهوائية
بوابة عقد 2010
قانون تحرير العراق

| قانون تحرير العراق | قانون تحرير العراق |
| --- | --- |
شعار الولايات المتحدة الأمريكيةشعار الولايات المتحدة الأمريكية: شعار الولايات المتحدة الأمريكيةشعار الولايات المتحدة الأمريكية
تاريخ التشريع : تاريخ التشريع 
تعديل مصدري - تعديل  : تعديل مصدري - تعديل  
قانون تحرير العراق هو بيان للكونغرس الأمريكي ينص على أنه «ينبغي أن تكون سياسة الولايات المتحدة دعم الجهود الرامية إلى إزالة النظام الذي يرأسه صدام حسين من السلطة في العراق...» وقد وقع الرئيس بيل كلينتون عليه قانونًا، وينص على أنه سياسة الولايات المتحدة تدعم الحركات الديمقراطية داخل العراق. وذكر القانون في أكتوبر 2002 للدفاع عن التفويض بالقوة العسكرية ضد الحكومة العراقية.
وقد شارك في تقديم مشروع القانون النائب بنجامين أ. غيلمان (جمهوري، نيويورك-20) وشارك في رعايته النائب كريستوفر كوكس (جمهوري، كاليفورنيا-47). وقد تم تقديم مشروع القانون باعتباره H.R. 4655 في 29 سبتمبر 1998. وأقر مجلس النواب مشروع القانون 360 - 38 في 5 أكتوبر، ووافق مجلس الشيوخ عليه بموافقة إجماعية بعد يومين. وقد وقع الرئيس كلينتون على قانون تحرير العراق في 31 أكتوبر 1998.
النتائج وإعلان السياسات

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

الجدول الزمني لنزع سلاح العراق 1990–2003
قرار مجلس الأمن التابع للأمم المتحدة رقم 1163

| قرار مجلس الأمن 1163 | قرار مجلس الأمن 1163 |
| --- | --- |
المغرب (البُرتُقالي)، الصحراء الغربية (الأحمر)، موريتانيا (الأزرق)، الجزائر (الأخضر)المغرب (البُرتُقالي)، الصحراء الغربية (الأحمر)، موريتانيا (الأزرق)، الجزائر (الأخضر): المغرب (البُرتُقالي)، الصحراء الغربية (الأحمر)، موريتانيا (الأزرق)، الجزائر (الأخضر)المغرب (البُرتُقالي)، الصحراء الغربية (الأحمر)، موريتانيا (الأزرق)، الجزائر (الأخضر)
التاريخ: 17 أبريل 1998
اجتماع رقم: 3,873
الرمز: S/RES/1163  (الوثيقة)
الموضوع: الوضع بشأن الصحراء الغربية
ملخص التصويت: 15 مصوت لصالح لا أحد مصوت ضد لا أحد ممتنع
النتيجة: اعتُمد
الأعضاء الدائمون:  الصين  فرنسا  المملكة المتحدة  الولايات المتحدة  روسيا
أعضاء غير دائمين:  البحرين  البرازيل  كوستاريكا  الغابون  غامبيا  اليابان  كينيا  البرتغال  سلوفينيا  السويد
  قرار مجلس الأمن التابع للأمم المتحدة رقم 1162    قرار مجلس الأمن التابع للأمم المتحدة رقم 1164    :   قرار مجلس الأمن التابع للأمم المتحدة رقم 1162    قرار مجلس الأمن التابع للأمم المتحدة رقم 1164    
تعديل مصدري - تعديل  : تعديل مصدري - تعديل  
قرار مجلس الأمن التابع للأمم المتحدة 1163 هُو قرار اتخذ بالإجماع في 17 أبريل 1998، بعد إعادة التأكيد على جميع القرارات السابقة بشأن الصحراء الغربية، حيث مدد المجلس ولاية بعثة الأمم المتحدة للاستفتاء في الصحراء الغربية (المينورسو) حتى 20 يوليو 1998، حتى تُمضي قدما في مهام تحديد هُوية الناخبين.
وأكد مجلس الأمن من جديد الاتفاق المُبرم بين حكومة المغرب وجبهة البوليساريو بشأن تنفيذ خطة التسوية، وأن مسؤولية تحديد هوية الناخبين تقع على عاتق لجنة تحديد الهوية. كما أكد على ضرورة إجراء استفتاء حول تقرير المصير لشعب الصحراء الغربية وفقاً لخُطة التسوية.
إضافة إلى تمديد ولاية بعثة الأمم المتحدة للاستفتاء في الصحراء الغربية حتى 20 يوليو 1998، نص القرار أيضا على استمرار نشر الوحدات الهندسية والمُوظفين الإداريين اللازمين لإزالة الألغام ودعم نشر الأفراد العسكريين، وأشار إلى أن المجلس سينظر في طلب قُوات إضافية وقُوات شرطة. وطالب المجلس حكومات الجزائر وموريتانيا والمغرب بالتوقيع على اتفاقية تمركز القُوات مع الأمم المتحدة.
واختُتم القرار بتكليف الأمين العام كوفي عنان بمهمة إرسال تقرير إلى مجلس الأمن كُل 30 يوما يتضمن مسار تنفيذ القرار الحالي وأعمال بعثة المينورسو.
مراجع

↑  "Security Council extends mandate of MINURSO until 20 July". United Nations. 17 April 1998. مؤرشف من الأصل في 2012-10-25. اطلع عليه بتاريخ أكتوبر 2020. {{استشهاد بخبر}}: تحقق من التاريخ في: |تاريخ الوصول= (مساعدة)
↑  Africa Research, Ltd (2002). Africa contemporary record: annual survey and documents, Volume 26. Africana Pub. Co. ص. B-607. ISBN:978-0-8419-1222-9.
| ع ن قرارات مجلس الأمن التابع للأمم المتحدة المعتمدة عام 1998 | ع ن قرارات مجلس الأمن التابع للأمم المتحدة المعتمدة عام 1998 |
| --- | --- |
 → 1147  1148  1149  1150  1151  1152  1153  1154  1155  1156  1157  1158  1159  1160  1161  1162  1163  1164  1165  1166  1167  1168  1169  1170  1171  1172  1173  1174  1175  1176  1177  1178  1179  1180  1181  1182  1183  1184  1185  1186  1187  1188  1189  1190  1191  1192  1193  1194  1195  1196  1197  1198  1199  1200  1201  1202  1203  1204  1205  1206  1207  1208  1209  1210  1211  1212  1213  1214  1215  1216  1217  1218  1219 ← :  → 1147  1148  1149  1150  1151  1152  1153  1154  1155  1156  1157  1158  1159  1160  1161  1162  1163  1164  1165  1166  1167  1168  1169  1170  1171  1172  1173  1174  1175  1176  1177  1178  1179  1180  1181  1182  1183  1184  1185  1186  1187  1188  1189  1190  1191  1192  1193  1194  1195  1196  1197  1198  1199  1200  1201  1202  1203  1204  1205  1206  1207  1208  1209  1210  1211  1212  1213  1214  1215  1216  1217  1218  1219 ← 
بوابة الأمم المتحدة
بوابة الجزائر
بوابة الصحراء الغربية
بوابة المغرب
بوابة موريتانيا
قرار مجلس الأمن التابع للأمم المتحدة رقم 1249

| قرار مجلس الأمن | قرار مجلس الأمن |
| --- | --- |
التاريخ: 1999
الرمز: S/RES/1249(1999)  
الأعضاء الدائمون:  الصين  فرنسا  المملكة المتحدة  الولايات المتحدة  روسيا
أعضاء غير دائمين:  الأرجنتين  البحرين  البرازيل  كندا  الغابون  غامبيا  ماليزيا  ناميبيا  هولندا  سلوفينيا
  قرار مجلس الأمن التابع للأمم المتحدة رقم 1248    قرار مجلس الأمن التابع للأمم المتحدة رقم 1250    :   قرار مجلس الأمن التابع للأمم المتحدة رقم 1248    قرار مجلس الأمن التابع للأمم المتحدة رقم 1250    
تعديل مصدري - تعديل  : تعديل مصدري - تعديل  
قرار مجلس الأمن التابع للأمم المتحدة رقم 1249، المعتمد في 25 حزيران / يونيو 1999، بعد دراسة طلب جمهورية ناورو للانضمام إلى عضوية الأمم المتحدة، أوصى المجلس الجمعية العامة بقبول ناورو، وبذلك يصل مجموع أعضاء الأمم المتحدة إلى 187 .
تم تبني القرار 1249 بأغلبية 14 صوتًا وامتنعت الصين عن التصويت التي قالت إنها لا تستطيع دعم التوصية (بسبب العلاقات الدبلوماسية الوثيقة بين ناورو وتايوان) لكنها لن تستخدم حق النقض لصالح شعبي البلدين.
انظر أيضا

توسيع الأمم المتحدة
قائمة الدول الأعضاء في الأمم المتحدة
قائمة قرارات مجلس الأمن التابع للأمم المتحدة من 1201 إلى 1300 (1998-2000)
أوك غروف هايتس (ميزوري)

أوك غروف هايتس (بالإنجليزية: Oak Grove Heights)‏ هي إحدى المجتمعات الفردية (غير مصنفة) في ولاية ميزوري في الولايات المتحدة الأمريكية.
مراجع

↑    "صفحة  أوك غروف هايتس (ميزوري) في GeoNames ID". GeoNames ID. اطلع عليه بتاريخ 2024-10-09.
| ع ن بلديات ومجتمعات مقاطعة غرين (ميزوري)، الولايات المتحدة | ع ن بلديات ومجتمعات مقاطعة غرين (ميزوري)، الولايات المتحدة | ع ن بلديات ومجتمعات مقاطعة غرين (ميزوري)، الولايات المتحدة |
| --- | --- | --- |
مقر المقاطعة: سبرينغفيلد: مقر المقاطعة: سبرينغفيلد
| مدينة |  آش غروف  باتلفيلد  فير غروف  ريبابلك‡  روجرزفيل‡  سبرينغفيلد‡  سترفورد  والنت غروف  ويلارد  | Map of Missouri highlighting Greene County |
| بلدات مدنية |  بروكلين  كاس  كلاي  إيست ريبوبليك  موراي  بوند كريك  سبرينغفيلد  تايلور  والنت غروف  واشنطن  ويست ريبوبليك  ويلسون  | Map of Missouri highlighting Greene County |
| منطقة فردية |  بوي دارك (ميزوري)  Cave Spring  كودي  إبينزير (ميزوري)  Elwood  Glidewell  Hackney  Harold  Haseltine  Hickory Barren  لوقان  منتور  Mumford  أوك غروف هايتس (ميزوري)  Palmetto  Pearl  Phenix  Plano  Turners  | Map of Missouri highlighting Greene County |
| مستوطنات سابقة |  نوغو  | Map of Missouri highlighting Greene County |
| الحواشي | ‡هذا المكان المأهول بالسكان، له أيضا جزء في مقاطعة أو مقاطعات مجاورة | Map of Missouri highlighting Greene County |
| ع ن بلديات ومجتمعات مقاطعة غرين (ميزوري)، الولايات المتحدة | ع ن بلديات ومجتمعات مقاطعة غرين (ميزوري)، الولايات المتحدة | ع ن بلديات ومجتمعات مقاطعة غرين (ميزوري)، الولايات المتحدة |
| --- | --- | --- |
مقر المقاطعة: Springfield: مقر المقاطعة: Springfield
| مدينة |  آش غروف  باتلفيلد  فير غروف  ريبابلك‡  روجرسفيل‡  سبرينغفيلد‡  سترافورد  والنوت غروف  ويلارد  | Map of Missouri highlighting Greene County |
| بلدة مدنية |  بلدة بروكلين  بلدة كاس  Clay  بلدة إيست ريبوبليك  بلدة موراي  بلدة بوند كريك  Springfield  Taylor  بلدة والنت غروف  بلدة واشنطن  ويست ريبوبليك  Wilson  | Map of Missouri highlighting Greene County |
| منطقات فردية |  بوي دارك  Cave Spring, Missouri ‏  كودي  إبينزير  Elwood, Missouri ‏  Galloway, Springfield, Missouri ‏  Glidewell, Missouri ‏  Hackney, Missouri ‏  Harold, Missouri ‏  Haseltine, Missouri ‏  Hickory Barren, Missouri ‏  Logan, Greene County, Missouri ‏  Mentor, Missouri ‏  Mumford, Missouri ‏  أوك غروف هايتس  Palmetto, Missouri ‏  Pearl, Missouri ‏  Phenix, Missouri ‏  Plano, Missouri ‏  Turners, Missouri ‏  | Map of Missouri highlighting Greene County |
| Former settlement |  نوغو  | Map of Missouri highlighting Greene County |
| ملاحظات | ‡هذه الأماكن المأهولة أيضاً بها أجزاء من مقاطعة أو مقاطعات متاخمة | Map of Missouri highlighting Greene County |
بوابة تجمعات سكانية
بوابة الولايات المتحدة
حوليات الرياضيات (مجلة ألمانية)

حوليات الرياضيات (مجلة ألمانية)
| 0 | 1 |
| --- | --- |
بلد المنشأ:   ألمانيا 
التأسيس:  1868 
العنوان المختصر:  Math. Ann. 
مواقع الويب:  springer.com…  springerlink.com… 
| 0 | 1 |
| --- | --- |
المؤسسون:  Alfred Clebsch (en)  كارل نيومان 
| 0 | 1 |
| --- | --- |
اللغات:  الفرنسية — الألمانية — الإنجليزية — لغات متعددة 
المواضيع:  رياضيات 
| 0 | 1 |
| --- | --- |
الناشر:  شبرينغر — B. G. Teubner Verlag (en)  
ISSN:  Mathematische Annalen : 0025-5831  (مواد مطبوعة) Mathematische Annalen (Internet) : 1432-1807  (منشور إلكتروني) 
تعديل - تعديل مصدري - تعديل ويكي بيانات
ميّز عن حوليات الرياضيات.
والتي هي مجلة أمريكية.
حوليات الرياضيات (بالألمانية: Mathematische Annalen) هي مجلة بحث ألمانية متخصصة في الرياضيات.
مراجع

1 2  مذكور في: بوابة الرقم الدولي الموحد للدوريات. الرَّقم التَّسلسليُّ المِعياريُّ الدَّوليُّ (ISSN): 0025-5831. الناشر: ISSN International Centre. لغة العمل أو لغة الاسم: الإنجليزية.
↑  مذكور في: بوابة الرقم الدولي الموحد للدوريات. الرَّقم التَّسلسليُّ المِعياريُّ الدَّوليُّ (ISSN): 1432-1807. الناشر: ISSN International Centre. لغة العمل أو لغة الاسم: الإنجليزية.
↑  "معلومات عن حوليات الرياضيات (مجلة ألمانية) على موقع worldcat.org". worldcat.org. مؤرشف من الأصل في 2022-12-06.
↑  "معلومات عن حوليات الرياضيات (مجلة ألمانية) على موقع dialnet.unirioja.es". dialnet.unirioja.es. مؤرشف من الأصل في 2022-04-25.
↑  "معلومات عن حوليات الرياضيات (مجلة ألمانية) على موقع ld.zdb-services.de". ld.zdb-services.de. مؤرشف من الأصل في 2022-09-27.
وصلات خارجية

الموقع حوليات الرياضيات في شبرينغر
Mathematische Annalen archive (1869–1996) at GDZ [open access]
Mathematische Annalen archive (1869–1996) at DigiZeitschriften [open access]
بوابة ألمانيا
بوابة رياضيات
ريتشارد جانسين

| ريتشارد جانسين>  معلومات شخصية  | ريتشارد جانسين>  معلومات شخصية  |
| --- | --- |
الميلاد: 12 أبريل 1961   (63 سنة)   مانشستر  
مواطنة:  مملكة هولندا  
 الحياة العملية  :  الحياة العملية  
المهنة: مغني،  وعازف قيثارة  
تعديل مصدري - تعديل  : تعديل مصدري - تعديل  
ريتشارد جانسين (بالهولندية: Richard Janssen)‏ هو مغني وموسيقي وعازف قيثارة هولندي، ولد في 12 أبريل 1961 في مانشستر في المملكة المتحدة.
مراجع

↑  "Love Baby Love by Rex". Rate Your Music. مؤرشف من الأصل في 2013-08-15. اطلع عليه بتاريخ 2011-08-06.
↑  "Richard Janssen (1961 - heden)". Muziek Encyclopedie. مؤرشف من الأصل في 2017-04-20. اطلع عليه بتاريخ 2011-08-06.
وصلات خارجية

ريتشارد جانسين على موقع ميوزك برينز (الإنجليزية)
ريتشارد جانسين على موقع ديسكوغز (الإنجليزية)
بوابة هولندا
بوابة أعلام
| 0 | 1 |
| --- | --- |
ضبط استنادي: فنية :  موسوعة ميوزيك برينز (MBA)
NGC 4862

| NGC 4862 | NGC 4862 |
| --- | --- |
شاهد أيضًا: مجرة، قائمة المجرات: شاهد أيضًا: مجرة، قائمة المجرات
تعديل مصدري - تعديل  : تعديل مصدري - تعديل  
NGC 4862 في الفهرس العام الجديد، هي مجرة، تقع في كوكبة السلوقيان. اكتشفت في 1 مايو 1785 بواسطة ويليام هيرشل.
قائمة بمواضيع المنطق الرياضي

هذه قائمة بمواضيع المنطق الرياضي، ويمكنك أيضاً التوجه إلى قائمة المواضيع المنطقية.
العمل التأسيسي

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

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

مجموعات جبرية
رقم ألف
رقم بيث
العدد الأصلي
رقم هارتوغز
الضرب الديكارتي
مجموعة اللانهاية بوريل
الحتمية
مجموعة ضبابية
مفارقة راسل
حقل مغلق بشكل تفاضلي
سلسلة تنازلية لانهائية
اتحاد (نظرية المجموعات)
صفر حاد
الشجرة (نظرية المجموعات)
نظريات بسيطة في المجموعات الجبرية
نظرية زورميلو للمجموعات
نظرية نايف للمجموعات
نظرية المجموعات البديلة
الحد الترتيبي
وصف نظرية المجموعات

التسلسل الهرمي التحليلي
الأساسيات الكبرى

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

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

ماوراء الرياضيات
حساب التفاضل والتكامل
نظرية القضاء على قص
منطق قابل للبرهان
متسلسل
نظرية مثبتة ذاتيا
برهان تحليلي
القاعدة الهيكلية
المنطق الخطي
المنطق النسيب
المنطق الصارم
المنطق القريب
جيرهارد جنتسن
برهان جنتسن المتواصل
قانون الاستنتاج
البنيوية الرياضية

حسابات اللامدا
لويتزن براور
برهان البناء
نظرية النمط
نظرية الوجود
منطق حدسي
مربع لمدا
ضد اللانهاية
فائق ضد اللانهاية
النظام f
منطق مشروط

الجبر الداخلي
دلالات كريبك
صيغة سالحقفست
نظريات مبرهنة

بيان المطلوب إثباته
نظام ميزار
نظام البرهان المتفاعل
رعب (نظرية برهان)
نظرية المفارقة للبرهنة
بروفر 9
حل (منطق)
نظرية البرهان التلقائية
منطق الترتيب الأعلى
نظام الاكتشاف

رياضيات أوتوماتيكية
يوريسكو
تاريخياً

برداشت
نظم المنطق القائم على الترتيبية- آلان تورنغ
انظر أيضاً

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

حوليات نبو نيد
حوليات نبو نيد عبارة عن نص بابلي قديم، وهو جزء من سلسلة أكبر من سجلات بابل المدونة بالخط المسماري على ألواح من الطين. تتعامل في المقام الأول مع حكم نابونيد، آخر ملوك الإمبراطورية البابلية الحديثة، ويغطي سقوط بابل على يد الملك الفارسي قورش الكبير، وينتهي مع بداية عهد ابن قورش قمبيز، الذي يمتد لفترة من 556 قبل الميلاد لبعض الوقت بعد 539 قبل الميلاد. النص يقدم سردًا معاصرًا نادرًا لصعود قورش إلى السلطة وهو المصدر الرئيسي للمعلومات في هذه الفترة؛  وصفته كهرت Amélie Kuhrt بأنه «التسجيل الأكثر موثوقية ورصانة لسقوط بابل.»
يُعتقد أنه تم نسخ السجل من قبل كاتب خلال الفترة السلوقية (القرن الرابع إلى الأول قبل الميلاد) ولكن النص الأصلي ربما كتب في أواخر القرن السادس أو أوائل القرن الخامس قبل الميلاد. تشير التشابهات مع حوليات نبوناسر إلى شماش شوم أوكين ، ومع بعض السجلات البابلية، إلى أن الكاتب نفسه ربما كان مسؤولاً عن كلا التاريخين. إذا كان الأمر كذلك، فقد يرجع تاريخه إلى عهد دارا الأول (حوالي 549 قبل الميلاد - 486 قبل الميلاد).
وصف اللوح

يدونت حوليات نبونيد على لوح فردي من الطين يُحتفظ به الآن في المتحف البريطاني في لندن. مثل السجلات البابلية الأخرى، فإنه يسرد بطريقة حولية (سنة بعد سنة) الأحداث الرئيسية في كل عام، مثل تنصيب ومقتل الملوك والأحداث العسكرية الكبرى والأحداث الدينية البارزة. يتبع نموذجًا قياسيًا للإبلاغ عن الأحداث ذات الصلة المباشرة بابل فقط، مما يجعلها ذات فائدة محدودة إلى حد ما كمصدر لتاريخ أوسع في المنطقة. اللوح نفسه كبير إلى حد ما، إذ يبلغ قياسه 140   مم عرض و 140   مم طول، ولكنه متضرر بشكل كبير عند قاعدته ومعظم الجانب الأيسر مفقود. تم تدوين النص في عمودين على كل جانب، يتكون في الأصل من حوالي 300-400 سطر. ما تبقى مجزأ للغاية. لا يزال هناك أكثر من 75 سطرًا من النص مقروءًا. الأجزاء المفقودة من معظم العمودين الأول والرابع، جنبًا إلى جنب مع الجزء السفلي من الثاني والجزء العلوي من الثالث. يبدو أن هناك كولوفون (ديباجة النشر) في الجزء السفلي من اللوح، لكنه أيضًا مفقود إلى حد كبير.
على الرغم من أن الكتابة على مستوى جيد، إلا أن عملية النسخ كانت منقوصة بلا ريب، وقد ارتكب الكاتب عددًا من الأخطاء المرئية في النص.
اشترى المتحف البريطاني اللوح في عام 1879م من شركة تجارة الآثار Spartali &amp; Co. مكان اكتشافه الأصلي غير معروف، على الرغم من أنه تم افتراض أنه جاء من أنقاض بابل. ربما يمثل جزءًا من مجموعة رسمية من السجلات في حيازة حاكم بابل الأخمينيين. تمت مناقشة النص، الذي كان معروفًا في ذلك الوقت باسم «حوليات نبو نيد»، لأول مرة في نسخة مطبوعة من قبل السير هنري رولنسون في مجلة Athenaeum يوم 14 شباط/فبراير 1880م، مع نشر أول حرفي للترجمة والترجمة الإنجليزية بعد عامين بواسطة البروفيسور بينشيس T. G. Pinches في أعمال جمعية علم الآثار التوراتي (1882) . ترجم النص منذ ذلك الحين من قبل عدد من العلماء، وخاصة سيدني سميث، أ. ليو أوبنهايم،  ألبير كيرك غرايسون،  جان جاك غلاسنر،  وأميلي كوهرت.