مقالات

11.1: ملاحظة ببليوغرافية


تم نشر أكبر مجموعة من النصوص الرياضية البابلية القديمة (بترجمة ألمانية) باللغة

أوتو نيوجباور Mathematische Keilschrift-Texte. الأول والثالث. برلين: جوليوس سبرينغر ، 1935 ، 1935 ، 1937. طبع برلين إلخ: سبرينغر ، 1973 ،

ومعظمهم أيضًا (مع ترجمة فرنسية) بلغة

فرانسوا ثورو دانجين ، نصوص mathématiques babyloniens. ليدن: بريل ، 1938.

النصوص المذكورة أعلاه BM 13901 ، AO 8862 ، VAT 7532 ، YBC 6504 ، VAT 8512 ، VAT 8520 ، BM 85200 + VAT 6599 ، BM 15285 ، VAT 8389 ، VAT 8390 و Str 368 كلها متضمنة في واحد بالإضافة إلى الآخر1. تحتوي طبعة Neugebauer على تعليق جوهري للغاية ، وهو تعليق Thureau-Dangin (من المفترض أن يكون الوصول إليه اقتصاديًا) فقط مقدمة عامة.

تم العثور على نصوص أخرى في

أوتو نيوجباور وأبراهام ساكس ، نصوص مسمارية رياضية. نيو هافن ، كونيتيكت: American Oriental Society ، 1945.

يأتي نص YBC 6967 من هذا العمل.

جميع النصوص من Susa (TMS) تأتي من

إيفرت إم بروينز ومارجريت روتن ، نصوص mathématiques de Suse. باريس: Paul Geuthner، 1961.

نص Db2- 146 من منشور في مجلة ،

طه باقر ، "تل الذبعي: نصوص رياضية جديدة". سومر 18 (1962) ، 11-14 ، رر. 1-3.

تعد إصدارات Neugebauer و Thureau-Dangin صلبة ويمكن الاعتماد عليها ، وكذلك تعليقاتهما. ومع ذلك ، عند استخدام Neugebauer الرياضيات Keilschrift-Texte يجب على المرء أن يتذكر الرجوع إلى التصحيحات الواردة في المجلدين الثاني والثالث - لا يمكن للعمل الرائد تجنب صياغة الفرضيات واقتراح التفسيرات التي يجب تصحيحها بعد ذلك. من الواضح أن التعليقات تستند إلى التفسير الحسابي للنصوص الجبرية ، ومنشئو تفسير هذا النص هم بالتحديد Neugebauer و Thureau-Dangin.

إن إصدار نصوص Susa أقل موثوقية بكثير. في كثير من الأحيان ، وبأسوأ معاني لهذه الكلمة ، تكون الترجمة الفرنسية والتعليق الرياضي ثمار الخيال. حتى ترجمة المقاطع الصوتية إلى المقاطع الأكادية تكون مضللة في بعض الأحيان - على سبيل المثال ، يتم تقديم مخطط "الانضمام" بواسطة الكلمة الأكادية التي تعني "كومة". كل شيء يحتاج إلى التحكم مباشرة على "النسخة اليدوية" من النص المسماري.2

تم تحديد الأساس لمعظم ما هو جديد في هذا الكتاب مقارنة بالإصدارات الأصلية - التفسير الهندسي ، والعلاقة بين المدرسة وتقليد الممارسين ، والتطور التاريخي - في

ينس هويرب ، الأطوال والعرض والأسطح: صورة للجبر البابلي القديم وأقاربها. نيويورك: سبرينغر ، 2002.

