حول ورقة ديجكسترا

Question

انا اقرأ المبرمجون في العمل.

صادفت هذه الفقرة في مقابلة دونالد نوث.

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

اريد ارتباط بهذه الورقة. أي ورقة واحدة هذا؟ (كتب الكثير :-)

Answer 1

يمكن هذا?

مقتطفات ، من بالقرب من النهاية:

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

من ناحية ، نعلم ما يشبه حساب التفاضل والتكامل ، لكننا نفعل ذلك بشكل مختلف تمامًا عن الفلاسفة. من أجل تدريب المبرمج المبتدئ في معالجة الصيغ غير المفترضة ، نعلمها أكثر كجبر منطقي ، ونفترض الطالب مع جميع الخصائص الجبرية للرقص المنطقي. لزيادة قطع الروابط إلى الحدس ، نعيد تسمية القيم {true ، false} من المجال المنطقي كـ {Black ، White}.

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

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

Answer 2

لقد وجدت ال مخطوطة محاضرة ديجكسترا "القسوة".