مزيج على البرمجة وحول

قرن الشجاعة يمر. يتم استبداله
عصر السفسطائيين والاقتصاديين والآلات الحاسبة ؛ مجد
سوف تختفي أوروبا إلى الأبد.
E. Beck (إنجلترا ، 1792)

لماذا؟

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

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

المشهد مينسك.

كيف أصبحت مبرمجًا

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

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

محاولة لجعل الأعذار. "أنا لست الوحيد الذي يلوم". مذنب والمعلمين. كانت جودة التدريس في كثير من الأحيان مثيرة للاشمئزاز. أشار أحد المعلمين ، كميزة لجهاز الكمبيوتر Minsk-32 عبر IBM مع نظام OS / 360 ، إلى أن IBM يعمل فقط مع 8 بت (بايت) ، و Minsk-32 أكبر أربعة أضعاف - 32 (كلمة). ويبدو أن ذلك أدى إلى أن Minsk-32 أفضل أربع مرات من أجهزة كمبيوتر IBM. اتضح أن هذا ينطبق فقط على معالجة. كل هذا تغير عكس ذلك تماما.

ومع ذلك ، فإن الموقف الموصوف كان سمة ليس فقط للبرمجة. في السنة الرابعة من قسم الفيزياء بجامعة BSU ، تم تدريس تخصص "نظرية مجال الكم" لمدة عام. ولم نسمع شيئًا عنها لمدة عام كامل ، لكننا قدمنا ​​نتائجنا الخاصة لمعلم أكاديمي مرتبط بمعاييره الأصلية لمجموعة لورينتز. قد يكون هذا مهمًا ، لكن أين هي نظرية المجال الكمومي للجهاز الأساسي للفيزياء الأساسية؟ بالمناسبة ، يمكن لأي مجموعة ، كما يبدو لي ، أن تكون محددة عددًا لا حصر له من الطرق وسيكون لكل منها بعض المزايا. هل يمكنك أن تتخيل عدد الرسائل التي يمكنك كتابتها! نظرًا لوجود العديد من الجامعات في جمهورية بيلاروسيا ، فإنني أشك كثيرًا في جودة تعليمهم. إذا لم يكن هناك عدد كاف من المدرسين لأحد المدرسين ، فمن غير الواضح حيث تم تجريدهم في عدة مدارس. مع "نوعية" من المتخصصين كان للقاء في وقت لاحق. على سبيل المثال ، في المنظمة غير الحكومية أغات. قام أحد أطباء العلوم بتحسين مؤهلاتنا بهذه الطريقة: ففرض أن "المتجه a أكبر من المتجه b ..." حقق استنتاجات كبيرة. لكن المتجهات مضطربة: لا أحد يحدد نسبة أكثر / أقل بالنسبة لهم. الثانية المستخدمة ضمنيا نسبة الخطأ "مجموع المنتجات يساوي منتج المجموع:$$ $ inline $ ∑_i∏_ja (i، j) = ∏_j∑_ia (i، j) $ inline $ . من هذا تلقى الكثير من العواقب. وعلى الرغم من اعترافه بالخطأ ، إلا أنه نظر لسبب ما في أن العواقب صحيحة ("أحتاج إليها ، لذلك فهي صحيحة"). والقضية التالية مرضية بشكل عام. كان مهندس الراديو يدرس المتجه الكهربائي للحقل الكهرومغناطيسي. وبصفة عامة ، يدور. يتذكر مهندس ميكانيكا نيوتن ، قدم مهندس الراديو قوة الطرد المركزي تعمل في نهاية ناقلات المجال الكهربائي وطور نظرية كاملة من هنا ، دحض بعض جونوروفسكي - على ما يبدو سلطة في مجال هندسة الراديو.

بالعودة إلى البرمجة ، مع ذلك ، لم أكن أحب البرمجة ، لكنني كنت مشبعًا باحترامها. ولكن هذا هو فضل أفضل معلم - الحياة.

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

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

ما هي البرمجة والمشكلة الرئيسية في الرياضيات

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

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

