منتدى تعليمي ثقافي
 
الرئيسيةس .و .جبحـثالأعضاءالمجموعاتالتسجيلدخول

شاطر | 
 

 نظرية البرهان

استعرض الموضوع السابق استعرض الموضوع التالي اذهب الى الأسفل 
كاتب الموضوعرسالة
عبدالله المدخلي
عضو جديد
عضو جديد
avatar

عدد الرسائل : 39
تاريخ التسجيل : 22/05/2008

مُساهمةموضوع: نظرية البرهان   الخميس مايو 22, 2008 5:25 pm

نظرية البرهان Proof theory أحد فروع المنطق الرياضي الذي بتعامل مع البرهان ككائن رياضي شكلي ، مسهلا بذلك عملية تحليل البرهان بالتقنيات الرياضية. البراهين عادة تمثل كبنى بيانات معرفة حدسيا ، مثل القوائم المنبسطة plain lists ، القوائم المعلبة boxed lists ، أو الأشجار ، التي تتشكل بناء على بدهيات و قواعد الاستدلال rules of inference للنظام المنطقي. بهذا تكون نظرية البرهان نحوية بطبيعتها ، بعكس نظرية النموذج model theory أو نظرية المجموعات البديهية أو نظرية العودية recursion theory . نظرية البرهان أحد ما يسمى الأعمدة الأربع four pillars لأسس الرياضيات foundations of mathematics .

يمكن ان تعتبر نظرية البرهان أحد فروع المنطق الفلسفي أيضا ، حيث يكون الاهتمام المبدئي بفكرة بالمعنى البرهاني النظري proof-theoretic semantics ، و هي فكرة تعتمد على أفكار تقنية في نظرية البرهان البنيوية structural proof theory لتكون مقبولة.
الرجوع الى أعلى الصفحة اذهب الى الأسفل
معاينة صفحة البيانات الشخصي للعضو
العياضي
المدير العام
المدير العام
avatar

عدد الرسائل : 207
علم الدولة :
تاريخ التسجيل : 07/04/2008

مُساهمةموضوع: رد: نظرية البرهان   الجمعة مايو 23, 2008 3:18 am

شكرا لك

وتقبل مروري

_________________
واثق الخطوه يمشي ملك
الرجوع الى أعلى الصفحة اذهب الى الأسفل
معاينة صفحة البيانات الشخصي للعضو http://ob8884.7forum.net/
 
نظرية البرهان
استعرض الموضوع السابق استعرض الموضوع التالي الرجوع الى أعلى الصفحة 
صفحة 1 من اصل 1

صلاحيات هذا المنتدى:لاتستطيع الرد على المواضيع في هذا المنتدى
منتدى الشامخ الثقافي :: :: المنتيات العلمية :: :: :: عالم الرياضيات ::-
انتقل الى: