الرياضيات :: منطق الرياضيات :: منطق هو وحدة بيرل توفر منطق نقي 2 أو 3 أو متعدد القيم.
التحميل الان

الرياضيات :: منطق الترتيب والملخص

الرياضيات :: منطق العلامات

- الوحدة النمطية بيرل منطق متعدد القيم القيم الرياضية متعدد القيمة

الرياضيات :: منطق وصف

الرياضيات :: منطق هي وحدة بيرل توفر منطق نقي 2 أو 3 أو متعدد الصفحات. الرياضيات :: منطق هي وحدة بييرل توفر منطق نقي 2 أو 3 أو متعدد الصفطي. يستخدم منطق الرياضيات :: منطق qw ($ true $ false $ undef $ str_true $ str_false $ str_false $ str_undef)؛ # 10 -1 '' صحيح '' خطأ '' UNDEF 'استخدام الرياضيات :: المنطق ": الأسطوانات"؛ # $ صحيح $ false $ undef - ما تريد عادة استخدام الرياضيات :: المنطق ": الكل"؛ # جميع الثوابت استخدام الرياضيات :: منطق ": str"؛ # $ str_true $ str_false $ str_undef # 2 درجة منطق بلدي $ true = math :: منطق-> جديد (-Value => $ true، -degree => 2)؛ بلدي $ false = math :: المنطق-> جديد (-Value => $ false، -degree => 2)؛ بلدي x = math :: المنطق-> new_from_string ('صحيح، 2')؛ طباعة "صحيح" إذا كانت $ صحيح؛ # 3 - المنطق منطق (غير نشر) بلدي $ TRUE = الرياضيات :: المنطق-> جديد (-Value => $ true، -degree => 3)؛ بلدي $ calse = math :: منطق-> جديد (-Value => $ false، -degree => 3)؛ بلدي undef = mathe math :: المنطق-> جديد (-Value => $ undef، -degree => 3)؛ بلدي $ x = math :: المنطق-> new_from_string ('false و 3')؛ طباعة "صحيح" إذا ($ صحيح | $ undef) == $ true؛ # 3 منطق الدرجات (نشر) بلدي $ true = math :: المنطق-> جديد (-Value => $ true، -degree => 3، -propagate => 1)؛ بلدي calse false = math :: logic-> جديد (-Value => $ false، -degree => 3، -propagate => 1)؛ بلدي undef = mathe math :: المنطق-> جديد (-Value => $ undef، -degree => 3، -propagate => 1)؛ بلدي X = MATH :: المنطق-> new_from_string ('(undef، 3، -propagate)')؛ طباعة "UNDEF" إذا ($ صحيح | $ undef) == $ undef؛ # منطق متعدد الدرجات بلدي الحقيقي = 100؛ # حددنا صحيحا الخاص بي كاذبة = $ false؛ بلدي true = math :: منطق-> جديد (-Value => $ true، -degree => $ true)؛ بلدي $ very = math :: logic-> جديد (-Value => 67، -degree => $ true)؛ بلدي $ إلى حد ما = الرياضيات :: المنطق-> جديد (-Value => 33، -degree => $ true)؛ بلدي $ false = math :: منطق-> جديد (-Value => $ false، -degree => $ true)؛ بلدي x = math :: المنطق-> new_from_string ("25، true true")؛ طباعة "ربما" إذا ($ جدا | $ إلى حد ما)> 50؛ # يمكننا أن يكون لدينا تعبيرات معقدة تعسفي؛ والنتيجة هي كائن الرياضيات :: منطق #؛ يجب أن تكون جميع الحجج الرياضيات :: الأشياء المنطقية أو الأشياء التي يمكن الترويج لها إلى هذا ويجب أن تكون متوافقة. تعتمد النتيجة على # أي نوع من المنطق قيد الاستخدام. بلدي xor $ xor = ($ x | $ y) و (! ($ x و $ y))؛ # هذا مطابق ل: بلدي $ XOR = $ X ^ $ y؛ المشغلين المنطقيين المدمجين في بيرل، أو، أو، XOR وليس دعم المنطق 2-Value. هذا يعني أنهم ينتجون دائما نتيجة إما صحيحة أو خاطئة. في الواقع، ترجع بيرل أحيانا 0 وأحيانا إرجاع برنامج الأمم المتحدة للرقم للحصول على خطأ بناء على المشغل وترتيب الحجج. بالنسبة إلى Perl "True" تعرج بشكل عام القيمة الأولى التي تم تقييمها إلى True والتي تبين أن تكون مفيدة للغاية في الممارسة. بالنظر إلى اختيار المشغلين المنطقيين المنطقيين المدمجين في بيرل - ولكن عندما تريد حقا منطق نقي من المنطق أو المنطق ثلاثي الدرجات أو منطق متعدد الدرجات، فإنها متوفرة من خلال هذه الوحدة. القيم المنطقية فقط 2 درجة 1 (صحيح) و 0 (خطأ). القيم المنطقية فقط 3 درجة هي 1 (TRUE)، 0 (FALSE) و -1 (UNDIF). لاحظ أن برنامج الأمم المتحدة للرقم هو -1 غير محمول! القيم المنطقية متعددة الدرجة الوحيدة هي 0 (خطأ) .. درجة - قيمة TRUE تساوي درجة، عادة 100.degree هي القيمة القصوى (باستثناء منطق 2 و 3 درجة)؛ I.E. منطق n-degree هو N + 1-Value Logic، E.G. يحتوي منطق 100 درجة على 101 قيم، 0100.العمل قد يتم تصدير بعض الثوابت المفيدة، هذه وحدة كائن ونتائج المقارنات المنطقية هي الرياضيات :: كائنات المنطق. الإبلاغ: متطلبات بيرل: perl.

الرياضيات :: منطق برامج ذات صلة