نظرًا لأن البرمجة هي مجال بناء ، فليس من المثير للاهتمام بالنسبة له ما إذا كان هناك حل ، ولكن الحل نفسه. في الرياضيات ، هناك العديد من نظريات الوجود التي تدعي أن هناك حلاً ، لكن لا تقل أي شيء عن كيفية العثور عليه. اقترح عالم الفيزياء نوبل لانداو أن يطرد من مقرر الرياضيات للفيزيائيين أي ذكر لنظريات الوجود. ما هي الفائدة من الفيزيائي لمعرفة أن المعادلة التفاضلية لديها حل. تحتاج إلى معرفة الحل ، وليس ما هو عليه. فقط حول الموضوع "هل هناك حل؟" هناك قصة مثيرة للاهتمام حول لانداو. عندما ذهب الفيزيائيون إلى مكان لحضور حفلة ، تم الترفيه عنهم على طول الطريق ، لأن مراقبة الأرقام المكونة من أربعة أرقام أمام السيارة في المقدمة كان من الضروري التقاط النمط في الغرفة بأسرع وقت ممكن ، باستخدام الابتدائية فقط (الإجراءات المدرسية) دون إعادة ترتيب الأرقام واستخدامها مرة واحدة فقط . على سبيل المثال ، للرقم 73-85 لدينا 7-3 = 8-5 ، للرقم 38-53 لدينا $$ . كان لانداو سلطة كبيرة في هذا الشأن. السؤال الذي يطرح نفسه هو ما إذا كان يمكن العثور على أي رقم نمط - هذا هو السؤال عن نظرية الوجود. أجاب لانداو ، "لا ، ليس لأحد". "لماذا ، أثبتت أنت ، لانداو ، نظرية عدم وجود!" "حسنًا ، لا ، ببساطة لأنني ، لانداو ، لم أجد هذا النمط لأي رقم. على سبيل المثال ، للرقم 75-65 ". الرائعة. لكن أحد علماء الرياضيات الشباب أخذ نظرية الوجود بجدية تامة وأثبت أن أي عدد صحيح يمكن أن يكون "مساوياً" لآخر ، لأن هناك صيغة لتخفيض N + 1 إلى N: $$$√ (N + 1) = sec⁡ (arctg (√N))$
للأسف ، بعد إثبات نظرية الوجود ، فقدت اللعبة حدتها. ومن هنا: " لمزيد من المعرفة ، والمزيد من الحزن" .

يميز حل التصميم مرحلتين:

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

أمثلة على المشاكل البناءة الخاصة

مجموعة العمليات المقبولة هي العمليات المدرسية التي تقوم بها البوصلة والمسطرة: بناء خط يربط بين نقطتين معينتين ، ويقسم الخط إلى النصف ، ويبني عموديًا ، ويستخرج الجذر التربيعي ...

فيما يلي مشاكل البناء الكلاسيكي:

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

تثليث الزاوية . يجب تقسيم زاوية معينة إلى ثلاثة أجزاء متساوية باستخدام عدد محدود من العمليات المذكورة أعلاه

هنا إذن ، النهج "في خط نظرية الوجود - أعطنا حلاً على الفور" يعطي اختلالًا. على افتراض أن هناك حلًا ، فقد تم البحث عنه لعدة قرون. لكن اتضح أنه لم يكن هناك حل.

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

إضفاء الطابع الرسمي على مفهوم الخوارزمية

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

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

افترض أن هناك رقمين n-bit وأن ماكينة Turing تضربهم بواسطة U (n) ، والإضافة بواسطة S (n). ثم يشير الحدس إلى أن U (n)) / (S (n) → ∞. لكن التحليل النظري أظهر أنه لأي صغير تعسفي - لدينا$$ $ inline $ U (n)) / [S (n) (S (n)) ^ ε] → 0 $ inline $ . وهذا يشير إلى أنه لا يوجد شيء أقرب من الضرب إلى الإضافة - فهي قريبة من التعقيد.

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

لدينا موقف مماثل في نظرية فيرما العظيمة: المعادلة $$$x ^ n + y ^ n = z ^ n$ لا يوجد لديه حل في الأعداد الصحيحة ل n> 2.

يمكن إعطاء هذا البيان حرفًا أريد أن أقوله ، "هذا لا يمكن أن يكون".
بقسمة على الجانب الأيمن ، نمر إلى الأرقام المنطقية: المعادلة $$$p ^ n + q ^ n = 1$ لا يوجد لديه حل في الأرقام المنطقية <> 0.

علاوة على ذلك ، نحن نقتصر على حتى n. بالنسبة لهم لدينا صورة:



يوضح الشكل منحنيات Fermat لـ n = 2 (دائرة) و n = اللانهاية (مربع). بالنسبة إلى n = 2k> 2 ، تقع جميع المنحنيات الأخرى بين الدائرة والمربع ، وكلما زاد n ، تصبح أقرب وأقرب إلى المربع. وإذا أخذت كل هذه المنحنيات ، فسوف تملأ المساحة المحيطة بالمربع بشكل متزايد. وهناك العديد من النقاط بلا حدود بإحداثيات عقلانية بحيث إذا كانت كل النقاط المنطقية مطلية باللون الغامق ، فستكون المساحة الكاملة للمربع سوداء - مجموعة النقاط مع الإحداثيات المنطقية تكون كثيفة في كل مكان. ومع ذلك ، لا يمر أحد منحنيات فيرما عبر نقاط عقلانية. يبدو أنه لهذا تحتاج إلى حلقة مجنون. ومع ذلك ، تقول نظرية فيرما أن منحنى سلس تماما لا يمر عبر أي نقطة عقلانية. حسنًا ، من المستحيل تصديق ذلك. هناك خطأ ما هنا.
يوجد موقف مماثل في جميع الرياضيات. سيكون من الجميل حل المشكلات الرياضية والتعامل مع الرياضيات. على سبيل المثال ، تخيل إيجاد حل للمشكلة الرياضية "إذا A ، ثم B" كحركة في مساحة معينة من الكائنات الرياضية من البيانات الأصلية إلى المطلوبة. فيما يلي مثال لمسار بناء من A إلى B:



عندما تتحرك على طول المسار ، يتم استخدام البديهيات فقط من الحساب.

هذا سيكون لأي نظرية "إذا A ، ثم B" ، يمكن للمرء أن يصنع من خلال الطرق البناءة المسار المؤدي من A إلى B. وسيكون هذا انتصارًا للرياضيات. هل يمكن القيام بذلك؟ هل هناك مثل هذا المسار؟

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

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

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

S1 = A1 + A2 + ... + An و S2 = B1 + B2 + ... Bn

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

أثبت John von Neumann ، باستخدام البديهية المختارة ، أن الجزء A من خط به قسم محدود أقل من الجزء B من خط أقصر من طوله. لذلك نعتقد في هذه الرياضيات. إذا قبلنا البديهية الخاطئة في الاختيار (وما الذي يمكن أن يكون أكثر وضوحًا من حقيقة أنه يمكن اختيار طالب واحد من الفصل الأول ، وطالب واحد من الثاني ، وما إلى ذلك) ، فسيتم الحصول على عواقب متناقضة تمامًا.

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

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

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

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



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



با! - لكن هذا برنامج على Prologe. Prolog نفسها بمثابة وظيفة حدودي المذكورة أعلاه. وصف المجال - نص Prologe ترميز المجال. الهدف هو المعلمة.

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

كلاسيكي

الكلاسيكية القديمة

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

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

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

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

إذا كنت تتبع المصطلحات الحديثة - Babbage "فيزيائي". لم يعجبه الموسيقى. في الأوبرا ، قدم موسيقى ملونة. فيما يتعلق قصائد تينيسون

"كل دقيقة يموت رجل ،
ولكن كل دقيقة يولد رجل "

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

كل لحظة يموت فيها شخص
ولكن يولد 1.16 شخص ...

أستطيع أن أخبركم برقم أكثر دقة - 1.167 ، لكن هذا بالطبع يجب أن ينتهك إيقاع الآية ... "

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

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

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

أول مبرمج لآلة تحليل Babbage كانت ابنة الشاعر بايرون ، أدا. وهنا بعض من تصريحاتها.

" يمكن تعريف الآلة التحليلية بأنها تجسيد مادي لأي وظيفة غير محددة لها أي درجة من العمومية أو التعقيد " !!!
"عند النظر في أي اختراع جديد ، غالبًا ما نواجه محاولات للتقليل من شأن ما اعتقدنا أنه مثير للاهتمام أو حتى رائع ، ومن ناحية أخرى ، نقلل من شأن الحالة الحقيقية للأمور عندما نجد أن أفكارنا الجديدة تحل محل الأفكار التي اعتبرناها غير قابلة للتزعزع".

صاغ آدا مصطلحات "خلايا العمل" ، "دورة". لذلك فإن لغة البرمجة "Ada" المستخدمة في البنتاغون لها اسم يستحق.

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

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

سبق أن أثبتت فون نيومان التي ذكرناها من الناحية النظرية إمكانية التكاثر الذاتي للأوتوماتة. بالمناسبة ، يتم تنفيذ هذه الميزة في الممارسة العملية.

الأدب الكلاسيكي

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

بروكس. كيف يتم تصميم أنظمة البرمجيات وبرمجتها
الكلاسيكية على المشاكل التي تواجه المشاريع الكبيرة.
دال ، ديكسترا ، حور. البرمجة الهيكلية .
يمثل بداية حقبة جديدة في البرمجة. تشعر بالدهشة من الكيفية التي يمكنك بها النظر إلى البرامج العادية بشكل غير متوقع وعميق. أنه يحتوي على الكثير من الملاحظات الفلسفية.
ديكسترا. انضباط البرمجة.
كتاب رائع للغاية. في شبابي قضيت عطلتين على ذلك. للأسف ، لا أستطيع أن أؤكد لنفسي أنني فهمت كل شيء. عندما قابلت المبرمجين الذين يحاولون التألق بعقلهم ، سمحت لهم بقراءة هذا الكتاب. أعادوها مع بعض الحرج. كان رد فعل مماثل على "التقرير المنقح حول Algol-68" (كما أوضحته إحدى السلطات حول Algol-68 - "إنها لغة للمبرمجين والشعراء")
ويرث. البرمجة المنهجية.
قراءة الكتاب الأول ، والتي أظهرت أن البرنامج التعليمي للبرمجة يمكن أن يكون جيدا.
يودا. البرمجة الهيكلية .
الشيء الرئيسي هو أن نلاحظ في موضوع عصري. ولكن هنا كان خارج المكان.
جريس. علم البرمجة
"إذا أخذنا في الاعتبار الكتاب الحاسم لكتاب Dijkstra (تخصص البرمجة) الوحي ، فإن كتاب Gris هو عمل رسولي" (Ershov).
أهو ، هوبكروفت ، أولمان. بناء وتحليل الخوارزميات الحسابية
يحتوي الثقل الموازن للكتب الحديثة ذات يوم واحد مثل "C- + في 21 ثانية ، دقيقة ، ..." على عرض لخوارزميات سريعة مهمة لن تموت لفترة طويلة.
جولات. منهجية البرمجة
هناك الكثير من الملاحظات المثيرة للاهتمام حول كل من البرمجة الصغيرة والبرمجة بشكل كبير.
Kouchnirenko. البرمجة لعلماء الرياضيات
تعليمي كبير مع مستوى عال من العرض.

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

miscellanea

علم الأساطير

يمكن لأي شخص البرنامج . في هذا الحساب ، إلى مكان الاقتباس من شكسبير: " يمكنني استدعاء الأرواح من الهاوية ، ويمكنني والجميع ، والسؤال الوحيد هو ما إذا كانوا يذهبون إلى المكالمة ." كما هو الحال مع أي نشاط مهني ، تتطلب البرمجة ميلًا وقدرة. يبدو لي أنه لا يمكن برمجة جميع المبرمجين. من الممكن أن تعرف نظام Windows NT على bitick وأن تكون عاجزة قبل حل مهمة تطبيق أولية بنفسك.

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

