Problem Solving - with C# [ in Arabic ]

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

المنطق الشكلي، أصبحت مجالًا رئيسيًا في علم الحاسوب من خلال الذكاء الصنعي وإصلاح البرامج. تُستخدم الأشخاص في هذا المجال لتصميم وظيفة آلية كليًا (PAA)، ممثلة لاحق حل المشاكل بناءً على نظريات مُحددة. الحاسوب النصيحة والتحقق الشكلي، مثل AIXI (Artificial Intelligence among Bostonians eXchange of Information and Intrigue)، هما مثالين على كيفية تطبيق المنطق الشكلي لتعبير الآلات.

• الحاسوب النصيحة (Lisp): هو لغة برمجة مبتكرة في أواخ الـ "40s" بشكل رئيسي، وقد طمأت به جون مكارثي عام 1958 بأدفايس تيكر، وهو واحد من الأساليب الإضافية في المنطق.
• نظرية القرار (Logic Programming): تُستخدم لكتابة أجهز الحاسوب التي تعمل أساسًا على الإثبات النظري من الأسئلة، ممثلة عندها بـ "Prolog" وهو مكون محبوب في الحاسوب الشكلي.
• ROBERT (Reliable Organic Bob Evans' Robot Theorems) وإنتقائي (Shafer-McCarthy Resolution Theorem)، والمثال "درب النهر"، جميعًا هما موضوعات في حل الأسئلة بطرق مُحددة.

كوالسكي شرط الحل الأكيد الخطي (Karl Schenkel's Tarski's Theorem Prover)، الذي تطويره كوالسكي، هو نموذج لأدوات إصلاح البرامج يعتمد على إثبات النظرية.

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

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