Interval arithmetic for Ada - رایگان دانلود نرم افزار برای Linux

Interval arithmetic for Ada 1.10

در حساب فاصله برای آدا یک کتابخانه ریاضی فراهم می کند که یک پیاده سازی از فواصل برای آدا است. این شامل حساب و عملیات رابطه ای.مثال:سه جانبه دولت منطقفواصل بسته به عنوان یک بسته ریشه خدمت می کند و همچنین منطق سه جانبه دولت لازم برای تعریف عملیات رابطه ای در فواصل فراهم می کند. نوع منطقی به عنوان تعریف می شود: نوع منطقی...