مهمة المحاسبة سهلة في الكتابة والاهتمام ، ولكن إنشاء صفحة ويب أمر صعب ومثير للاهتمام.

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

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

أعطني جهاز كمبيوتر قوي بما فيه الكفاية وسأصلح أي كود . هناك الكثير من المبرمجين الذين سيؤكدون بشدة أن أي كود يمكن اختراقه. أعط فقط كمبيوتر قوي بما فيه الكفاية. في رأيي ، هذا هو جهل أساسيات نظرية المعلومات التي وضعها شانون. وكل شيء بسيط للغاية. النظر في الضوضاء كرسالة مشفرة. يمكن استخراج أي شيء من الضوضاء. لا يمكن فك تشفيرها بأي طريقة - لاستخراج شيء مفيد. خلاف ذلك ، هذه ليست الضوضاء. الضجيج المتراكب على الرسالة يعطي ضوضاء. لذا ، فلنضع ضوضاء على الرسالة: Noise (W) + Message (C) = Noise1 (1). لا يمكن فك تشفير الضوضاء 1. بالطبع ، من خلال البحث الشامل يمكنك الوصول إلى أسفل الرسالة. ولكن كيف تعرف أن هذه هي الرسالة الصحيحة. دعنا نحصل على رسالة "Petya هو أحمق". سيؤدي البحث الكامل إلى استخراج هذه الرسالة ، ولكنه سيؤدي أيضًا إلى استخراج مثل: "Petya رجل ذكي" و "Vasya هو أحمق" ، إلخ. لذلك أي واحد أن تأخذ؟

ولكن لا يزال بإمكانك استخراج الرسالة. للقيام بذلك ، تحتاج إلى معرفة الضوضاء وطريقة التراكب. ثم = 1-. لكن هذا لا يحتاج إلى كمبيوتر عملاق ، ولكن عليك أن تعرف الضوضاء.

بالمناسبة ، يبدو أن هناك خطة مماثلة يتم تطبيقها في المحادثات بين الرئيسين الأمريكي والروسي.

المبرمجين لا يحتاجون إلى الرياضيات

حول البرمجة ، بدأت الجماليات الإنسانية في النضال. حسنًا ، كيف يمكن للمبرمج أن يرسم صفحة ويب جميلة من دون تهديد ، وكيف يتعايش بدون واجهة مع واجهة المستخدم الرسومية. و engraftments تظهر. ويبدأ يبدو أنهم مبرمجون.

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

مبادئ

ما الأحكام العامة أعجبك؟

فرق تسد

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

اسمحوا القبيح ولكن موحدة

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

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

اللغة تحدد التفكير

بتقييد أنفسنا على بعض التركيبات النحوية ، لا نشك حتى في كيفية تقييد تفكيرنا. ماذا سيكون حساب التفاضل والتكامل دون رمزية الرياضية؟ ما يمكن أن يكون بناء جملة لغة البرمجة دون الشكليات Backus-Naur أو ما يعادلها؟

برنامج = خوارزمية + بيانات

في النهج الموجه نحو الكائن ، يمتد هذا الموقف إلى بنيات أولية - كائنات تتكون من البيانات والأساليب. وضعت البرمجة لأول مرة تحت علامة الخوارزميات ، ثم البيانات. الموضوع DBMS يذهب تماما تحت عنوان "البيانات". لكن الخوارزميات تسللت إلى هناك أيضًا - طرق البحث وطرق الفهرسة.

نموذج مجال الموضوع

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

بعض المهام

بعض المهام التي أثارت إعجابي. أذكر ، بالطبع ، المهام الصغيرة فقط. من الصعب القول لفترة وجيزة عن المهام الكبيرة ، والالتزام بهذا النوع.

مشكلة حبوب القهوة

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

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

على الدليل

: Workers r، Students s، Unemployed b. يتم ترتيبها بالاسم. من المعروف أن هناك طلاب مارقين يعملون وهم مدرجون في قوائم العاطلين عن العمل ، وبالتالي يتلقون إعانات بطالة. اكتب برنامجًا يعثر على أول شخص من هذا النوع المارقة - البرنامج الذي يكون اسمه أولاً حسب الترتيب الأبجدي.

القرار.
دع i ، j ، k هي الإحداثيات في الملفات r ، s ، b
I ، j ، k: = 0،0،0؛ - ابدأ من البداية
حتى الآن (r (i) <> s (j) و s (j) <> b (k) و b (k) <> r (i)) كرر
البداية
إذا كانت r (i) <s (j) ) ثم i: = i + 1؛
إذا كانت s (i) <b (j) ثم j: = j + 1 ؛
إذا كانت b (i) <r (j) ثم k: = k + 1؛
تحتوي النهاية

i و j و k على إحداثيات مارقة في ملفاتهم.

ولكن كيف تبدو أنيقة في تدوين Dijkstra:

i، j، k: = 0،0،0؛
do
 R (i) <S (j) i: = i + 1؛
 S (j) <B (k) j: = j + 1؛
 B (k) <R (i) k: = k + 1؛
od
{i، j، k هي الإحداثيات المطلوبة}
حيث يحدد الرمز guard ما يسمى بالحراسة (R (i) <S (j) ، وما إلى ذلك)
ومن المؤسف ألا يتم تضمين هذا الترميز في اللغات.

حكاية المراحيض على القطارات

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

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

فرز سريع

بعد الفرز والفرز وفقاعات الفقاعة ، تعتبر Shell بمثابة كشف. خوارزمية جميلة وأسرع نتيجة.

برنامج يقوم بطباعة النص بنفسه ،

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

لعبة الشطرنج على عدة أسطر

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

الحالات

دخول البولندية

لقد مضى وقت طويل. نقوم بتطوير مشروع في مركز Belpromstroibank للمعارض للحفاظ على البيانات المتعلقة بمشاريع البناء في الجمهورية. يتم رسم مولد التقرير. يمكن تعريف كل رسم بياني بأي صيغة حسابية. كيفية حسابها؟ تم اتخاذ القرار بضرورة قيام المستخدم بملء نموذج خاص يختزل فيه الصيغة إلى الابتدائية. على سبيل المثال ، يتم تحليل الصيغة r = (a + b) / (cd) على النحو التالي: 1) x = a + b ، 2) y = cd ، 3) r = x / y. هكذا فعلوا. نحن نركض في. المشروع قيد التنفيذ. كل يوم ، تُطبع عشرات التقارير على عشرات الكيلوغرامات من الورق الفنلندي المثقب. يفكر المدير في التطوير الإضافي للمشروع. تدريجيا ، كان لديه فكرة أن تحلل أي صيغة يمكن أن يتم عن طريق الآلة نفسها. وبالتالي ، يتخلص المستخدم من العمل السيئ - تحلل الصيغة (تحللها إلى سلسلة من العناصر البسيطة).تظهر فكرة الترويج لصيغة في سجل خالٍ من الأقواس. التالي يأتي فكرة كومة. ثم أذكر أنني قرأت في مكان ما عن السجل البولندي للتعبير. أجد كتابًا وأرى أن مديري نفسه توصل إلى فكرة السجل البولندي (أو بعبارة أخرى ، postfix) ومكدس. كل هذا كان سيكون ممتعًا إن لم يكن لاختراع الدراجة. بعد كل شيء ، كل هذا يجب أن يعرف مبرمج. لكن كان أنا وهواة - من الأجانب من المهن الأخرى ... للأسف ، اتضح أن المحترفين لدينا (الذين تخرجوا من BSU matfak وعملوا في معهد بحوث الكمبيوتر) لم يعرفوا هذا. حتى هنا هو أكثر حزنا.بعد كل شيء ، كل هذا يجب أن يعرف مبرمج. لكن كان أنا وهواة - من الأجانب من المهن الأخرى ... للأسف ، اتضح أن المحترفين لدينا (الذين تخرجوا من BSU matfak وعملوا في معهد بحوث الكمبيوتر) لم يعرفوا هذا. حتى هنا هو أكثر حزنا.بعد كل شيء ، كل هذا يجب أن يعرف مبرمج. لكن كان أنا وهواة - من الأجانب من المهن الأخرى ... للأسف ، اتضح أن المحترفين لدينا (الذين تخرجوا من BSU matfak وعملوا في معهد بحوث الكمبيوتر) لم يعرفوا هذا. حتى هنا هو أكثر حزنا.

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

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

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

