والحساب الفاصل الزمني لادا هي مكتبة الرياضيات أن يوفر تنفيذ فترات لادا. ويشمل الحساب والعمليات العلائقية.
الأمثلة على ذلك:
ثلاثي منطق الدولة
في فترات حزمة بمثابة حزمة الجذر وأيضا توفر منطق الدولة ثلاثي الضروري تحديد العمليات العلائقية على فترات. يتم تعريف نوع المنطقي على النحو التالي:
نوع المنطقي هو (الكاذبة، صحيح، غير مؤكد)؛
يتم تعريف العمليات التالية للالمنطقي:
وظيفة "وليس" (يسار: المنطقي) العودة المنطقي.
وظيفة "و" (اليسار واليمين: المنطقي) العودة المنطقي.
وظيفة "و" (يسار: المنطقي، اليمين: منطقية)
العودة منطقي.
وظيفة "و" (يسار: منطقي، اليمين: المنطقي)
العودة منطقي.
وظيفة "أو" (اليسار واليمين: المنطقي) العودة المنطقي.
وظيفة "أو" (يسار: المنطقي، اليمين: منطقية)
العودة منطقي.
وظيفة "أو" (يسار: منطقي، اليمين: المنطقي)
العودة منطقي.
وظيفة "XOR" (اليسار واليمين: المنطقي) العودة المنطقي.
وظيفة "XOR" (يسار: المنطقي، اليمين: منطقية)
العودة منطقي.
وظيفة "XOR" (يسار: منطقي، اليمين: المنطقي)
العودة منطقي؛
ما هو الجديد في هذا الإصدار:
يتم حزم هذا الإصدار لفيدورا ديبيان وأبنية 32- و 64 بت إلى x86.
لم يتم العثور على التعليقات