يحتوي هذا المجلد أيضًا على طبعات من جميع النصوص الموجودة أعلاه تقريبًا مع ترجمة إنجليزية بين السطور ومع شرح لغوي وإشارة دقيقة لجميع عمليات إعادة ضبط العلامات التالفة (الاستثناءات هي TMS XVI # 2 و Str 368 و VAT 8520 # 1). يمكن العثور على مقتطفات كبيرة على كتب Google على الأقل حتى إشعار آخر.


حل القيود والتخطيط مع Picat

1 نظرة عامة على Picat. 1
1.1 مقدمة . 1
1.1.1 تشغيل Picat. 2
1.2 أنواع البيانات والمشغلين. 3
1.2.1 الشروط والمتغيرات والقيم. 4
1.2.2 القيم البدائية. 5
1.2.3 الشروط المركبة. 5
1.2.4 اختبار المساواة والتوحيد. 9
1.2.5 I / O والوحدات النمطية. 10
1.3 التحكم في التدفق والأهداف. 10
1.3.1 الأهداف. 10
1.3.2 إذا-ثم- آخر. 11
1.3.3 مشغل التخصيص. 12
1.3.4 حلقات Foreach. 13
1.4 المسندات والوظائف. 14
1.4.1 المسندات. 15
1.4.2 حقائق أصلية. 17
1.4.3 الوظائف وحقائق الوظيفة. 19
1.4.4 مقدمة في الجدولة. 20
1.5 بيكات مقارنة باللغات الأخرى. 20
1.5.1 بيكات مقابل برولوج. 20
1.5.2 مقابل بيكات هاسكل. 22
1.5.3 بيكات مقابل بايثون. 24
1.6 كتابة برامج فعالة في Picat. 25
1.6.1 جعل التعريفات والمكالمات حتمية. 25
1.6.2 جعل التعريفات تكرارية الذيل. 26
1.6.3 قوائم التكرار والفرق التزايدي. 26
1.6.4 كتابة التكرارات الفعالة. 27
1.7 ملاحظة ببليوغرافية. 28
1.8 تمارين. 29

2 نمذجة القيد الأساسية. 31
2.1 مقدمة . 31
2.2 إرسال + المزيد = المال. 32
2.3 انتشار القيد Sudoku & # 8212. 34
2.3.1 برنامج سودوكو. 34
2.3.2 انتشار القيد & # 8212 المفاهيم. 34
2.3.3 انتشار القيد & # 8212 مثال. 36
2.4 كاسحة ألغام & # 8212 باستخدام SAT. 37
2.5 النظام الغذائي & # 8212 النمذجة الرياضية مع وحدة mip. 39
2.6 مشكلة شبكة العملات المعدنية: مقارنة MIP مع CP / SAT. 41
2.7 N-Queens & # 8212 أساليب النمذجة المختلفة. 43
2.8 ملاحظة ببليوغرافية. 46
2.9 تمارين. 46

3 نمذجة القيد المتقدمة. 49
3.1 نمذجة القيد المتقدمة. 49
3.2 قيد العنصر ومشكلة رقم لانجفورد & # 8217s. 50
3.2.1 مشكلة رقم لانجفورد & # 8217s. 51
3.3 التوحيد. 53
3.3.1 مثال على Reification: كلها مختلفة باستثناء 0. 54
3.3.2 التوحيد & # 8212 الذي قتل أجاثا. 54
3.4 المجالات: أصغر ما يمكن (ولكن ليس أصغر). 55
3.5 استراتيجيات البحث والبحث (وحدة cp). 58
3.5.1 الساحات السحرية & # 8212 اختبار منهجي لجميع الملصقات. 59
3.6 جدولة & # 8212 القيد التراكمي. 61
3.7 التسلسل السحري & # 8212 أصل عالمي / 2 وترتيب القيود. . 64
3.8 مشكلة الجولة رقم 8212 Knight & # 8217s. 66
3.9 القيد المنتظم & # 8212 الجوار العالمي وقوائم الممرضات 69
3.9.1 التواصل العالمي. 70
3.9.2 إعداد قوائم الممرضات. 71
3.9.3 النهج البديل للجداول الصالحة: قيود الجدول 72
3.10 نماذج التصحيح القيد. 73
3.11 ملاحظة ببليوغرافية. 76
3.12 تمارين. 76

4 البرمجة الديناميكية مع Tabling. 79
4.1 مقدمة. 79
4.2 الطرح في Picat. 80
4.3 مشكلة أقصر طريق. 82
4.4 مشكلة الحقيبة. 83
4.5 مشكلة النيتروجين. 84
4.6 تعديل المسافة. 85
4.7 أطول مشكلة لاحقة متزايدة. 86
4.8 برج هانوي. 87
4.9 مشكلة الاثني عشر عملة. 90
4.10 ملاحظة ببليوغرافية. 92
4.11 تمارين. 92

5 من البرمجة الديناميكية إلى التخطيط. 95
5.1 مقدمة. 95
5.2 وحدة المخطط: بحث غير محدود العمق. 96
5.3 تنفيذ بحث العمق غير المحدود. 98
5.4 المبشرون وأكلي لحوم البشر. 98
5.5 كلوتسكي. 99
5.6 سوكوبان. 102
5.7 ملاحظة ببليوغرافية. 106
5.8 تمارين. 106

6 التخطيط مع البحث المحدود الموارد. 109
6.1 مقدمة. 109
6.2 وحدة المخطط: بحث مقيد بالموارد. 110
6.3 تنفيذ البحث المقيّد بالموارد. 111
6.4 مشكلة السمك الميت. 112
6.5 ال 15 اللغز. 113
6.6 كتل العالم. 115
6.7 التخطيط اللوجستي. 117
6.8 ملاحظة ببليوغرافية. 119
6.9 تمارين. 120

7 ترميزات لمشكلة البائع المتجول. 123
7.1 مقدمة. 123
7.2 ترميز CP. 124
7.3 ترميز لـ SAT. 126
7.4 ترميز MIP. 128
7.5 ترميز للمخطط المجدول. 129
7.6 النتائج التجريبية. 131
7.7 ملاحظة ببليوغرافية. 132


محتويات

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

يشار إلى الكتب التي تم إنشاؤها عن طريق طباعة صفحتين من النص على كل جانب من ورقة ، ثم يتم طيها مرة واحدة لتشكيل ورقتين أو أربع صفحات ، باسم الأوراق (من اللاتينية ، أوراق، الاجتثاث من فوليوم، ورقة [3]). تسمى تلك التي تم إجراؤها عن طريق طباعة أربع صفحات نصية على كل جانب من ورقة وطي الورقة مرتين لتشكيل مجموعة تحتوي على أربع أوراق أو ثماني صفحات كوارتوس (أرباع). وبالمثل ، فإن الكتب التي تم تأليفها بطباعة ثماني صفحات من النص على كل جانب من الورقة ، والتي تم طيها ثلاث مرات لتشكيل تجمعات من ثماني أوراق أو ستة عشر صفحة لكل منها ، تسمى اوكتافوس. يعتمد حجم الصفحات الناتجة في هذه الحالات ، بالطبع ، على حجم الورقة الكاملة المستخدمة في طباعتها ومقدار قص الأوراق قبل التجليد ، ولكن في حالة استخدام الورق نفسه ، تكون الأوراق هي الأكبر ، متبوعة بواسطة quartos ثم octavos. [4]: 80-81 تميل نسبة أوراق الكارتو إلى أن تكون مربعة أكثر من تلك الموجودة في الأوراق أو الأوكتافوس. [5]: 164

يشار إلى طرق الإنتاج المختلفة هذه بتنسيق الكتاب. غالبًا ما يتم اختصار هذه المصطلحات ، باستخدام 4to لـ quarto و 8vo لـ octavo وهكذا. يحتوي تنسيق octavo ، الذي يحتوي على ثمانية أوراق لكل مجموعة ، على نصف حجم الصفحة بتنسيق quarto قبل التشذيب. تتضمن التنسيقات الأصغر تنسيق ديوديسيمو (12 شهرًا أو الثاني عشر) ، مع اثني عشر ورقة لكل ورقة وصفحات ثلث حجم تنسيق quarto ، و sextodecimo (16 شهرًا أو sixteenmo) ، بستة عشر ورقة لكل ورقة ، ونصف حجم تنسيق الأوكتافو وربع حجم الربع. تمت طباعة الغالبية العظمى من الكتب بتنسيقات فوليو أو كوارتو أو أوكتافو أو ديوديسيمو. [4]: 82

هناك العديد من الاختلافات في كيفية إنتاج مثل هذه الكتب. على سبيل المثال ، نادرًا ما يتم عمل الأوراق ببساطة عن طريق ربط مجموعة من مجموعتين من الأوراق بدلاً من ذلك ، سيتم إدراج عدة أزواج من الأوراق المطبوعة داخل مجموعة أخرى ، لإنتاج مجموعة أكبر من الأوراق المتعددة التي ستكون أكثر ملاءمة للربط. [5]: 30-31 على سبيل المثال ، يمكن إدخال ثلاث أوراق مطبوعة من ورقتين في ورقة رابعة ، مما ينتج عنه تجمعات من ثماني ورقات أو ستة عشر صفحة لكل منها. لا يزال مؤلفو المراجع يشيرون إلى مثل هذه الكتب مثل الأوراق (وليس الأوكتافوس) لأن الأوراق الأصلية الكاملة كانت مطوية مرة واحدة لإنتاج ورقتين ، ووصف مثل هذه التجمعات مثل الأوراق في 8 ثوانٍ. وبالمثل ، يُطلق على الكتاب المطبوع على هيئة أوكتافو ، ولكنه مجلّد بتجمعات من أربع أوراق لكل منها ، اسم اوكتافو في 4s. [5] : 28

عند تحديد شكل الكتاب ، سيدرس المصممون عدد الأوراق في التجمع ونسبتها وأحجامها وأيضًا ترتيب خطوط السلسلة والعلامات المائية في الورقة. [4]: 84-107

من أجل إخراج الصفحات بالترتيب الصحيح ، سيتعين على الطابعات تخطيط صفحات الكتابة بشكل صحيح في المطبعة. على سبيل المثال ، لطباعة ورقتين في ورقة تحتوي على الصفحات من 1 إلى 4 ، ستطبع الطابعة الصفحتين 1 و 4 على أحد جانبي الورقة ، وبعد ذلك تجف ، تطبع الصفحتين 2 و 3 على الجانب الآخر. إذا كانت الطابعة تطبع ورقة في 8 ، كما هو موضح أعلاه ، فسيتعين عليه طباعة الصفحتين 1 و 16 على جانب واحد من الورقة مع الصفحتين 2 و 15 على الجانب الآخر من تلك الورقة ، إلخ. الكتابة في الصحافة يشار إليها باسم فرض وهناك عدة طرق لفرض الصفحات للصيغ المختلفة ، بعضها يتضمن قص الصفحات المطبوعة قبل التجليد. [4]: 80-110

انظر المزيد من القراءة لمعرفة المزيد عن مخططات الفرض.

مع تطور تقنية الطباعة والورق ، أصبح من الممكن إنتاج وطباعة أوراق أو لفات ورق أكبر بكثير وقد لا يكون من الواضح (أو حتى من الممكن تحديد) من فحص كتاب حديث كيف تم طي الورق لإنتاجها . على سبيل المثال ، قد تتكون الرواية الحديثة من مجموعات من ستة عشر ورقة ، ولكن ربما تكون قد طُبعت بالفعل بأربع وستين صفحة على كل جانب من ورقة كبيرة جدًا. [6]: 429 وبالمثل ، لا يمكن تحديد نسق الطباعة الفعلي للكتب التي يتم تجليدها بشكل كامل ، حيث يتم قص كل ورقة في الكتاب تمامًا (أي لا ترتبط بورقة أخرى كما هو الحال في التجمعات) ويتم لصقها في العمود الفقري. عادة ما تسمى الكتب الحديثة فوليو, كوارتو و اوكتافو بناءً على حجمها بدلاً من الشكل الذي تم إنتاجها به بالفعل ، إذا كان من الممكن تحديد ذلك. قد يصف الببليوغرافيون الأكاديميون مثل هذه الكتب بناءً على عدد الأوراق في كل مجموعة (ثمانية أوراق لكل مجموعة تشكل ثمانيًا) ، حتى عندما يكون العدد الفعلي للصفحات المطبوعة على الورقة الأصلية غير معروف [4]: ​​80-81 أو قد يرفض استخدام هذه المصطلحات في الكتب الحديثة بالكامل. [ملاحظة 1]

اليوم ، يعد Octavo و quarto أكثر أحجام الكتب شيوعًا ، ولكن يتم إنتاج العديد من الكتب بأحجام أكبر وأصغر أيضًا. تم تطوير مصطلحات أخرى لحجم الكتاب ، و ورقة الفيل يصل طوله إلى 23 بوصة ، و أطلس فوليو 25 بوصة و ورقة مزدوجة الفيل 50 بوصات.

أكبر كتاب تحرير

وفقًا لموسوعة غينيس للأرقام القياسية لعام 2003 ، كان أكبر كتاب في العالم بوتان: رحلة بصرية عبر مملكة الهيمالايا الأخيرة بواسطة مايكل هاولي. حجمه 1.5 م × 2.1 م (5 قدم × 7 قدم). [7]

وفقًا لموسوعة غينيس للأرقام القياسية لعام 2007 ، كان أكبر كتاب منشور في العالم الامير الصغير طبعت في البرازيل عام 2007. حجمها 2.01 م × 3.08 م (6 أقدام و 7 بوصات × 10 قدم 1 بوصة). [8]

وفقًا لموسوعة غينيس للأرقام القياسية لعام 2012 ، كان أكبر كتاب في العالم هذا النبي محمد صنع في دبي ، الإمارات العربية المتحدة. حجمها 5 م × 8.06 م (16.4 قدم × 26.4 قدم). [9] على الرغم من أنها أكبر من الامير الصغير، وهما يحملان سجلات منفصلة ، مثل هذا النبي محمد لم ينشر.

أصغر كتاب تحرير

اصغر كتاب هو صغير تيد من Turnip Town تم قياس 0.07 مم × 0.10 مم (0.0028 × 0.0039 بوصة). [10]

أكبر تحرير مخطوطة

أكبر مخطوطة على قيد الحياة في العصور الوسطى هي كودكس جيجاس أو "مخطوطة الشيطان" ، حيث يبلغ ارتفاعها 92 سم وعرضها 50 سم (طولها 36 بوصة وعرضها 20 بوصة).

خلال فترة الطباعة اليدوية ، تم تصنيع الأوراق الكاملة بأحجام متنوعة للغاية والتي تم إعطاؤها عددًا من الأسماء ، مثل وعاء, ديمي, فولسكاب, تاج، إلخ. [11] [12] لم يتم توحيدها وتختلف الأحجام الفعلية وفقًا لبلد التصنيع والتاريخ. [4]: 67-70 ، 73-75

تحرير الولايات المتحدة

تنسيقات الكتب الأمريكية والأحجام المقابلة
اسم الاختصارات اوراق اشجار الصفحات حجم الغطاء التقريبي (العرض × الارتفاع)
بوصة × بوصة سم × سم
فوليو أو فو 2 4 12 × 19 30 × 48
كوارتو أو 4to 4 8 9 + 1 ⁄ 2 × 12 24 × 30
اوكتافو الامبراطوري أو 8vo 8 16 8 + 1 ⁄ 4 × 11 + 1 ⁄ 2 21 × 29
سوبر اوكتافو 7 × 11 18 × 28
اوكتافو الملكي 6 + 1 ⁄ 2 × 10 17 × 25
اوكتافو متوسط 6 + 1 ⁄ 2 × 9 + 1 ⁄ 4 17 × 23
اوكتافو 6 × 9 15 × 23
تاج اوكتافو 5 + 3 ⁄ 8 × 8 14 × 20
ديوديسيمو أو الثاني عشر 12º أو 12 شهر 12 24 5 × 7 + 3 ⁄ 8 13 × 19
sextodecimo أو sixteenmo 16º أو 16 شهر 16 32 4 × 6 + 3 ⁄ 4 10 × 17
octodecimo أو ثمانية عشرمو 18º أو 18 شهرًا 18 36 4 × 6 + 1 ⁄ 2 10 × 17
تريجيسيمو سيكوندو أو ثلاثين واثنين وثلاثين 32º أو 32 شهرًا 32 64 3 + 1 ⁄ 2 × 5 + 1 ⁄ 2 8.9 × 14
كوادراجيمو أوكتافو أو ثمانية وأربعون 48º أو 48mo 48 96 2 + 1 ⁄ 2 × 4 6.3 × 10
sexagesimo-quarto أو أربعة وستون شهرًا 64º أو 64mo 64 128 2 × 3 5.1 × 7.6

تحرير المملكة المتحدة

الحجم الشائع للغلاف الورقي في المملكة المتحدة هو تنسيق B ، والذي يتم استخدامه ، على سبيل المثال ، بواسطة Penguin Classics. يتناقض هذا مع تنسيق A ، وهو أضيق قليلاً من تنسيق ISO B6 وتنسيق C. [15]

أحجام غلاف ورقي بريطاني
صيغة مم × مم بوصة × بوصة ابعاد متزنة
أ 110 × 178 4 + 3 ⁄ 8 × 7 ϕ ∶1
ب 129 × 198 5 + 1 ⁄ 8 × 7 + 3 ⁄ 4 1.53
ج 135 × 216 5 + 3 ⁄ 8 × 8 + 1 ⁄ 2 8∶5

سابقًا ، تم استخدام الأوصاف octavo و quarto و duodecimo وما إلى ذلك (انظر الجدول أسفل الولايات المتحدة أعلاه).

تحرير اليابان

في بناء الكتاب ، تستخدم اليابان مزيجًا من سلسلة ISO A وسلسلة JIS B والعديد من أحجام الورق اليابانية التقليدية. يتم طي توقيعات السلسلة A و B من ورقة أكبر قليلاً من ISO A1 و JIS B1 ، على التوالي ، ثم يتم قصها حسب الحجم. يتم سرد الأحجام الأكثر شيوعًا أدناه.

تنسيقات الكتب اليابانية والأحجام المقابلة
اسم ترجمة اوراق اشجار الصفحات حجم الغطاء التقريبي (العرض × الارتفاع) ملاحظات
مم × مم بوصة × بوصة
B4 判 JIS B4 8 16 257 × 364 10 + 1 ⁄ 8 × 14 + 1 ⁄ 3 مطوية من صفائح قياسية من السلسلة B (B 列 本 番) بمقاس 765 مم × 1085 مم (30.1 بوصة × 42.7 بوصة)
A4 判 ISO A4 8 16 210 × 297 8 + 1 ⁄ 4 × 11 + 17 ⁄ 24 مطوية من صفائح قياسية من السلسلة A (A 列 本 番) بمقاس 625 مم × 880 مم (24.6 بوصة × 34.6 بوصة)
AB 判 AB 16 32 210 × 257 8 + 1 ⁄ 4 × 10 + 1 ⁄ 8 عرض ISO A4 وارتفاع JIS B5
B5 判 JIS B5 16 32 182 × 257 7 + 1 ⁄ 6 × 10 + 1 ⁄ 8
菊 判 كيكو ("أقحوان") 16 32 150 × 220 5 + 11 ⁄ 12 × 8 + 2 ⁄ 3 مطوية من الأوراق (تسمى أيضًا "كيكو") 636 مم × 939 مم (25.0 بوصة × 37.0 بوصة)
A5 判 ISO A5 16 32 148 × 210 5 + 5 ⁄ 6 × 8 + 1 ⁄ 4
重 箱 判 جوباكو ("مربع متدرج") 20 40 182 × 206 7 + 1 ⁄ 6 × 8 + 1 ⁄ 8 يشير الاسم إلى الشكل التربيعي
مطوية من الأوراق القياسية من الفئة B ، مما ينتج عنه 8 صفحات أكثر من JIS B5.
四六 判 شي روكو ("4 × 6") 32 64 127 × 188 5 × 7 + 5 ⁄ 12 الاسم يشير إلى الأبعاد التقريبية في شمس
مطوية من صفائح 788 مم × 1091 مم (31.0 بوصة × 43.0 بوصة)
B6 判 JIS B6 32 64 128 × 182 5 + 1 ⁄ 24 × 7 + 1 ⁄ 6
新書 判 / B40 判 "شينشو"(" الكتاب القديم ") /" B40 " 40 80 103 × 182 4 + 1 ⁄ 24 × 7 + 1 ⁄ 6 نصف حجم جوباكو. مطوية من أوراق قياسية من الفئة B ، تنتج 16 صفحة أكثر من JIS B6.
غير رسمية، بحكم الواقع قياسي ، مع بعض الاختلاف في الأحجام النهائية بين الناشرين.
小 B6 判 "Small JIS B6" 32 64 112 × 174 4 + 5 ⁄ 12 × 6 + 5 ⁄ 6 بعض الناشرين "شينشو"الأبعاد أقرب إلى هذا الحجم.
A6 判 ISO A6 32 64 105 × 148 4 + 1 ⁄ 8 × 5 + 5 ⁄ 6 الحجم المستخدم ل Bunkobon (أغلفة ورقية صغيرة الحجم)
三五 判 سان جو ("3 × 5") 40 80 84 × 148 3 + 7 ⁄ 24 × 5 + 5 ⁄ 6 الاسم يشير إلى الأبعاد التقريبية في شمس
مطوية من أوراق قياسية من السلسلة A ، تنتج 16 صفحة أكثر من A6.

  1. ^راجع باورز ، [6]: 429-430 مما يشير إلى أن الكتاب الذي يحتوي على ثمانية أوراق لكل مجموعة حيث لا يمكن تحديد التنسيق يجب الإشارة إليه على أنه في 8 ثوانٍ و لا اوكتافو.
  1. ^ أب طومسون ، إليزابيث هاردي ، أد. (1943). ALA مسرد مصطلحات المكتبة ، مع مجموعة مختارة من المصطلحات في المجالات ذات الصلة. جمعية المكتبات الأمريكية. ص. 151. ردمك 9780838900000.
  2. ^ أب
  3. روبرتس ، مات إثيرينجتون ، دون (1982). "أحجام الكتب". تجليد الكتب وحفظها: قاموس المصطلحات الوصفية . مكتبة الكونجرس. ردمك 9780844403663. تم الاسترجاع 2014/09/10 - عبر Conservation OnLine الذي يديره المعهد الأمريكي لحفظ الأعمال التاريخية والفنية.
  4. ^ أب
  5. قاموس أوكسفورد الإنكليزية (الطبعة الثانية). مطبعة جامعة أكسفورد. 1989.
  6. ^ أبجدهF
  7. جاسكل ، فيليب (1972). مقدمة جديدة للببليوغرافيا (الطبعة الأولى). مطبعة كلارندون.
  8. ^ أبج
  9. مكيرو ورونالد برونليس (1927). ماكيتريك ، ديفيد ، أد. مقدمة في الببليوغرافيا لطلاب الأدب. مطبعة كلارندون.
  10. ^ أب
  11. باورز ، فريدسون (1949). مبادئ الوصف الببليوغرافي (الطبعة الأولى). برينستون: مطبعة جامعة برينستون.
  12. ^
  13. أسوشيتد برس (2003-12-16). "غينيس: عالم يخلق أكبر كتاب في العالم". سي إن إن. مؤرشفة من الأصلي في 2007-05-22. تم الاسترجاع 2007-06-07.
  14. ^
  15. "أكبر كتاب نشر". موسوعة جينيس العالمية.
  16. ^
  17. "أكبر كتاب". موسوعة جينيس العالمية.
  18. ^
  19. "أصغر استنساخ لكتاب مطبوع". موسوعة جينيس العالمية.
  20. ^
  21. Ringwalt ، جون لوثر ، أد. (1871). "أبعاد الورق". الموسوعة الأمريكية للطباعة. فيلادلفيا: مينامين وأمبيرنجوالد. ص 139 - 140.
  22. ^ أب
  23. سافاج ، وليام (1841). "ورق". معجم فن الطباعة. نيويورك: بيرت فرانكلين. ص 560-566.
  24. ^
  25. ليفين كلارك ، مايكل كارتر ، توني م ، محرران. (2013). مسرد ALA لعلوم المكتبات والمعلومات (الطبعة الرابعة). شيكاغو ، إلينوي: جمعية المكتبات الأمريكية. ص. 38. ISBN 9780838911112.
  26. ^
  27. أمبروز ، جافين هاريس ، بول (2015). كتاب التخطيط (الطبعة الثانية). بلومزبري. ص 76 - 77.
  28. ^
  29. ويلسون فليتشر ، هونور (11 آب / أغسطس 2001). "أهمية الشكل والمظهر". الحارس . تم الاسترجاع 6 أبريل 2019.

يمكن العثور على عدد من مخططات الفرض لتنسيقات مختلفة في:

  • فويت ، ليون (1972). "التذييل 8: الرسوم ومخططات الطي". إدارة دار طباعة ونشر في عصر النهضة والباروك. The Golden Compasses: تاريخ وتقييم أنشطة الطباعة والنشر لـ Officina Plantiniana في أنتويرب (تاريخ منزل بلانتين موريتوس). المجلد 2. ترجمه ريمون هـ. كاي. نيويورك: أبنير شرام. ردمك 9780839000044. تم الاسترجاع 2014/09/11. | الحجم = به نص إضافي (مساعدة)
  • جاسكل (1972) ، الصفحات 88-107

يمكن العثور على جداول ومناقشات إضافية حول تنسيقات وأحجام الكتب الأمريكية في:


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

أول اقتباس من الكتاب المقدس

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

1 ما لم يذكر خلاف ذلك ، فإن جميع المقاطع الكتابية المشار إليها تستخدم النسخة الإنجليزية القياسية (ويتون ، إلينوي: كروسواي ، 2008).


مقدمة

نشأت هذه المبادئ التوجيهية باسم "معايير تقييم الببليوغرافيا" ، التي اعتمدها مجلس شعبة الخدمات المرجعية في عام 1971. تمت الموافقة على مراجعة تلك المبادئ التوجيهية تحت الاسم الحالي ، "مبادئ توجيهية لإعداد ببليوغرافيا" من قبل مجلس إدارة RASD في عام 1982 ويمكن العثور عليها في RQ22 (خريف 1982): 31-32. استندت لجنة الببليوغرافيا في RASD في أجزاء كثيرة من تنقيح عام 1982 إلى "معايير تقييم الببليوغرافيات العددية" التي أعدتها لجنة الخدمات الببليوغرافية لكندا في عام 1979. "

"اقترحت لجنة عام 1992 تنقيحات أقل شمولاً من تلك التي تم تبنيها في عام 1982 ولكنها تريد تعزيز الصياغة فيما يتعلق بالتعليقات التوضيحية ونقاط الوصول المتعددة وتوضيح ما هو المقصود بالشكل الببليوغرافي القياسي."

اقترحت لجنة سياسات تطوير وتقييم مجموعة RUSA / CODES 2007-09 تغييرات طفيفة على الوثيقة لتشمل الببليوغرافيات الإلكترونية ، ومعلومات المؤلف ، والتوقيت والتاريخ.

تم اعتماد المبادئ التوجيهية الأصلية في عام 1971 من قبل مجلس إدارة قسم الخدمات المرجعية وتم تنقيحها وتحديثها في عام 1982 وفي عام 1992 من قبل لجنة المراجع التابعة لقسم تطوير وتقييم المجموعات بجمعية خدمات المراجع والمستخدمين. تم إعداد مراجعة عام 2001 من قبل لجنة المعايير والمبادئ التوجيهية التابعة لـ RUSA لتعكس التطورات التكنولوجية منذ النشر الواسع للببليوغرافيات المطبوعة أو الإلكترونية ولجعل المبادئ السليمة الأكثر وضوحًا التي ينطوي عليها إعداد الببليوغرافيا ، بغض النظر عن شكلها. وهي مخصصة للاستخدام من قبل الجميع في مجتمع المكتبات.

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


وصف

  • حقوق الطبع والنشر 2010
  • الأبعاد: 8 & quot × 10 & quot
  • الصفحات: 1152
  • الطبعة: 3rd
  • كتاب
  • ردمك 10: 0-13-604259-7
  • ردمك 13: 978-0-13-604259-4

الذكاء الاصطناعي: نهج حديث ، 3 هـ يقدم أكثر مقدمة شاملة وحديثة لنظرية وممارسة الذكاء الاصطناعي. رقم واحد في مجاله ، هذا الكتاب المدرسي مثالي لفصل دراسي واحد أو فصلين دراسيين ، أو على مستوى البكالوريوس أو الدراسات العليا في الذكاء الاصطناعي.

الدكتور بيتر نورفيج ، مساهم الذكاء الاصطناعي يقدم المؤلف والبروفيسور سيباستيان ثرون ، وهو مؤلف من بيرسون ، دورة مجانية عبر الإنترنت في جامعة ستانفورد حول الذكاء الاصطناعي.

وفقًا لمقال في اوقات نيويورك، دورة الذكاء الاصطناعي هي & ldquo واحدة من ثلاث دورات يتم تقديمها بشكل تجريبي من قبل قسم علوم الكمبيوتر في جامعة ستانفورد لتوسيع المعرفة والمهارات التكنولوجية خارج حرم النخبة هذا إلى العالم بأسره. & rdquo أحد الدورتين الأخريين ، مقدمة لبرنامج قواعد البيانات ، يجري تدرس من قبل مؤلفة بيرسون الدكتورة جينيفر ويدوم.

الذكاء الاصطناعي: نهج حديث ، 3 هـ متاح للشراء كنص إلكتروني لجهاز Kindle & trade و NOOK & trade و iPhone & reg / iPad & reg.


إستعمال

لوريم إيبسوم. & # 911 & # 93 Lorem ipsum dolor sit amet. & # 912 & # 93

لوريم إيبسوم. أبجد هوز دولور الجلوس امات.

لوريم إيبسوم. & # 911 & # 93 Lorem ipsum dolor sit amet. & # 912 & # 93

الأعمدة

& # 123 & # 123Reflist & # 12430em & # 125 & # 125 (على سبيل المثال) يوجه المتصفح لإنشاء أكبر عدد ممكن من الأعمدة (بعرض لا يقل عن 30 & # 160em ، في هذا المثال) بالنظر إلى عرض نافذة العرض. (الوحدات المدعومة هي em ، ex ، in ، cm ، mm ، pt ، pc ، px ، ولكن em تُستخدم دائمًا تقريبًا.) يجب ألا تكون هناك مسافة بين الرقم والوحدة. النسبة المئوية غير معتمدة.

اختر عرضًا مناسبًا للعرض النموذجي للمراجع:

  • الأعمدة التلقائية (الافتراضي عندما لا يتم تحديد عرض): حيث لا يوجد سوى عدد قليل من الحواشي السفلية ، انظر على سبيل المثال ، Silver State Arena (23:05 ، 28 ديسمبر 2012)
  • 30em: حيث يوجد العديد من الحواشي بالإضافة إلى قسم ببليوغرافيا بعرض الصفحة: انظر ، على سبيل المثال ، مرض فيروس الإيبولا (02:02 ، 12 يناير 2018)
  • 20em: حيث يتم استخدام الحواشي السفلية المختصرة ، انظر على سبيل المثال ، فئات NBR 224 و 420 (13:32 ، 1 أغسطس 2011).

مثال

لوريم إيبسوم. & # 911 & # 93 Lorem ipsum dolor sit amet. & # 912 & # 93 Lorem ipsum dolor sit amet. & # 913 & # 93 Lorem ipsum dolor sit amet. & # 914 & # 93 Lorem ipsum dolor sit amet. & # 915 & # 93

  1. ^ اسم المصدر وتاريخ الوصول وما إلى ذلك.
  2. ^ اسم المصدر وتاريخ الوصول وما إلى ذلك.
  3. ^ اسم المصدر وتاريخ الوصول وما إلى ذلك.
  4. ^ اسم المصدر وتاريخ الوصول وما إلى ذلك.
  5. ^ اسم المصدر وتاريخ الوصول وما إلى ذلك.
  • ملاحظة 1: بناء الجملة & # 123 & # 123Reflist & # 1242 & # 125 & # 125 (على سبيل المثال) ، والذي يحدد عمودين متساويين في العرض بغض النظر عن عرض العرض المتاح، مهمل (معطل لعرض الجوال). عند استخدام 1 ، يمنحك القالب عمودًا واحدًا بينما 2 سيتظاهر بأنك حددت 30em. عند استخدام عدد أكبر من الأعمدة ، سيتظاهر بأنك حددت 25em.
  • ملاحظة 2: دعم المتصفح: Internet Explorer 10+ و Microsoft Edge و Firefox 2+ و Chrome 4+ و Safari 3.1+ و Opera 11.1+

قائمة المراجع المعرفة

يمكن تحديد قائمة المراجع ضمن & # 123 & # 123Reflist & # 125 & # 125 باستخدام المعلمة & # 124refs & # 61 ، تمامًا مثل تضمين & ltref & # 32name = "." & gt. & lt & # 47ref & gt element داخل & ltreferences & gt. & lt & # 47 مرجعيات & حاوية gt.

مثال

هذا هو المرجع 1. & # 911 & # 93 هذا هو المرجع 2. & # 912 & # 93

مراجع مجمعة

يمكن تجميع المراجع في أقسام منفصلة (للملاحظات التوضيحية ومراجع الجدول وما شابه) عبر المجموعة =:

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

يجب أن تحتوي كل مجموعة مستخدمة في المقالة على قائمة مراجع مطابقة:

مجموعات محددة مسبقًا

هناك أسماء مجموعة محددة مسبقًا تقوم تلقائيًا بتعيين التسميات في علامات الحواشي السفلية وقائمة المراجع لأنماط أخرى. وبالتالي ، فإن الإعداد <> سيعين المجموعة على ألفا أقل وسيصمم قائمة المراجع بأحرف ألفا أقل. يمكن تشكيل علامة الحاشية السفلية المطابقة بواسطة & ltref & # 32group = "lower-alpha" & gt. & lt & # 47ref & GT. يتم تسهيل ذلك من خلال سلسلة من القوالب لتعيين أنماط المجموعة / التسمية لعلامة الحاشية السفلية وقائمة المراجع:

نوع المجموعة قالب علامة الحاشية السفلية
أو الترميز
قائمة المراجع
نموذج
تسميات العينة
لا أحد & ltref & GT. & lt & # 47ref & GT & # 123 & # 123reflist & # 125 & # 125 1 2 3 4 5 6 7 8 9 10
لا أحد & # 123 & # 123refn & # 125 & # 125 (للمراجع المتداخلة)
أقل ألفا & # 123 & # 123efn & # 125 & # 125
& # 123 & # 123efn-la & # 125 & # 125
& # 123 & # 123 الوكيل & # 125 & # 125
& # 123 & # 123notelist-la & # 125 & # 125
a b c d e f g h i j
أعلى ألفا & # 123 & # 123efn-ua & # 125 & # 125 & # 123 & # 123notelist-ua & # 125 & # 125 أ ب ج د ه و ج ح أنا ج
الروماني السفلي & # 123 & # 123efn-lr & # 125 & # 125 & # 123 & # 123notelist-lr & # 125 & # 125 أنا ii iii iv v vi vii viii ix x
الروماني العلوي & # 123 & # 123efn-ur & # 125 & # 125 & # 123 & # 123notelist-ur & # 125 & # 125 الأول الثاني الثالث الرابع الخامس السادس الثامن الثامن التاسع العاشر
اليونانية السفلى & # 123 & # 123efn-lg & # 125 & # 125 & # 123 & # 123notelist-lg & # 125 & # 125 α γ δ ε ζ η θ ι κ
ملاحظة & # 123 & # 123NoteTag & # 125 & # 125 & # 123 & # 123NoteFoot & # 125 & # 125 ملاحظة 1 ملاحظة 2 ملاحظة 3

قائمة الأنماط

كما هو مذكور في § المجموعات المحددة مسبقًا ، هناك مجموعات محددة مسبقًا تضيف نمط القائمة تلقائيًا. يعد استخدام القوالب المدرجة أكثر ملاءمة من استخدام & # 124liststyle & # 61.

قوائم المراجع هي قوائم ذات تعداد رقمي افتراضي. باستخدام المعلمة & # 124liststyle & # 61 ، يمكنك التحكم في كيفية عرض القائمة. على سبيل المثال ، سيؤدي استخدام & # 124liststyle & # 61upper-roman إلى تسمية المراجع بأرقام رومانية بدلاً من الأرقام العشرية. تقبل المعلمة أي قيمة CSS صالحة محددة لنوع نمط القائمة كما هو موضح أدناه.


محتويات

تأسست المدينة من قبل خوان ريخون في 24 يونيو 1478 ، باسم "ريال دي لاس بالماس". [14] كان ريخون قائدًا للجيش القشتالي الغازي ، الذي انخرط بعد ذلك في حرب مع السكان المحليين. [15] [16]

بدأت الحرب عند مصب واد غينيغوادا ، حيث استقر مع جنوده الثلاثين ، إل ريال دي لاس بالماس ، التي تُعرف اليوم بمنطقة فيجويتا. [16]

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

20 نوفمبر 1485 تم نقل الأبرشية من إل روبيكون (لانزاروت) إلى ريال دي لاس بالماس. [18] نمت أهمية المدينة تدريجياً ، مع إنشاء أسقفية جزر الكناري ، والمحكمة الأولى لمحاكم التفتيش المقدسة ، والمحكمة الملكية لجزر الكناري ، ومقر إقامة النقباء العامين لجزر الكناري. على الرغم من أن العاصمة ، كما هو مفهوم من القرن التاسع عشر فصاعدًا ، لم تكن موجودة على هذا النحو في الأرخبيل ، نظرًا لأن مقر إقامة الكابتن العام كان في لاس بالماس ، يمكن اعتبار أنها كانت عاصمة جزر الكناري خلال جزء من القرن السادس عشر. والقرن السابع عشر بعد ذلك ، على الرغم من عدم وجود أهمية قانونية أو حقيقية لها ، إلا أنها استمرت في اعتبارها العاصمة الفخرية لأرخبيل الكناري. [18]

في عام 1492 ، رسي كريستوفر كولومبوس (بالإسبانية: Cristóbal Colón) في ميناء لاس بالماس لإصلاح دفة سفينته بينتا [19] وقضى بعض الوقت في الجزيرة المجاورة في أول رحلة له إلى الأمريكتين. [19] [20] كما توقف هناك في طريق عودته إلى إسبانيا. [21] منزل كولون [بالإسبانية] - متحف في منطقة Vegueta [بالإسبانية] بالمدينة - سمي باسمه. [22]

في عام 1595 ، حاول فرانسيس دريك نهب المدينة ، مما أدى إلى معركة لاس بالماس. [21] كانت الغارة الهولندية بقيادة نائب الأدميرال بيتر فان دير دوس في عام 1599 أكثر نجاحًا بقليل من تدمير بعض المدينة ، ولكن تم صد المغيرين. [23] [24]

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

لاس بالماس هي مدينة شقيقة لسان أنطونيو ، تكساس ، في الولايات المتحدة ، تأسست عام 1718 من قبل حوالي 25 من سكان جزر الكناري. [25]

تنقسم لاس بالماس إلى خمس مناطق إدارية ، والتي بدورها مقسمة إلى مناطق ، لا تتفق بالضرورة مع الأحياء التقليدية.

لا يصرف السكان [26]
1 فيجيتا ، كونو سور ذ تافيرا 73,243
2 سنترو 88,546
3 لا إيسليتا بويرتو كانتيراس 71,412
4 سيوداد ألتا 101,684
5 تاماراسيت سان لورينزو 39,191

يوجد بالمدينة أربعة شواطئ رئيسية: لاس كانتيراس ولاس الكارافانيراس ولا لاجا وإل كونفيتال.

  • بلايا دي لاس كانتيراس (شاطئ لاس كانتيراس) هو أكبر شاطئ في المدينة ، ويتردد عليه على مدار العام سكان المدينة بالإضافة إلى أعداد كبيرة من الزوار الأجانب. يقع الشاطئ على الجانب الغربي من برزخ Guanarteme الذي يربط شبه جزيرة La Isleta الواقعة في الشمال الشرقي ببقية جزيرة Gran Canaria. يتجه الشاطئ الذي تبلغ مساحته 3100 مترًا نحو الشمال الغربي فيما يُعرف باسم Confital bow أو bay ، ويمتد من سفوح تلال La Isleta حتى قبل مصب وادي Tamaraceite بوقت قصير. على طول هذا الطول ، فإن الشاطئ محمي من معظم أمواج وتيارات المحيط الأطلسي بحاجز طبيعي من الحجر الرملي المرجاني المعروف شعبياً باسم "الشريط" ، والذي يقع على مسافة سباحة سهلة من الشاطئ. تم إدخال نظام للإدارة البيئية ، وحصل الشاطئ على شهادة ISO 14001 - وهو واحد من ثلاثة شواطئ فقط في إسبانيا تقوم بذلك ، وهي لا كونشا في سان سيباستيان ولا فيكتوريا في قادس. داخل الشاطئ يمر باسيو دي لاس كانتيراس ، وهو ممر عريض للمشاة ، أو رصيف ، يمتد موازيًا للشاطئ من بالقرب من Auditorio Alfredo Kraus إلى المنطقة المعروفة باسم "Puntilla" حتى الوصول إلى Playa del Confital. يغطي La Playa de Las Canteras ثلاث مناطق تتوافق مع الأقواس والانعكاسات التي تجريها على الساحل. يقدم كل منها خصائص شكلية معينة. [27]
  • بلايا دي لاس الكارافانيراس (شاطئ لاس الكارافانيراس) يمتد من الجانب المرتفع من برزخ Guanarteme ، وهو بصق قديم من الكثبان الرملية والجبال التي تربط شبه جزيرة La Isleta ، الواقعة إلى الشمال الشرقي ، مع بقية جزيرة Gran Canaria. يمتد من Real Club Náutico de Gran Canaria إلى حاجز أمواج المرسى الجديد في المدينة ، لما يزيد قليلاً عن 800 متر (1 2 ميل) من الرمال الذهبية الجميلة. [28] الشاطئ بأكمله مخدوم بالمنتزه ، الذي يبدأ في لاس الكارافانيراس ، ويتصل بشاطئ بلايا دي سان كريستوبال ، وينتهي في بلايا دي لا لاجا ، على بعد 16 كيلومترًا (10 ميل) إلى الجنوب. يعد الكورنيش أحد المناطق الترفيهية في المدينة ويحظى بشعبية لدى الأشخاص الذين يغتنمون الفرصة للمشي أو الجري أو ممارسة الرياضة أو ركوب الدراجات. هدوء الخليج ونوادي اليخوت القريبة من الشاطئ الحالي تجعل من Playa de Las Alcaravaneras مكانًا رائعًا لممارسة الرياضات مثل الإبحار والتجديف. يوفر الشاطئ أيضًا مرافق للرياضات مثل الكرة الطائرة الشاطئية أو كرة القدم الشاطئية أو فوتفولي (التي نظمت بطولات في الصيف) ورياضات الملاعب مثل كرة السلة وكرة القدم الداخلية والكرة الطائرة. [بحاجة لمصدر]
  • بلايا دي لا لاجا (شاطئ لا لاجا) ، ذات الرمال الرمادية الناعمة ، يبلغ طولها حوالي 1200 متر ويبلغ متوسط ​​عرضها 40 مترًا. [29] أمواجها وتياراتها المعتدلة لم تعد خطرة منذ بناء السد في الجنوب في التسعينيات. في ذلك الوقت ، قامت وزارة البيئة أيضًا بشباك الجر في قاع البحر لجلب الرمال إلى الشاطئ ، وقد أدى إنشاء ممر خشبي إلى تحسين وصول المشاة بشكل كبير. نظرًا لكثافة تياراتها والأمواج القادمة ، تم الترحيب بـ La Laja باعتباره شاطئًا مفضلًا لراكبي الأمواج. [29] إنها نقطة البداية لسباقات القوارب التي تحدث في نهاية كل أسبوع بين أبريل وأكتوبر. [30]
  • بلايا ديل كونفيتال (كونفيتال بيتش) ، جنوب غرب شبه جزيرة La Isleta ، هو الجزء الشمالي من الخليج الكبير الذي يحتوي على Playa de Las Canteras و Playa del Confital. في حين أن شاطئ بلايا دي لاس كانتيراس هو شاطئ رملي طويل وواسع ، فإن شاطئ بلايا ديل كونفيتال هو شاطئ بركاني أضيق وأكثر صلابة ومجهز بمسارات مشاة مريحة وألواح حجرية كبيرة مائلة مناسبة للاسترخاء وممارسة الرياضة والاستحمام الشمسي. يحل ركوب الأمواج المتقدم بعيدًا عن الشاطئ محل السباحة باعتبارها النشاط المائي الرئيسي في بلايا ديل كونفيتال. [31] حتى قبل بضع سنوات ، كان الشاطئ موطنًا لمدينة أكواخ صغيرة ، والتي تم القضاء عليها منذ ذلك الحين وعادت أراضي بلايا ديل كونفيتال إلى الاستخدام العام العام. [بحاجة لمصدر] ومع ذلك ، فقد ثبت أن التحسينات التي أدخلت عليها مثيرة للجدل حيث شكك بعض المنظمات البيئية والسكان في شرعية الإجراءات. يحظى راكبو الأمواج الهواة والمحترفون على حد سواء بالتفكير في الأمواج التي تصل إلى الشاطئ على حد سواء ، حيث يعتبر البعض أن Confital هي واحدة من أفضل فواصل اليد اليمنى في أوروبا. [32] هنا ، تشكل تيارات المحيط أنبوبًا يستخدمه راكبو الأمواج الأكثر خبرة نظرًا لسرعته وتباينه القوي. في كل عام ، تقام الأحداث المؤهلة لبطولة العالم المحترفة لركوب الأمواج على هذا الشاطئ. [33]

تتمتع لاس بالماس بمناخ صحراوي (أبيض وأسود) [34] [35] مع صيف جاف دافئ وشتاء دافئ بما يكفي لتصنيفه على أنه مناخ استوائي. يبلغ متوسط ​​درجة الحرارة السنوية 21.2 درجة مئوية (70.2 درجة فهرنهايت) - 28 درجة مئوية (82 درجة فهرنهايت) خلال النهار و 18 درجة مئوية (64 درجة فهرنهايت) في الليل. في يناير ، أبرد شهر ، تتراوح درجة الحرارة عادةً من 19 إلى 23 درجة مئوية (66 إلى 73 درجة فهرنهايت) (وأحيانًا أعلى) خلال النهار ، وحوالي 15 إلى 16 درجة مئوية (59 إلى 61 درجة فهرنهايت) في الليل ، بمتوسط ​​درجة حرارة البحر عند 20 درجة مئوية (68 درجة فهرنهايت). في الأشهر الأكثر دفئًا - أغسطس وسبتمبر - تتراوح درجة الحرارة عادةً من 27 إلى 30 درجة مئوية (81 إلى 86 درجة فهرنهايت) خلال النهار ، فوق 21 درجة مئوية (70 درجة فهرنهايت) في الليل ، مع متوسط ​​درجة حرارة البحر عند 23 درجة مئوية (73 درجة فهرنهايت). تقلبات كبيرة في درجات الحرارة نادرة.

كان أغسطس 1990 هو الشهر الأكثر دفئًا على الإطلاق ، حيث بلغ متوسط ​​درجة الحرارة القصوى للشهر 30.6 درجة مئوية (87.1 درجة فهرنهايت). [36] كانت أعلى درجة حرارة تم تسجيلها على الإطلاق 44.2 درجة مئوية (111.6 درجة فهرنهايت) ، وكانت أبرد درجة حرارة سجلت على الإطلاق 9.4 درجة مئوية (48.9 درجة فهرنهايت). أعلى سرعة رياح تم تسجيلها على الإطلاق كانت في 28 نوفمبر 2005 ، بقياس 113 كم / ساعة (70.21 ميل في الساعة). لم تسجل مدينة لاس بالماس أي ثلوج أو صقيع.

يبلغ المتوسط ​​السنوي للرطوبة النسبية 66٪ ، وتتراوح من 64٪ في مارس إلى 69٪ في أكتوبر. يزيد مقدار ساعات سطوع الشمس السنوية عن 2800 ساعة في السنة ، من حوالي 190 ساعة في الشتاء (بمعدل ست ساعات في اليوم) إلى حوالي 300 ساعة في الصيف (بمعدل 10 ساعات في اليوم). [37] تمطر في المتوسط ​​22 يومًا فقط في السنة ، ويبلغ إجمالي هطول الأمطار سنويًا 151 ملم فقط (5.9 بوصة). [38]

بيانات المناخ في لاس بالماس ، مطار غران كناريا (1981-2010) ، المتطرف (1980-2016)
شهر يناير فبراير مارس أبريل مايو يونيو يوليو أغسطس سبتمبر أكتوبر نوفمبر ديسمبر سنة
ارتفاع قياسي درجة مئوية (درجة فهرنهايت) 29.5
(85.1)
30.9
(87.6)
34
(93)
34.3
(93.7)
36
(97)
36.9
(98.4)
44.2
(111.6)
39.2
(102.6)
39
(102)
36
(97)
36.2
(97.2)
29.4
(84.9)
44.2
(111.6)
متوسط ​​الحد الأقصى درجة مئوية (درجة فهرنهايت) 23.0
(73.4)
24.2
(75.6)
25.1
(77.2)
25.3
(77.5)
25.4
(77.7)
26.6
(79.9)
28.4
(83.1)
30.6
(87.1)
30.0
(86.0)
28.1
(82.6)
26.3
(79.3)
24.2
(75.6)
30.9
(87.6)
متوسط ​​درجة مئوية عالية (درجة فهرنهايت) 20.8
(69.4)
21.2
(70.2)
22.3
(72.1)
22.6
(72.7)
23.6
(74.5)
25.3
(77.5)
26.9
(80.4)
27.5
(81.5)
27.2
(81.0)
26.2
(79.2)
24.2
(75.6)
22.2
(72.0)
24.2
(75.6)
المتوسط ​​اليومي درجة مئوية (درجة فهرنهايت) 18.1
(64.6)
18.4
(65.1)
19.3
(66.7)
19.5
(67.1)
20.5
(68.9)
22.2
(72.0)
23.8
(74.8)
24.6
(76.3)
24.3
(75.7)
23.1
(73.6)
21.2
(70.2)
19.3
(66.7)
21.2
(70.2)
متوسط ​​درجة مئوية منخفضة (درجة فهرنهايت) 15.3
(59.5)
15.6
(60.1)
16.2
(61.2)
16.3
(61.3)
17.3
(63.1)
19.2
(66.6)
20.8
(69.4)
21.6
(70.9)
21.4
(70.5)
20.1
(68.2)
18.1
(64.6)
16.5
(61.7)
18.2
(64.8)
متوسط ​​الحد الأدنى درجة مئوية (درجة فهرنهايت) 13.8
(56.8)
13.6
(56.5)
14.4
(57.9)
14.5
(58.1)
15.8
(60.4)
17.5
(63.5)
19.5
(67.1)
20.4
(68.7)
20.2
(68.4)
18.3
(64.9)
16.3
(61.3)
14.8
(58.6)
13.6
(56.5)
سجل منخفض درجة مئوية (درجة فهرنهايت) 10.2
(50.4)
9.4
(48.9)
10.5
(50.9)
12
(54)
12.2
(54.0)
14.4
(57.9)
16.4
(61.5)
17.6
(63.7)
16.8
(62.2)
14.8
(58.6)
12.8
(55.0)
12.0
(53.6)
9.4
(48.9)
متوسط ​​هطول الأمطار مم (بوصة) 25.1
(0.99)
24.4
(0.96)
12.5
(0.49)
5.9
(0.23)
1.1
(0.04)
0.3
(0.01)
0.1
(0.00)
0.4
(0.02)
9.1
(0.36)
16.0
(0.63)
22.4
(0.88)
31.3
(1.23)
151.3
(5.96)
متوسط ​​أيام تساقط الأمطار (1 مم) 3.1 3.0 2.3 1.3 0.3 0.1 0.0 0.1 1.1 2.3 3.9 4.5 22.0
متوسط ​​الرطوبة النسبية (٪) 65 66 64 64 65 66 65 66 68 69 67 68 66
متوسط ​​ساعات سطوع الشمس الشهرية 184 191 229 228 272 284 308 300 241 220 185 179 2,821
نسبة سطوع الشمس ممكن 54 62 62 58 63 68 71 75 67 65 56 58 63
المصدر 1: المنظمة العالمية للأرصاد الجوية (UN) ، [39] Agencia Estatal de Meteorología [40]
المصدر 2: أطلس الطقس (نسبة سطوع الشمس) [41]
بيانات المناخ في لاس بالماس دي جران كناريا
شهر يناير فبراير مارس أبريل مايو يونيو يوليو أغسطس سبتمبر أكتوبر نوفمبر ديسمبر سنة
متوسط ​​درجة حرارة البحر درجة مئوية (درجة فهرنهايت) 20.0
(68.0)
19.1
(66.4)
19.1
(66.4)
19.3
(66.7)
20.0
(68.0)
21.0
(69.8)
21.8
(71.2)
22.5
(72.5)
23.4
(74.1)
23.4
(74.1)
22.1
(71.8)
20.5
(68.9)
21
(69.8)
متوسط ​​ساعات النهار اليومية 11.0 11.0 12.0 13.0 14.0 14.0 14.0 13.0 12.0 11.0 11.0 10.0 12.2
متوسط ​​مؤشر الأشعة فوق البنفسجية 4 6 8 9 10 11 11 11 9 7 5 4 7.9
المصدر رقم 1: seatemperature.org [42]
المصدر رقم 2: أطلس الطقس [41]

اعتبارًا من عام 2008 [تحديث] ، يعيش ما يقرب من نصف سكان غران كناريا (45.9٪) في لاس بالماس ، بالإضافة إلى 18.35٪ من إجمالي سكان جزر الكناري. وفقًا لدراسة أجراها المعهد الوطني للإحصاء في إسبانيا ، يبلغ متوسط ​​العمر المتوقع في لاس بالماس دي جران كناريا 80.9 عامًا.

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

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

سنة السكان [43] كثافة
1991 354,887 3529.46 / كم 2
1996 355,563 3536.18 / كم 2
2002 370,649 3686.22 / كم 2
2004 376,953 3748.92 / كم 2
2007 377,203 3751.40 / كم 2
2008 381,123 3790.38 / كم 2
2010 383,308
2012 382,296
2014 382,283
2016 378,998
2018 378,517
2020 381,223 [4] 375584 / كم 2

يوجد في المدينة أيضًا مجموعة متنوعة من المدارس الابتدائية والثانوية الحكومية والعامة.

تشمل المدارس الدولية:

    (ألماني) (مدرسة Tafira في حدود المدينة) [45] ، المدرسة الفرنسية الدولية ، في حدود مدينة Telde [46] ، مدرسة يابانية دولية ، كانت موجودة سابقًا داخل Tafira Alta في المدينة [47] افتتحت في أكتوبر 1973 ، [48] وأغلقت في مارس 2001. [49] ، مدرسة بريطانية دولية. [50]

قدم برنامج Escuela Complementaria Japonesa de Las Palmas سابقًا برنامجًا يابانيًا إضافيًا في عطلة نهاية الأسبوع. [51]

تقدم Las Palmas مجموعة متنوعة من المسرح والسينما والأوبرا والحفلات الموسيقية والفنون البصرية وعروض الرقص. تستضيف المدينة مهرجان جزر الكناري الموسيقي والمسرح والرقص ومهرجان السينما الدولي. يقام مهرجان المدينة الرئيسي ، الذي يحتفل بتأسيس "مهرجان المدينة في سان خوان" [52] في يونيو. يعد كرنفال لاس بالماس دي جران كناريا [53] أحد أهم عوامل الجذب للسياح. يتم تضمين وسط مدينة لاس بالماس ، وتحديداً أحياء فيجيتا وتريانا ، في القائمة المؤقتة لمواقع التراث العالمي لليونسكو. [54] [ فشل التحقق ]

تحرير المتاحف والمسارح وصالات العرض

  • يقع Museo Canario في منطقة Vegueta التاريخية. تأسست عام 1879 ، وهي شريك دولي لمجلس البحث العلمي (CSIC). يحتوي على مجموعة قيمة من القطع الأثرية الكناري ، والتي يتم عرضها في 16 قاعة. وهي مجهزة أيضًا بمكتبة تضم أكثر من 60.000 مجلد ، يتعامل الكثير منها مع مواضيع جزر الكناري. يغطي أرشيفها الفترة من 1785 حتى اليوم.
  • يقع Casa Museo de Colón في Plaza de San Antonio Abad خلف كاتدرائية سانتا آنا. يركز على تاريخ جزر الكناري وعلاقاتها مع أمريكا. يحتوي على 13 قاعة عرض دائمة ومكتبة ومركز دراسة مخصص ومساحات متنوعة للأنشطة المؤقتة. يتكون المجمع من عدة منازل ، تم الوصول إلى أحدها من قبل كريستوفر كولومبوس خلال رحلته الأولى إلى أمريكا في عام 1492 وكان مقر إقامة الحاكم السابق (المعروف الآن باسم منزل كولومبوس). تم تنظيمه في خمسة مجالات موضوعية: أمريكا قبل الاكتشاف ، وكولومبوس ورحلاته ، وقاعدة الكناري الإستراتيجية لتجربة العالم الجديد ، وتاريخ مدينة بالماس ونشأة نشأتها ، ورسم القرن السادس عشر حتى بداية القرن العشرين. مئة عام.
  • يقع Casa Museo Pérez Galdós في حي تريانا بالمدينة. إنها مسقط رأس بينيتو بيريز جالدوس. يحتوي على مجموعة كبيرة من الوثائق والكتب والأثاث والمقتنيات الشخصية للكاتب.
  • يقع Museo Néstor في حي جاردن سيتي. تم افتتاح المتحف المخصص للرسام الحديث نيستور مارتين فرنانديز دي لا توري ، في عام 1956 في المجموعة المعمارية لـ Pueblo Canario ، والتي صممها وبناها شقيقه ميغيل. يحتوي على 10 قاعات عرض ، بالإضافة إلى مركز توثيق وتربية.
  • متحف Elder للعلوم والتكنولوجيا هو متحف مبتكر وتفاعلي ومنخرط في الثقافة العلمية والتكنولوجية. يقع Elder في المبنى ، والذي يعود تاريخه إلى نهاية القرن التاسع عشر ، ويحتوي على 4500 متر مربع (48438 قدمًا مربعًا) من قاعات العرض وورش العمل والوحدات التفاعلية والأفلام كبيرة الحجم والنظام البيئي للاحتباس الحراري.
  • يحتوي المتحف البحري ، الواقع في محطة Jet Foil السابقة ، على حوالي 1000 متر مربع (10،764 قدم مربع) من مساحة الأرضية. عند الانتهاء من التوسعة ، سيكون هناك بركة عملاقة لمحاكاة الخليج التفاعلي ، حيث يمكن للزوار التعامل مع سفينة كبيرة.
  • يعد المركز الأطلسي للفن الحديث (CAAM) ، الذي تم افتتاحه في عام 1989 ، أحد أهم المراجع للحياة الثقافية والفنية لجزر الكناري ، وهو مسؤول عن نشر الفن المصنوع في الجزر لبقية العالم ، خاصة إفريقيا وأمريكا وأوروبا. لديها معارض دائمة ومؤقتة تتراوح من الطليعة التاريخية إلى أحدث الاتجاهات. يقع في Calle Los Balcones de Vegueta ، ويحافظ على الواجهة الأصلية للقرن الثامن عشر.
  • تم تصميم Teatro Pérez Galdós بواسطة المهندس المعماري Francisco Jareño y Alarcón في عام 1867. ويرجع مظهره الحالي ، مع بعض التعديلات ، إلى تدخل فرناندو نافارو وميغيل مارتين فرنانديز دي لا توري بعد الحريق الذي دمره بالكامل تقريبًا في عام 1928. تم تكليف شقيق ميغيل مارتن ، الرسام نيستور مارتين فرنانديز دي لا توري ، بتزيين الأكشاك والصالات والمسرح. كان يطلق عليه في الأصل تياترو تيرسو دي مولينا حتى عام 1901 ، عندما ، بمناسبة العرض الأول إلكترا، تمت إعادة تسمية المسرح على اسم الكاتب الكناري بينيتو بيريز جالدوس. بعد أعمال التجديد ، أعيد افتتاح المسرح في أبريل 2007.
  • مسرح كوياس ، على مسرح Cine Cuyás السابق هو عمل للمهندس المعماري الكناري العقلاني ميغيل مارتن فرنانديز دي لا توري. تتسع القاعة الرئيسية لـ 940 شخصًا ، مقسمة بين الأكشاك والمدرجين. كما أن لديها فناء كبير يسمح بتنظيم الأحداث في الهواء الطلق. وهي تقوم حاليًا ببناء غرفة اختبار بديلة بسعة مائة مقعد.
  • تعتبر Sala Insular de Teatro منطقة ذات مناظر خلابة تقع في القاعة الرئيسية للكنيسة القديمة. في عام 2007 ، بعد بعض التجديدات ، أعاد المجلس فتح أبوابه للجمهور ، مرحباً بالتجمعات المحلية الصغيرة.
  • سيتم إعادة افتتاح مسرح جينيجوادا في عام 2011 بعد عقد من التجديد الطويل.

تحرير القاعة ومركز المؤتمرات

  • يقع Auditorio Alfredo Kraus ، الذي سمي على اسم الأوبرا الإسباني الشهير ألفريدو كراوس ، المولود في لاس بالماس ، على المحيط الأطلسي بالقرب من بلايا دي لاس كانتيراس ، وهي واحدة من أكثر المناطق تميزًا في المدينة. تبلغ مساحتها 13200 متر مربع (142.084 قدم مربع) وتحتوي على 11 غرفة تتسع من المؤتمرات الكبيرة والحفلات الموسيقية إلى المؤتمرات.
  • يقع Palais des congrès de Gran Canaria في مبنى Institución Ferial de Canarias بسعة 800 شخص على مساحة 16000 متر مربع (172223 قدمًا مربعة).
  • يقع مركز مبادرات Caja de Ahorros de Canarias (CICC) في مبنى من منتصف القرن التاسع عشر للمهندس المعماري مانويل بونس دي ليون في حي تريانا. إنه مركز مؤتمرات صغير مزود بأحدث التقنيات ويستوعب حتى 500 ضيف.

تحرير المكتبات

يوجد بالمدينة 11 مكتبة بلدية وهناك ثلاثة مراكز متخصصة:


11.1: ملاحظة ببليوغرافية

د هاريل ود. كوزين وج. تيورن ، المنطق الديناميكي مطبعة معهد ماساتشوستس للتكنولوجيا ، 2000.

الجزء الأول: المفاهيم الأساسية

1. مقدمات رياضية

2.1 نماذج الماكينات
2.2 فئات التعقيد
2.3 الاختزال والاكتمال
2.4 ملاحظات ببليوغرافية
2.5 تمارين

3.1 ما هو المنطق؟
3.2 المنطق الإقتراحي
3.3 المنطق المعادل
3.4 المنطق المسند
3.5 ألعاب Ehrenfeucht-Fraisse
3.6 المنطق اللانهائي
3.7 منطق مشروط
3.8 ملاحظات ببليوغرافية
3.9 تمارين

4. التفكير في البرامج

4.1 الولايات وعمليات الإعدام
4.2 البرامج
4.3 التحقق من البرنامج
4.4 المنطق الخارجي والداخلي
4.5 ملاحظات ببليوغرافية
4.6 تمارين

الجزء الثاني: المنطق الديناميكي المقترح

5. المنطق الديناميكي المقترح

5.1 النحو
5.2 دلالات
5.3 متواليات الحساب
5.4 الرضا والصلاحية
5.5 نظام استنتاجي
5.6 ملاحظات ببليوغرافية
5.7 تمارين

6.1 الخصائص الموروثة من المنطق المشروط
6.2 خصائص U ، `، - ،؟
6.3 * المشغل
6.4 هور لوجيك
6.5 ملاحظات ببليوغرافية 6.6 تمارين

7. الترشيح والقدرة على اتخاذ القرار

7.1 إغلاق فيشر لادنر
7.2 الترشيح ونظرية النموذج الصغير
7.3 الترشيح على النماذج غير القياسية
7.4 ملاحظات ببليوغرافية
7.5 تمارين

8. الاكتمال الاستنتاجي

8.1 الاكتمال الاستنتاجي
8.2 النتائج المنطقية
8.3 ملاحظات ببليوغرافية
8.4 تمارين

9.1 حتمية استثناء الخوارزمية
9.2 الحد الأدنى
9.3 النتائج المنطقية
9.4 ملاحظات ببليوغرافية
9.5 تمارين

10.1 برامج خالية من السياق
10.2 النتائج الأساسية
10.3 ملحقات غير قابلة للتقرير
10.4 ملحقات قابلة للتحديد
10.5 خاصية النموذج المحدود للبرامج ذات الحرف الواحد
10.6 ملاحظات ببليوغرافية
10.7 تمارين

11. المتغيرات الأخرى من PDL

11.1 PDL الحتمية وبرامج بينما
11.2 الاختبارات المقيدة
11.3 تمثيلات من قبل Automata
11.4 التكامل والتقاطع
11.5 الحديث
11.6 التأسيس والصواب التام
11.7 التزامن والتواصل
11.8 ملاحظات ببليوغرافية

الجزء الثالث: المنطق الديناميكي من الدرجة الأولى

12. المنطق الديناميكي من الدرجة الأولى

12.1 بناء الجملة الأساسي
12.2 برامج أكثر ثراءً
12.3 علم المعاني
12.4 الرضا والصلاحية
12.5 ملاحظات ببليوغرافية
12.6 تمارين

13. العلاقات مع منطق ثابت

13.1 المستوى غير المفسر
13.2 المستوى المفسر
13.3 ملاحظات ببليوغرافية
13.4 تمارين

14.1 مشكلة الصلاحية
14.2 التعقيد الطيفي
14.3 ملاحظات ببليوغرافية
14.4 تمارين

15.1 الأنظمة غير المفسرة
15.2 الأنظمة المفسرة
15.3 ملاحظات ببليوغرافية
15.4 تمارين

16.1 خاصية الاسترخاء
16.2 الأطياف والقوة التعبيرية
16.3 اللا حتمية المقيدة
16.4 الذاكرة غير المحدودة
16.5 قوة المكدس المنطقي
16.6 اللا حتمية غير المحدودة
16.7 ملاحظات ببليوغرافية
16.8 تمارين

17.1 المنطق الحسابي
17.2 المنطق الديناميكي غير القياسي
17.3 التأسيس الجيد
17.4 الجبر الديناميكي
17.5 البرامج الاحتمالية
17.6 التزامن والتواصل
17.7 المنطق الديناميكي الحدسي
17.8 ملاحظات ببليوغرافية

18.1 منطق التعريفات الفعالة
18.2 المنطق الزمني
18.3 منطق العملية
18.4 حساب التفاضل والتكامل

فهرس

فهرس

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

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

الاسم المنطق الديناميكي يؤكد السمة الرئيسية التي تميزه عن المنطق المسند الكلاسيكي. في الأخير ، الحقيقة ثابتة: يتم تحديد قيمة الحقيقة للمعادلة من خلال تقييم متغيراتها الحرة على بعض الهياكل. يعتبر التقييم وقيمة الحقيقة التي يستحثها غير قابلة للتغيير ولا توجد شكليات تتعلق بأي تقييمات أخرى أو قيم حقيقية. في Dynamic Logic ، توجد بنيات نحوية صريحة تسمى البرامج، الذي يتمثل دوره الرئيسي في تغيير قيم المتغيرات ، وبالتالي تغيير قيم الحقيقة للصيغ. على سبيل المثال ، البرنامج x: = x + 1 على الأعداد الطبيعية يغير قيمة الحقيقة للصيغة "x is even".

تحدث مثل هذه التغييرات على المستوى المعدني في المنطق الأصلي الكلاسيكي. على سبيل المثال ، في تعريف Tarski للصيغة ، إذا كان ش: -> ن هو تقييم المتغيرات على الأعداد الطبيعية ن، ثم الصيغة موجود س س ** 2 = ص تم تعريفه على أنه صحيح بموجب التقييم ش إذا كان هناك ملف أ في ن مثل هذه الصيغة س ** 2 = ص صحيح في ظل التقييم ش [س / أ]، أين ش [س / أ] يتوافق مع ش في كل مكان ما عدا x، والتي تأخذ القيمة أ. يتضمن هذا التعريف عملية معدنية تنتج ش [س / أ]، من عند ش لجميع القيم الممكنة أ في ن. تصبح هذه العملية صريحة في Dynamic Logic في شكل البرنامج س: =؟، يسمى ب غير حتمي أو احالة البدل. هذا برنامج غير تقليدي إلى حد ما ، نظرًا لأنه غير فعال ومع ذلك ، فهو مفيد جدًا كأداة وصفية. طريقة أكثر تقليدية للحصول على الجذر التربيعي لـ ذإذا كان موجودًا ، فسيكون البرنامج

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

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

تم تضمين الجزء الأول في محاولة لتحقيق مستوى معين من الاحتواء الذاتي ، على الرغم من أن المستوى الذي تم تحقيقه بعيد عن أن يكون مطلقًا ، نظرًا لأن التعلم الذاتي يعتمد على العديد من التخصصات للتغطية بشكل كافٍ. وبالتالي ، فإن معالجة بعض الموضوعات في الجزء الأول مختصرة بالضرورة ، ويعد الإلمام العابر بالمفاهيم الأساسية للمنطق الرياضي ، وقابلية الحساب ، واللغات الرسمية والأوتوماتا ، والتحقق من البرنامج شرطًا أساسيًا مرغوبًا فيه.يمكن العثور على مادة الخلفية هذه في شوينفيلد [185] (المنطق) ، روجرز [174] (نظرية العودية) ، كوزين [118] (اللغات الرسمية والأوتوماتا والقابلية الحاسوبية) ، كيسلر [99] (المنطق اللانهائي) ، مانا [127] ] (التحقق من البرنامج) ، وهاريل [] (الحوسبة والتعقيد).

بصرف النظر عن الاعتماد الكبير الواضح على المنطق الكلاسيكي ونظرية الحوسبة والبرمجة ، فإن هذا الموضوع له جذوره في أعمال Thiele [198] و Engeler [42] في أواخر الستينيات ، اللذين كانا أول من قدم فكرة الصياغة والتحقيق. الأنظمة الرسمية التي تتعامل مع خصائص البرامج في إطار مجرد. ازدهر البحث في التحقق من البرنامج بعد ذلك مع عمل العديد من الباحثين ، ولا سيما فلويد [50] وهور [92] ومانا [127] وسالويكي [179]. تم تنفيذ أول تطوير دقيق لنظام شبيه بالمنطق الديناميكي بواسطة Salwicki [179] ، بعد إنجلر [42]. كان يسمى هذا النظام المنطق الحسابي. تم تطوير نظام مماثل ، يسمى Monadic Programming Logic ، بواسطة كونستابل [؟]. تم تقديم المنطق الديناميكي ، الذي يؤكد على الطبيعة النمطية لتفاعل البرنامج / التأكيد ، بواسطة برات في عام 1976 [162].

يوجد الآن عدد من الكتب والأوراق البحثية التي تتناول منطق البرامج والمنطق الديناميكي. ونحيل القارئ إلى [70،71،150،56،57،106،31،36،117].

تم استخدام مادة هذا الكتاب كأساس لدورات الدراسات العليا في معهد وايزمان للعلوم ، وجامعة بار إيلان ، وجامعة آرهوس ، وجامعة واراو ، وجامعة كورنيل.


2ar: `Bj @٪ R`X #؟ L / p5 mBaa9VE: a <> EpG * KtHSo5m3dIsAUOu / 15 KQGt-.aAkB'Ekq [OWHK.rPA.'9H + BOX ^ [QgNZJSZqsYAXH8" # DY "/ b = '/ & 7k dW: I! UHB & 0Q] f [>. "aSnb6i5d #؟ TS8Js'_5 # L # EAII4 & () FNm8 & P`H3f؟ Ka & g T3 7X؟ a ' M @ t؟ JA! Mc5 #` D : -8L.: 7` // S M2Krb $ YKRA + Fk (r0.> R4fjG / 5X2G`] '26h8U-' j + m *! LcUh> jl [٪؟ @ at "* X $ D` ^ NaUf = U ^ oK1 (SeO00HGY (W'kaTYDCi9 + 7DC = h @ D! V # * nVDI # VM & FI، Fl٪ Du * 9 = ce @ M_ * IJ ^ @ (3J = _B، 9gW = E] 4 / _ ^ PP * Km &٪ YWD9Xjhm + 40RGiTR "c6pV ([B1DL E7i5؟ ObMEn8CdgmdVec * FfSufE * 'Q8AO"] M٪! Y٪ ** m_u] Q ^ * ETb: jrE-Q9k RMhC٪ qKl3، IYp [ "hZ3938T.s.g '!. 360 = qnhgF ^ -؟ 9B =،" p # Zdbo'pD) lj / Ol! C8 &' 2_ $ ecAS * .ddC2WM2k (Hh6U]G2bWPb؟nrnrGPeCY*ck5.*[email protected] ، r ((p912: q / Z] sI٪ MZ2ni24JkAZD & Wp.: LJV ^. & "FIE٪ Y $ ZC ^ TQ (_dc 2k) $ Wh] Y & d6 # (GIEhHL / 9opYd0a $ 2 # Ss8: 'W9_brq + kl2 (T97 / O9eV fdpJgKMSFY / rp_WtD5P: m0A @ N * nW3 (8_sVIH "؟ mjpf @ 072 + & Qq: (o12H3 $ IRe @ -4Ub، SbL- [` ZqYU / YXlFG2qh`ZVG3؟ Kl.60YkBORfqTnfC، 653`q! mPGc $ GH DLOXJT1SdTO'cl # ++ O + imi7n (RK # FEr $ "7EcmT @ QDW cEN> eNT5P + A Ql $ 61c2) f" qGm4SV7٪ G ' RIl_A = _) Hf3 "RP،> LRPV1cQ uc-ADVG (dVEAZ 5Vl /؟ + - n6BB" Pt #، 4> 7D-A] t392c: ^ T ctN & * X3`g3؟ N0m * "O * k] ne" nkSYl *] d-_j JjSp'M ((7SR-m: _qE! 7 ^ MA24٪ Cp9q 8lZm CHITn & Jl8٪ _iH؟ =٪. a2'sbB ' G ^ 0sX، (kS / 3؟ 'a -0+ "i_VnI7 [O! -93 * 5 X $ qRIH6XTu $ JZmgDK٪ 2 @ * ،: V6nU6k9VK7d g * 0h3g2-Y3" L: pD.P # Go $٪ LlhMhlQ ​​== NG'btqK MDV2n60_C3_Q_) aYM2dZWk] "[(G.0g'a6 hKeC> $ 47FC> 8، = Y، 6iJjq8!) + 5FODKB [LV61XtjJWZo" RlGK &-LYGS؟ ٪ XIVS ^ WRR51St` ^ e4Kr، = 1XZpChN VAskj '[b.، &؟ i 6_Etdu P_ ^ 6dUXM * & Y jm4G [q] RCJk (4 [> DaY = EO؟ o # "Df: ^ a Lt0H665f6-E . & QS7rC2؟ SqPZ = dVW =] [G9gW ^ ([b] AE9،9iPkS ^ / JaB1ea؟ 7TW6D = J-LPSKg & R * [! iqBE + QtTfM2TC__T، c] 3 &.٪ N9، oE $ m2gRS.uag RH99cdEn AOHmDMPa: Bj٪، b] & STC (sft؟ 79uCp $ D &، 2٪ & B1Bm =) c.RQ RXLU () dSNe.lp، * 4dF`1K [OCSG7gst'3` # "p] +" + f $ ^ l4KGfN & YsX1Y Y_IJt * Kc = bOTFe + U: 'hTAm * t * -k> M "6W & QHnJ4U5KM6s ] c3 [eQdY RH! q: J7H =! 4 -s07 &) dSuk`mtl1mFu (؟) S /2 + YLY ^ OEnsH * P + JUt * N [> T`Yn kOBmEu9bet: @، -) ب: 7FR hDiS-Y8 [k + 2Ohl ^ D @ [LFZ`hhES4p_ @ f * $: j1T، (= / QFAdE! F0H11.1: ملاحظة ببليوغرافية ، [nobr] [H1toH2]


شاهد الفيديو: Virgils Aeneid Book 1, lines 1-57. Aeneis Vergilii (شهر اكتوبر 2021).