على سبيل المثال رأيت ذلكالمشروع هو نتاج ليس الكثير من الذكاء كما تشاء .
مشبع باحترام الشيف ، قمنا بجمع عباراته.

الأمثلة على ذلك:

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

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

ثعبان يملأ كل المساحة

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

عبارات كلاسيكية

بعض التعبيرات تعني أن الكلاسيكيات تكلف أحجام الرداءة. فيما يلي بعض العبارات التي حددت مجالات كاملة من البرمجة.

بروكس :

• وراء البراعة هو البراعة ، والتي من خلالها تظهر البرامج الاقتصادية والسريعة. دائما تقريبا ، وهذا هو نتيجة لتحقيق تقدم استراتيجي ، وليس مهارة تكتيكية. في بعض الأحيان ، يكون هذا الاختراق الاستراتيجي بمثابة خوارزمية ، على سبيل المثال ، تحويل فورييه السريع الذي اقترحه Cooley و Tukey ، أو استبداله$$n 2 مقارنات على n * log (n) عند الفرز. في كثير من الأحيان ، يحدث طفرة استراتيجية نتيجة لعرض البيانات أو الجداول. جوهر البرنامج هنا. أرني المخططات الانسيابية دون إظهار الجداول ، وسأظل في ضلال. أرني جداولك ، ومن المحتمل ألا تكون هناك حاجة إلى مخططات انسيابية: ستكون واضحة.$n^2$
  
  

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

ويرث :

• برنامج = خوارزمية + البيانات.
• () , , .
• . , .
• , , .
• , (, ), . , .
• , , , , . , . , . .
• ( ) ; , . , .
• , , . , :
  
  
  1. ,
  3. يتيح لك التحلل الذي تم اختياره الحصول على إرشادات بمعنى ما أقرب إلى اللغة التي سيتم بها صياغة البرنامج في النهاية.

SUN :

الشبكة هي جهاز كمبيوتر.

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

ديكسترا :

• - , ( , , , ).
• -: – .
• ? : “ : . , , , – , ,
  … , . , , , “” . – … , ,
  – ”.
• 
  
  — $$$1/10^6$ — $$$10^4$ . . , -, .
• .
  
  , , , , , , . , , , . , , , . , , , . , , . , – , . , , , , .
• … . : “” ? : ””, , ; : ””, — . , , – – , . , , , . : , .
• , .
• , , « » — ! — « ». - ,
  , : « , , , , «» , ?» , , -, ." , , , , .
• , , ( ), , « ». ; , , , « », . . , ,
  .

لا أعرف :

أهم لغة برمجة هي اللغة الأم. البرنامج بلغة رسمية هو ترجمة للأفكار الموضوعة باللغة الأم. لذلك ، أولئك الذين يقدمون بظلام في لغتهم الأم سوف تظلم أيضا في الرسمي.

التسويق والمبرمجين

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

• تحتوي المادة على العديد من السلبيات (وصف لأوجه القصور في المشاريع الحالية) ، وهذا يحمل طاقة سلبية
• لا تتناسب أحجام المنشورات مع النسبة الذهبية.

وشيء آخر مثل هذا.

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

