books contemporary construction of formal theory
If you do not find what you're looking for, you can use more accurate words.
# formal language theory
# formal theory
# Russian formal school
# The formal characteristics of the noticeable
# The most important characteristics of formal beauty in women
# Signs of formal beauty in youth
# The formal characteristics of Khalid ibn al-Walid
# The formal characteristics of Omar Ibn Al-Khattab
# Formal Attributes of Omar Ibn Al-Khattab
# formal self
# its formal characteristics
# Formal rules of dialogue
# formal designs
# formal sciences
# formal leadership capsule
# The formal or abstract process stage
# The formal effects of hormonal changes
# formal features
# formal characteristics
# The formal elements of the company's contract
View more
Source: wikipedia.org
البناء المعاصر للنظرية الشكلية (Info)
تُقدَّم النظرية الشكلية التالية كنقيض للنظرية المنطقية لكتب مبادئ الرياضيات، وسيكون البناء المعاصر لنظام شكلي على النحو التالي:
- الرموز المستخدمة: هذه المجموعة هي مجموعة البداية، ويمكن أن تظهر رموز أخرى ولكن فقط بتعريف من رموز البداية، قد تكون مجموعة البدء هي المجموعة التالية المشتقة من كلين 1952 (Kleene 1952): الرموز المنطقية: "→" ( يستلزم، إذا وفإنّ، و"⊃")، "&" (و)، "V" (أو)، "¬" (ليس)، "∀" (للكل)، "∃" (يوجد)، رمز المسند "=" (يساوي)، الرموز الوظيفية "+" (إضافة حسابية)، "∙" (الضرب الحسابي)، """(لاحق)، الرمز الفردي "0" (صفر)، المتغيرات "a"، "b"، "c" وما إلى ذلك، والأقواس "(" و ")".
- سلاسل الرموز: ستقوم النظرية على بناء "سلاسل" من هذه الرموز بالتسلسل.
- قواعد التشكيل: تُعيّن النظرية قواعد بناء الجملة عادة كتعريف مرتد يبدأ بـ "0" ويحدد كيفية بناء الجمل المقبولة أو "الصيغ جيدة التشكيل-WFF"، يتضمن هذا قاعدة "استبدال" السلاسل لرموز تسمى "المتغيرات" (على عكس أنواع الرموز الأخرى).
- قاعدة أو قواعد التحويل: البديهيات التي تحدد سلوكيات الرموز وتسلسلها.
- قاعدة الاستدلال، الفصل، القياس الاستثنائي: القاعدة التي تسمح للنظرية بفصل الاستنتاج من المقدمة المنطقية التي أدت إليه، ومن ثم تجاهل هذه المقدمة (الرموز على يسار الخط │، أو الرموز فوق الخط إذا كان أفقيًا)، وإن لم تكن الحالة كذلك، فإن الاستبدال سيؤدي إلى سلاسل أطول وأطول يجب ترحيلها، وبالفعل بعد تطبيق قياس استثنائي لن يبقى شيء سوى الاستنتاج، أما الباقي فيختفي إلى الأبد.
- غالباً ما تحدد النظريات المعاصرة بديهياتها الأولى الكلاسيكية أو القياس الاستثنائي أو "قاعدة الانفصال":
- A, A ⊃ B │ B
- عادة ما يكتب الرمز "│" كخط أفقي، وهنا "⊃ " تعني "يستلزم"، والرموز A و B تمثل "بدائل" للسلاسل؛ ويطلق على هذا النوع من الترميز "خطة مسلمة" (أي أنّ هناك عددًا محسوبًا لأشكال معينة يمكن أن يأخذها الترميز)، ويمكن قراءة هذا بطريقة مشابهة لـ (إذا- فإنّ) ولكن مع وجود اختلاف: لسلسة الرموز المعطاة إذا كان A وA يستلزم Bفإنّ B (تبقى B فقط لاستخدامها مرة أخرى)، لكن الرموز ليس لها أي "تفسير" (على سبيل المثال، لا يوجد "جدول الحقيقة" أو "قيم الحقيقة" أو "وظائف الحقيقة") ويستمر القياس الاستثنائي بشكل ميكانيكي بالقواعد وحدها.
