منتديات بابل للرياضيات / الاستاذ رائد الكرادي
اهلا وسهلا بالزائر الكريم
في منتديات بابل المتخصصة بالرياضيات المنهجية واللامنهجية في العراق والدول العربية
نرحب بكم معنا في المنتديات
شكرا لكم

انضم إلى المنتدى ، فالأمر سريع وسهل

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

منتديات بابل المتخصصة بالرياضيات للاستاذ رائد الكرادي

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

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

منتديات بابل للرياضيات / الاستاذ رائد الكرادي :: منتديات اساتذة المنتدى :: منتدى الاستاذ رائد الكرادي

اذهب الى الأسفل

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

مُساهمة من طرف ??? ???? الجمعة مايو 03, 2013 7:59 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
??? ????
زائر


الرجوع الى أعلى الصفحة اذهب الى الأسفل

الرجوع الى أعلى الصفحة

- مواضيع مماثلة

منتديات بابل للرياضيات / الاستاذ رائد الكرادي :: منتديات اساتذة المنتدى :: منتدى الاستاذ رائد الكرادي

 
صلاحيات هذا المنتدى:
لاتستطيع الرد على المواضيع في هذا المنتدى