لقد أعجبت بهذا في التسويق (بشكل عام ، وليس في تسويق الشركة). هذا هو سحر الأسماء. يحتاج الجميع إلى إعطاء ما لا يقل عن حقيقة مهمة اسمًا وربما اختصارًا دقيقًا. هذا يضمن بالفعل أنك لم تتجاهل هذه الحقيقة نفسها. ثم تحتاج إلى مطابقة الاسم. الاسم هو تطبيق مبدأ "فرق تسد". عندما نعطي اسمًا ، فإننا نسلط الضوء على الموضوع. كم من مطالبات حقوق الطبع والنشر كانت مثل: "رأينا هذا ، لكننا لم نلتزم بهذه الحقيقة ولم نطلق عليها اسمًا." هذه مجرد نقطة! ثم فهمت دوامة OLE -> OCX -> ActiveX -> COM ->؟ والموقع -> portal ->؟ .. حسنًا ، ماذا يمكن أن نقول عن التفاعل بين الأعمال التجارية ، ولكن عندما نقول B2B (Business to Business) - هذا هو المصطلح ، وبالتالي ، هناك شيء وراء ذلك ، على الرغم من أنه في الواقع في الواقع ، قد لا يكون هناك أي شيء ، ولكن ببساطة التعيين. بمجرد ظهور اختصار ERP ، بدأ العديد من المطورين في تقديم تطوراتهم مثل ERP ... الموضة من أجل المصطلحات شيء قوي.

في هذا الصدد ، يذكر ما يلي. عندما سمح الحزب بعلم التحكم الآلي ، بدأ نقاش حول ما يمكن تسميته الآن باسم "الكمبيوتر". "الحاسبة" ، "TsAM" ، "الكمبيوتر" ... - كل شيء لم يبدأ. اللغة العظيمة والقوية لدينا حفظت "الكمبيوتر" قبل أمريكا. في رأيي ، هذا مظهر من مظاهر عقدة الدونية في الغرب. ويجب أن أقول ، للأسف ، مجمع له ما يبرره تمامًا.

حول التكامل

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

أكثر

المهمة الأكثر إثارة للاهتمام

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

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

أكبر مشروع جماعي هو جوازات البناء في جميع بيلاروسيا. تم تنفيذ المشروع على مجمع أجهزة الكمبيوتر في الاتحاد الأوروبي. مجال الموضوع - بيانات عن جميع مشاريع البناء في بيلاروسيا. قام المستخدم نفسه بتعيين هيكل ومحتوى تقرير البناء.

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

التحدي الأكثر لفتا للنظر

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

الكتاب الأكثر لفتا

دال ، ديكسترا ، هوار. البرمجة الهيكلية.
ديكسترا. انضباط البرمجة.

الحالات الأكثر سخافة

قمنا بتطوير مشروع على Kobol لـ EC-1020. أنا مبرمج مبتدئ. كانت هناك حاجة لبرنامج المرسل الذي يستدعي بعض البرامج ، وهذا يتوقف على الموقف. لا يمكن للآخرين تنزيل البرامج على Kobol (أو لم أكن أعرف كيفية القيام بذلك). كان من الضروري إما الكتابة في مجمّع (لم نكن نعرفه) ، أو لفعل شيء آخر. ثم وجدوا هذا مختلفًا - هذه هي لغة إدارة الوظائف (JCL) لنظام التشغيل DOS.

كان هناك شيء مثل SYSIN (جهاز الإدخال المنطقي) ، SYSRDRR (جهاز إدخال التوجيه المنطقي JCL) ، إلخ. يمكن إعادة تعيينهم في وقت التشغيل. لذلك ، بعد إعداد مجموعة من SYSRDR لكل فرع ممكن ، يمكنك ، من حيث المبدأ ، إكمال المهمة. وقضينا الكثير من الجهد للقيام بذلك. وكل ذلك ، بلا جدوى. بعد دراسة المجمع ، حصلنا على كل شيء ، وبعد أن قضينا الكثير من الجهد مع JCL ، وحتى بعد تحقيق النتيجة ، لم نحصل على أي شيء جديد. عليك أن تختار ليس ما هو أقرب ، ولكن ما سيجلب المزيد من الفوائد بشكل عام. بالمناسبة ، تم استبدال DOS بـ OS / 360 وأن JCL شيء من الماضي. ولكن جاء أكثر إغراء ، ولكن لم يتكرر مثل هذا الخطأ. من الصعب صنع مسدس من مقلاع.

أطرف

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

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

أغرب

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

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

تقريبا الفلسفة

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

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

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

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

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

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

آخر

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

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